님들 “대우”<<- 이거 논리학에서 적용가능한가요?

[시아선(herrison8)]

나 수학에서만 쓰는 건 줄 알았는데 ㄷ

[익명(218.146)]

대우 규칙, 즉 어떤 조건 명제의 대우의 진리값과 원래 명제의 진리값이 항상 같다는 것은 명제논리의 법칙입니다. 한편 현대 수학의 증명 이론은 수리논리학 체계에 근거하는데, 1차 논리이든 고차 논리이든 명제논리의 정리는 모든 표준적 논리 체계의 정리이며, 따라서 명제논리에서 대우 규칙이 성립하기에 우리는 수학에서 대우 규칙을 쓸 수 있는 거죠.

[익명(223.39)]

잘 대우해주면 쓸 수 있음