유효한 패턴과 함께라면, 전제가 옳을 때 결론이 틀리는게 불가능하다 연역적 논증에서 기본적 법칙/패턴이 있다. 이들을 소개하면 다음과 같다. Modus ponens 긍정논법 : p, p->q 이면 q이다. 네가 택시를 탄다면, 제시간에 도착할 것이다. 너는 택시를 탔다. 그러므로 제시간에 도착할 것이다. If you take a taxi, you will get there in time. You took a taxi, so you will get there in time. Modus Tollens 부정논법 : ~q, p->q 이면 ~p이다. 네가 택시를 탄다면, 제시간에 도착할 것이다. 너는 제시간에 도착하지 못했다. 그러무로 너는 택시를 타지 않았을 것이다. If you take a taxi, you ..