명제 기초
게시글 주소: https://orbi.kr/00075206000
p-->q 이 참일때
p : 전제
q : 결론
전제가 참이면 결론이 참
결론이 거짓이면 전제가 거짓
p가 거짓일때 p->q는 참
대우명제는
not q-> not p
p->q = NOT p OR q
Not (p->q) = p AND NOT q
폭발원리
(A AND NOT A)->B
= NOT A OR A OR B
= TRUE OR B
= TRUE
이때 (A AND NOT A)가 참일경우(모순이 참인경우)
B는 참이된다
B는 아무명제나 될수있다
즉, 모순이 참이면 모든게 참이된다
"사과는 붉다"는 명제가 참이면
(X는 사과다)->(X는 붉다)와 동일하고 참임
X에 사과를 대입하면
(사과는 사과다)->(사과는 붉다)
전제가 참이면 결론이 참
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고
