명제 기초
게시글 주소: 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 답글 달기 신고
-
고대 계적, 일반고 1차합격자는 들러리 같은거 아닌가요? 0 0
고대 계적, 일반고 1차합격자는 들러리 같은거 아닌가요? 최종은 거의 특목자사고...
-
1명만팔로우해주새오 7 0
제발요
-
시대재종 등원 1 0
갑자기 생긴 궁굼증인데, 혹시 n수 형님들 중에 지방에 사는데, 시대재종을 오기...
-
안녕 3 1
할복
-
방형구랑 막전위 존나 턱턱 막혔고 세포매칭도 쉽지 않았음;; ㅅㅂ개말아먹었네
-
아무것도 하기싫어요 0 0
그래서 아무것도 안하고있어요
-
집에있는게 강k 초반회차밖에 없어서 실모 새로 하나 샀는데 그냥 강k 난이도랑...
-
풀고 답지가 없어서 못 매깁니다 ㅠㅠ
-
별로네 허허 미 92 생1 45 지1 46 탐구 보1 가능?
-
나만 13번 어려웠나 엉엉
-
나 학번 20523임 3 0
ㅋㅋㅋㅋㅋ
-
D-21, 삼수기록 #269 4 0
무지개 완성
-
이게 뭐냐 진짜
-
저한테 덕코 맡기실분 구합니다 0 0
안전하게 보관될겁니다
-
정신적으로 성숙해졌다고 느낀게 4 2
이제 외로움을 못느낌 모진 고문 끝에 아무랑도 교감을 못해도 유연하게 사는 법을...
-
수학 N제 추천해주세여 ㅠㅠ 0 0
수1 수2 n제 추천좀 해주세요 지금 교육청 모의고사 풀면 안정적으로 2등급은...
-
지금 딴과목은 모르는데 5 2
국어는 ㄹㅇ 비상임 연계랑 언매 졸라해야댐
