부정식 (modus toilens) 조건언 논증의 한 형식. “p ⊃ q, –q, ∴–p“라는 도식으로 나타내어질 수 있다. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 399. 바 부정식
