1. 3번이랑 6번, 4번이랑 5번은 양화사의 순서만 바뀐건데 왜 해석의 차이가 있는거? 진리표로 증명하는 방법말고 다른 방법으로는 3번이랑 6번이 왜 차이나는지 설명 불가능해?2.다중양화해석하는방법이나원리좀
걍 다른책 구입해
무슨책?
domain이 자연수 {0, 1, ...} 들의 집합일 때, Lxy: "y가 x보다 크다" 이라고 하면 3) 6) 문장들의 진리값이 달라지지용
각 논리식이 뭘 의미하는지 생각해보고 그걸 한국어로 나타내봐라
예를 들어 B(x,y)가 x가 y를 배우자로 가진다 라고 해석하면, ∀x∃y. B(x,y)는 모든 사람은 각각 배우자가 있다 는 뜻이 되는 반면 ∃x∀y. B(x,y)는 어떤 인간이 모든 사람을 배우자로 가진다는 뜻이 됨