전제가 P <=> Q일 때 결론 Q == P 를 명제논리의 추론 규칙이랑 치환 법칙 이용해서 어떻게 증명함?
[대학교이상] 명제 논리 치환 관련해서 질문있음
익명(180.67)
2023-11-24 01:18
추천 0
댓글 2
다른 게시글
-
아니 힌트 이거 맞는거임?? [6][대학교이상] 익명(203.228) | 23.11.23추천 0
-
이거 감소인거 어캐 보여야되지 [4][대학교이상] 익명(203.228) | 23.11.23추천 0
-
임의의 두 구간 사이에 항상 전단사함수가 존재한다 [16][일반] 익명(116.34) | 23.11.23추천 0
-
원래 수학공부가 이런 거임? [6][일반] 익명(116.36) | 23.11.23추천 1
-
물리수학은 활발히 연구되는 분야임? [6][일반] 익명(182.31) | 23.11.23추천 8
-
범주론 선수과목 알려주라 [3][일반] 익명(223.62) | 23.11.23추천 4
-
급식인데 질문좀 받아줘 [1][일반] 익명(14.50) | 23.11.23추천 4
-
기본군 문제 질문있습니다 [6][대학교이상] 익명(219.255) | 23.11.23추천 0
-
문득 자기 집도없이 약빨아가며 [4][일반] Affine(algebra500) | 23.11.23추천 8
-
고1 과제좀 도와줘ㅓㅓㅠ [8][일반] 익명(218.234) | 23.11.23추천 0
증명못함. 애초에 평범한 1차논리면 서술도 안됨
propositional extensionality라고 부르고 필요하면 보통 공리로 가정함