연역적 추론

연역적 추론 두 조건 $p,q$에 대하여, 문장 `$p⟶q$'는 하나의 명제가 된다. 일반적으로 조건 $p,q$의 진리집합을 각각 $P,Q$라 할 때, $p⟶q$가 참이면 조건 $p$를 참이되게 하는 원소는 조건 $q$도 참이 되게 하므로 $P\subset Q$인 관계가 성립한다. 또한 $P\subset Q$인 관계가 있으면 명제 $p⟶q$는 참이다. 한편, 명제 $p⟶q$가 거짓이라는 것은 조건 $p$가 참이 되지만 $q$는…