[일반] (A->B)=(Not A or B) 이거 증명좀 알려주셈..

[익명(39.7)]

왜저렇게됨??

그냥 그렇다는것만 알고있고 왜그런지는모름

- dc official App

[익명(125.176)]

진리표

[다믜(damhiya)]

classical하게 성립하는거라서 배중률(A or not A)을 써야 나옴.

[다믜(damhiya)]

진리표 쓰는거랑 배중률 쓰는거 둘이 비슷한 효과임

[익명(116.36)]

진리표

[익명(112.171)]

진리표

[익명(211.186)]

(A=>B) = (~A or B) = ~(A and ~B) = { (A and ~B) => 모순 } = 귀류법