x or y / ∴ y or x
증명 가능한가요???
형님들
익명(183.97)
2020-06-01 23:39
추천 0
댓글 12
다른 게시글
-
귀납/연역 판단 문제인데 질문좀요.. [14]Kari_Min(jaemin7362) | 20.05.31추천 1
-
i) 나는 레이시스트가 아니다. ii) 흑인은 지구의 암같은 존재다 [6]익명(39.119) | 20.05.31추천 0
-
뉴욕대 철학과 대학원생이 추천해준 논리학책 [2]익명(117.111) | 20.05.30추천 1
-
코어논리가 [2]익명(223.62) | 20.05.30추천 0
-
논리형 프로그래밍 언어의 타입에 [8]기괴공학도(mecheng98) | 20.05.29추천 1
-
원인 범주 뜻풀이익명(59.31) | 20.05.26추천 0
-
람다-프롤로그로 아주 간단한 증명보조기 만든 것 같아요 ㅠㅠ [2]기괴공학도(mecheng98) | 20.05.26추천 4
-
증명을 tree로 볼 때기괴공학도(mecheng98) | 20.05.25추천 0
-
사건인과랑 속성인과 차이좀 [1]익명(59.31) | 20.05.25추천 0
-
람다-프롤로그 추천해주셔서 정말 감사드립니다기괴공학도(mecheng98) | 20.05.24추천 1
ㅇㅇ - dc App
양도논법으로 가능합니다.
그것 보단 교환법칙으로 증명하는게 더 쉽지 않음?
물론 저건 교환법칙으로 한 방이지만, 그런 식이라면 임의의 타당한 추론은 거기에 해당하는 법칙이 있어서 한 방이라고 넘겨버릴 수 있겠죠..?
드모르간이니 대우니 흡수법칙이니 타당한 추론이라고 전부 담는것보단 타당한 추론 중에서 필수적이고 간단한 거 몇 개를 미리 규정해두는 게 좋겠죠. 양도논법은 자연연역에선 ∨제거라서 언급한 것.
형님 자연연역으로만 증명하고 싶었습니다만, 양도논법을 어떻게 사용하여 증명할 수 있을까요??
교환법칙 증명인데 자연연역으로 증명하는게 있었는데
X(가정)
YorX (선언도입)
X->(YorX)
Y도 똑같이 해서 Y->(YorX)
전제에있던XorY랑 저거 두개를 딜레마써서 YorX가 나옴