명제 기초
게시글 주소: 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 답글 달기 신고
-
위도의 악마 9 1
그냥생각이는위도를잘함
-
챗지피티표 난 이렇게 생겼다: 4 0
. . .
-
연벳을 달고 오르비언들에게 저능아라고 무시받고 싶다 ♡♡ 헤으응
-
짤녀 호감이면 좋아요
-
실시간 ㅈ반고 대전 6 0
운동장 시끄럽다고 1,3학년이 신나게 싸움 ㅋㅋ
-
가버리다 못해 0 0
지구 점수가 가버리다 못해 증발함 이씨발때려쳐
-
제1 외국어 한국어 아님? 5 0
모국어면 이렇게 못할리가 없어
-
기출로 선지판단 틀을 잡지 못한 제가 그냥 사설로 양치기해도 될까요 다들...
-
현우진 요즘 비호.... 8 2
흠좀무
-
갤러리 짤털 (스압) 3 0
ㅇㅈ끝
-
손 3 0
흥민
-
애니프사들 다 기만러임 7 0
ㅈㄴ잘생겼음 ㅅㅂ…여잔데 질투남
-
그래프도 애니처럼 그림체가 있음 26 3
곡선 그래프 중에도 이차함수는 뭔가 포근하고 부드럽고 삼차함수는 신비감을 주고...
-
살고싶다 4 0
근데 죽음을 겸허히 받아들이고 있음
