님들 (A v B) -> -B 이면 A임?

[익명(223.38)]

헷갈림

- dc official App

[ㅁㄴㅇㄹ(210.210)]

(AvB)->-B 는 논리적 동치의 의해 -(AvB)v-B임 그리고 -(AvB)v-B는 논리적 동치의 의해 (-A&-B)v-B임, 이건 또 논리적 동치의 의해 (-Av-B)&(-Bv-B)임 이것도 논리적 동치의 의해 (-Av-B)&-B임 결론적으로 A인지 -A인지 알수 없음 결론적으로 A인지 -A인지 확정지을수 없음

[익명(223.62)]

놀랍게도 안 됨. A에 진릿값 1을 넣고 B에 진릿값 0을 넣어보셈

[익명(223.62)]

되게 하려면 괄호 순서를 바꿔야 함. (AvB)->(-B->A) 이렇게

[익명(1.227)]

문장을 거짓으로 만들려면 진릿값 A에 1이 아니라 0인거 같은데