[일반] 형식논리에서 조건문을 전건이 거짓일 때

[익명(106.101)]

조건문을 거짓이라 할 근거?가 없어서 참이라고 간주한다고 알고있는데요

반대로 참이라고 할 근거 또한 없는데 왜 조건문을 참이라고 간주하나요..?

[Oo(175.208)]

p가 F면 "p->q"의 부정인 "p^-q"는 무조건 F. 따라서 부정 "p^-q"의 부정인 "p->q"는 언제나 T.

[익명(117.111)]

공허참 개념 물어본거같은데

[수갤러 2(211.234)]

공허참 얘기하는거 맞는데?

[익명(1.249)]

명제가 틀렸다는건 p인데 q가 아닌 것이 있냐이기 때문임. 그런 반례가 없잖아

[수갤러 1(39.7)]

모델이 참과 거짓을 판별할 수 없다면 적어도 그것이 일관적이야 한다

[수갤러 3(106.101)]

개똥철학 꺼져라

[익명(episode5899)]

그냥 정의가 원래 그래 - dc App

[익명(episode5899)]

자꾸 일상언어적으로 생각하지 말고.. p->q가 그냥 그렇게 정의된거 - dc App