진리표?

• 각 명제 사이의 관계식의 진릿값을 보여주는 표

역/ 이 /대우

ex> 비가 오면 장화를 신는다 p : 비가 오면 q : 장화를 신는다 p->q

역

p와 q의 위치를 바꾸는 것
q->p

이

각각에 부정을 붙이는 것
ㄱp -> ㄱq

대우

각각에 부정을 붙이고 p와 q의 위치를 바꾸는 것
ㄱq -> ㄱp

왜씀❔❓
증명하기 어려운 명제는 대우를 이용하여 증명할 수 있다.

---

ex> 30이 10보다 크면 30은 50보다 작다.

p: 30이 10보다 크다 -> true
q: 30은 50보다 작다 -> true

p->q 는 참이다.

역

q->p
-> 30이 50보다 작다면 30이 10보다 크다

이

ㄱp -> ㄱq
-> 30이 10보다 작거나 같으면 30은 50보다 크거나 같다.
false -> false --> 참!

대우

ㄱq -> ㄱp
-> 30은 50보다 크거나 같다면 30은 10보다 작거나 같다.
false -> false --> 참!