[일반] 긍정 삼단논법

[이산수학시발(118.41)]

긍정삼단논법 (p->q)^p =>q

라고 나와서 진리표 이용해 해봤는데 q와 일치하지 않는데 왜 q라고 정의된건가요ㅠㅠ…

- dc official App

[ultraproduct(ultraproduct)]

정의가 아니라 앞의 두 개가 T이고 마지막 것이 F일 수 없다는 것 뿐임

[이산수학시발(118.41)]

아 동치의 개념이 아니란건가요 - dc App

[TQFT(lemonkx)]

((p->q) and p)->q가 항상 참임을 보여야지

[이산수학시발(118.41)]

진리표로 허면 안나와서요ㅠㅠ - dc App

[TQFT(lemonkx)]

나오는데

[이산수학시발(118.41)]

??그럼 저 사진에서 제가한 진리표에서 뭐가 틀렸나요 - dc App

[ScARfaCE(kayuaao)]

진리표는 잘만듦

[익명(dcyty210)]

=> 이 기호는 전건이 참이면 후건이 참이라는 기호지 전건과 후건이 동치라는 기호가 아니예요 - dc App

[익명(121.167)]

p->q고 q일때 p는 참일 수도 있고 거짓일 수도 있음

[익명(121.167)]

윗사람 댓글 말대로 논리학에서 -> => 는 다 방향대로만 작동하는거