작가의 글을 더 이상 구독하지 않고,
새 글 알림도 받아볼 수 없습니다.
술어 논리 #5
F: -는 동물이다
G: -는 돈을 훔쳤다
F: -는 …를 훔쳤다
G: -는 …에 다닌다
a: 프로메테우스
b: 불
c: 해리 포터
d: 서울대
F: -는 …에게 ~를 준다
G: -는 …와 ~ 사이에 있다
H: -는 …보다 크고 ~의 제곱보다 작다
F: -는 …의 배우자다
G: -는 …와 동일하다
F: -는 …의 자녀다
G: -는 …보다 작다
F: -는 …를 좋아한다
F: -는 …와 동일하다
G: -와 …는 동향이다
F: -는 …의 부모다
G: -와 …는 다르다
H: -는 …보다 크다
F: -는 …를 본다
F: -가 …보다 빠르다
G: -는 …보다 크다
F: -는 …의 다음날이다
G: -는 …보다 1만큼 더 크다
H: -는 …의 부모다
F: -는 …를 먹고 산다