부정식 (modus toilens) 조건언 논증의 한 형식. “p ⊃ q, –q, ∴–p”라는 도식으로 나타내어질…