진리표?
- 각 명제 사이의 관계식의 진릿값을 보여주는 표
역/ 이 /대우
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 --> 참!
