ㅁㄴㅈㄷ

[김논리(223.39)]

이거 아는사람 설명좀... 모르겠음 ㅠㅠ

[익명(121.169)]

p인 것은 모두 q랬지. 그러니 q인 것의 일부는 p이기도 해. 그런데 q인 모든 것이 p일 가능성도 있으므로(p=q일수도 있다) 두번째는 단정 불가.

[럿셀링(211.184)]

사실 p->q는 ~p or q랑 완전히 같은 표현임.(이것때문에 모든 집합의 부분집합이 공집합임을 증명가능) 고딩 모의고사 나오는 수준들은 양화사를 적당히 직관적으로 전제하고 시작해야 하는데, p와 q가 x를 유일한 자유변수로 가진 명제함수일때, 'p이면 q이다' 라는 말이 '모든 x에 대해 p이면 q이다' 랑 같고 '모든 x에 대해 ~p or q이다'라서

[럿셀링(211.184)]

p를 만족하는 게 없을 경우 ~p를 만족시키는 것들은 전체집합 즉 모든 x가 됨. 그래서 몇몇 q는 p이다 라는 말도 이 상황에서는 성립 안 됨. p를 만족시키는 게 없으니까.