[일반] 생각 났다.

[기괴공학도(mecheng98)]

A도 항진이 아니고 B도 항진이 아닌 경우:
(|= A => |= B)은 참인데, A→B이지 않을 수도 있다.
따라서 주어진 명제는 거짓이다.
A→B가 항진일 때, [A가 항진이면 B도 항진이다].
따라서 역은 참이다.

- 희망의 등불

[익명(221.157)]

역은 왜 참임? 역이 참이라는 걸 어떻게 증명해야됨??

[익명(119.202)]

귀류법 쓰셔서 증명하신 거 같아요

[익명(220.122)]

사실 역을 질문한 의도는, 저게 -> 소거 규칙이라서 성립한다고 할거같은데.. 사실 ->소거가 아니라 =>소거 아닌가 해서.. 그렇다면 =>소거는 왜 성립하는지(그 책에서 =>는 정의도 안되었는데?) 암튼 귀류법으로도 할 수 있는데, 마찬가지로 그럼 귀류법을 왜 쓸 수 있나 물어보면 또 =>에 대해 어떤 논리가 성립한다고 해야되는데 그건 왜 성립하는지,..

[익명(221.157)]

일단 감사~!

[익명(221.157)]

자고와서 내일 답변 달아주셈!

[기괴공학도(mecheng98)]

임의의 진릿값 배정 a에 대하여 A→B가 참일 때 (A,B) = (1,1), (0,1) or (0,0)인데 이때 A도 참이라면 B=1이어야 합니다. - 훈다리 훈다리