전 처음 문제를 본 순간 '참'으로 찍으려 했으나.. "초록색 상자 옆에는 초록색 아닌 상자가 있다."라는 명제를 가만히 보면.. Quantifier 문제가 애매하네요. A(x1,x2) 라고 하고 그 predicate를 해석을 x1 옆에 x2가 있다고 하죠. 명제 P: there exists x2 such that not(G(x2)) and A(x1,x2). 순서대로 상자 a b c 가 있다고 하고.. G(a) : a는 green, R(c) : c는 Red. for all x1 R(x1) => not(G(x1)) 모든 초록색 상자 옆에는 초록색 아닌 상자가 있다는 말인지 아니면 초록색 아닌 상자를 이웃하고 있는 초록색 상자가 존재한다는건지.. 요 두가지의 경우는 참거짓을 확실히 가릴 수 있지만(free variable 없음) Quantifier로 한정 못하면 free variable이 되어서 도메인중 일부만 참이되고 일부는 거짓이 될 수도 있습니다. not(G(b)) => P는 무조건 참 G(b) => not(G(b)) and A(a,b) (거짓) not(G(c)) and A(b,c) (참) 헛소리인지도 모르겠네요. 정답이 궁금함. --,--`-<@ 매일 그대와 아침햇살 받으며 매일 그대와 눈을 뜨고파.. 잠이 들고파.. Till the rivers flow up stream | Love is real \|||/ @@@ Till lovers cease to dream | Love is touch @|~j~|@ @^j^@ Till then, I'm yours, be mine | Love is free | ~ | @@ ~ @@