1. 형식논리학의 기본 법칙 동일률의 형식은? ‘A는 A이다.’이며 궤변을 논박하는 데 강력한 수단이 되며   사고의 규정성과 확정성을 보장하는 데 있다. 모순율의 형식은 ‘A는 非A가 아니다.’이며 모든 부정판단의 논리적인 기초가   된다. 배중률의 형식은 ‘혹은 A이거나 혹은 非A다.’이며? 판단과정에서 혼동, 혼란,   무원칙성을 반대하며 타협주의 절충주의, 기회주의를 배제하는 데 공헌한다. 충족이율률의 형식은 논증과정에서 ‘A가 진리인 까닭은 B가 진리이기 때문이다.   ’이며 근거가 적절하지 못하고 근거와 판단 사이에 필연적 연관이 있어야 한다. 2. 논증과 논박 논증이란 진리임이 이미 확증된 명제에 근거하여 어떤 명제가 진리라는 것을   증명하는 사고 과정이다. 논박이란 상대방의 논증이 거짓이라는 것을 확정짓는 사고과정이다. 논증이든 논박이든 논제, 논거가 있어야 하며 논증방식에 따라 다양한 논증과   논박이 이루어진다. 토론에서 입론은 논증의 예에 해당되며 반론 꺾기는 논박의 예에 해당된다고   볼 수 있다.