추론1 조건 명제, 증명 조건 명제(Implication) - p(전제)가 참이면 q(결론)도 참이라고 주장하는 명제이다. 전제와 결론이 존재한다. 전제한 상황이 일어나고(T) 결과가 다를 때만(F) 거짓(F)이다. 전제하지 않은 내용은 무조건 참이다.(무의미한 참 - Vacuous truth) 해당 명제를 다른 조건 명제의 전제로 사용할 수 있기 때문에 반드시 참 또는 거짓이 나와야 한다. 조건 명제에서 전제와 결론의 인과관계는 중요하지 않다. 전제와 결론이 모두 참이어도 인과관계가 성립하지 않을 수도 있다. 공리(Axiom) - 증명 없이 참인 명제이다. 조건 명제의 역(Converse) - p와 q의 위치를 바꾼 것이다. p가 참일 때 q가 참이라고 반드시 q가 참일 때 q가 참이지 않는다. 조건 명제의 이(Inverse).. 2023. 1. 8. 이전 1 다음