양화 논리 동어 반복 질문

[익명(220.88)]

이 세 개가 동치가 맞나요? 아니라면 왜 아닐까요 ㅠㅠ

1. (∃x)(∃y)(x≠y&Fx&~Fy)

2. (∃x)(∃y)(Fx&~Fy)

3. (∃x)(Fx)&(∃x)(~Fx)

[러셀(salvaveritate)]

반례가 있는지 확인해 보고, 정 못 찾겠다면 서로를 도출할 수 있는지 각각 확인해 보세요!

[TIME(ghawmzldjs71)]

진리나무로 확인해보셈

[TIME(ghawmzldjs71)]

https://www.umsu.de/trees/

[김민성태팬클럽회장(thecoqproofassistant)]

F가 뭐에요?

[김민성태팬클럽회장(thecoqproofassistant)]

2번과 3번은 동등하나, 1번은 2번과도 3번과도 동등하지 않네요.

[ultraproduct(ultraproduct)]

셋 다 동등하지 않나요? F인 것과 F가 아닌 건 다를 수 밖에 없는데. (물론 스탠다드한 체계)

[김민성태팬클럽회장(thecoqproofassistant)]

죄송합니다

[김민성태팬클럽회장(thecoqproofassistant)]

https://gall.dcinside.com/mgallery/board/view/?id=logic&no=1412