[일반] 간단한 명제 질문좀 받아주셈

[익명(175.201)]

A가 참이라고 했을때

(not A->A)가 참이 되는데

모순아님?

- dc official App

[익명(112.152)]

가정이 거짓이면 그냥 무조건 참이라고 약속했기 때문에 모순이 아님

[수갤러 1(123.254)]

P→Q = not P or Q

[익명(175.201)]

A or A.. - dc App

[수갤러 2(118.235)]

(not A가 거짓이면, A는 참이다) 맞는데? - dc App