페르마의 마지막 정리는 참이다 1=1이다. 둘다 참인명제인데 이런경우 둘은 동치명제임? 동치의 정의가 A가 참이라면 B가 참이다. & B가 참이라면 A가 참이다. & A가 거짓이라면 B가 거짓이다. & B가 거짓이라면 A가 거짓이다. 4개 만족해야되는데 A B모두 참이면 뒤에 두개는 공허한 참이돼서 결국 참인 명제들은 무조건 서로동치가되는거입? - dc official App
(a가 참이면 b가 참이다) 라는 명제는 b가 항상 참인 경우 a의 진위 여부와 관계 없이 참이지. 그러므로 동치 맞음
그럼 일상생활에서 직관적으로 생각하는 동치인 명제 = 서로같은의미인 명제 라는 생각은 틀린 거라고 봐도될까? - dc App
같은 의미라는 것의 정의를 생각해 봐야지. 동치는 '결을 같이 하는 명제'라고 생각하는게 자연스러움