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