저거 왜 저렇게 됨??
Y가 아니라 ~Y가 전제로 와야만 하는 근거가 있나요...
약화규칙 이거 무슨 원리에요??
익명(58.234)
2022-03-11 23:59
추천 0
댓글 7
다른 게시글
-
혹시 자연연역 논증과정에 정해진 순서도 잇나여 [2]익명(58.234) | 22.03.11추천 0
-
1차 술어논리에서 "x가 최대 n개 있다"는 어케 표현함? [11]TIME(ghawmzldjs71) | 22.03.10추천 0
-
기호 이렇게 나타내는 거 맞음? [6]익명(117.111) | 22.03.10추천 0
-
님들 이거 왜 ~B를 가정하는거죠 [11]익명(58.234) | 22.03.10추천 0
-
이건 뭔갤이냐? [6]익명(122.252) | 22.03.05추천 0
-
그냥 일반인이 코어 논리학 책 보고 독학해도 [4]와타캐논모..(rester489) | 22.03.04추천 0
-
일상 언어에도 2차논리로 표현되는 문장이 있구나..익명(211.36) | 22.02.28추천 0
-
2차논리로 번역 [4]익명(175.192) | 22.02.27추천 0
-
teach yourself logic에서 추천해주는 책에서 [2]익명(125.178) | 22.02.26추천 0
-
논리게임바이블 내용 중 질문 [4]익명(175.116) | 22.02.25추천 0
3번줄?
저거걍 ~(X->Y)와 모순인 X->Y 를 ~X의 가정으로 부터 이끌어내서 ~X가 아님을 보여주기위함이잖아
~Y가 어떤 원리로 나올수 있냐는거?
뭐가 됬든가능함 심지어 3번줄은 (A&B)->~X 도 쌉가능 이유는 간단해 A->B 랑 ~AorB 랑 논리적 동치인건알지? B로부터 (어떤명제)orB 가 타당하게 나오는것도 알고?
그럼 B로부터 나온 (어떤명제)orB 랑 ~(어떤명제)->B 가 논리작 동치 니까 B로부터 ~(어떤 명제)-> B 가 이끌어진다는걸 얼수 있지
여기서 ~(부정명제) 는 긍정명제와 동치니까 ~(어떤명제의 부정)->B 는 어떤명제->B 와 동치 그래서 Y든 ~Y든 그 어떤 명제든 3번줄에 ~Y대신 들어갈 수 있음
오 감사합니다! 근데 아직 뭔가 살짝 이해 안가는디 어쨌든 전제에 Y든 ~Y든 그 어떤 다른 명제든 와도 상관없다는거군여