논리학 말장난 왜케심함 ㅠㅠ

[익명(211.215)]

A 와 ¬A로부터 임의의명제 B로의 추론은 반드시 타당하다

이건

A랑A가아닌거를 곱한건가요

아니면

A랑 A가아닌거를 따로따로 봐야하는건가요..

[익명(58.230)]

대충 글의 느낌은 ~(A and ~A) 는 A v ~ A 이므로 항상 참이다 따라서 ~(A and ~A) v B 는 항상 참이다 즉, (A and ~A) ㅡ> B 는 항상 참이다. 를 말하는거같네요 초보라...ㅈㅅ

[1+1=2(lsc4719)]

증명 :) 916번 글입니다.