명제 기초
게시글 주소: 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 0
풀세트로 일주일에 몇회 볼까용 3번은 너무 많은가
-
해모 시즌3, 4, 파이널, 피날레 이렇게 있던데 지금 시기에 여기서 아무거나...
-
정법 할껄!!!!! 3 1
-
kanetv1557 얘 좀 환원시켜주면 안돼요? 3 1
아이고난!
-
이중적분 삼중적분 4 3
왤케어렵노
-
물이 많이 나와.. 1 0
씻어야징
-
군대많이좋아졌네요.. 1 1
걱정안하셔도됩니다 미필여러분,,,
-
이번 수능 확통 3컷 몇일까요 2 0
ㅈㄱㄴ
-
. 1 0
-
엉덩이는 한개다 6 1
반박시 엉덩이 두개 ㅅㄱ
-
식센모 11회차 개 ㅈ같네 2 0
지엽이 OZ모보다 더하네 문제 자체는 오즈모에 비하면 되게 쉬운데 이훈식 커리에서만...
-
일러스트 작업 시 수식 타이핑에는 몇 가지 원칙이 있는데요, 대문자 로만체 : 점...
-
누군가 너무 부럽군 1 0
아
-
내가 미치기라도 한 것 같나? 1 0
-
메인을 가고 싶다. 2 0
하지만 업보땀시 메인가면 벌점을 또 먹을 것 같다
-
흠
-
풀어줄사람이없네
-
적생모 정법 1 0
메가는 없고 대성만 쓰는 중이라... 따로 적생모 구할 수 있는 방법은 없나용
-
ㅇㄷㄴㅂㅌ
-
10덮 보정 등급컷 좀 ㅜㅜ 1 0
언매 89 확통 80 영어 94 정법 47 사문 47이에요 국어가 매우매우 아쉬움.. ㅜㅜ
첫번째 댓글의 주인공이 되어보세요.