전칭긍정명제를 P라고 하고, 전칭부정명제를 Q라고 하면 특칭긍정명제는 전칭부정명제와 모순이므로 ¬Q이고, 특칭부정명제는 전칭긍정명제와 모순이므로 ¬P임. 전칭긍정명제와 전칭부정명제는 반대관계이므로 ¬P ∨ ¬Q이고, 특칭긍정명제와 특칭부정명제는 선언관계이므로 ¬P ∨ ¬Q이며, 전칭긍정명제는 특칭긍정명제의 충분조건이므로 P → ¬Q이고, 전칭부정명제는 특칭부정명제의 충분조건이므로 Q → ¬P임. A → B ≡ ¬B → ¬A이므로 P → ¬Q ≡ Q → ¬P이며, A → B ≡ ¬A ∨ B이므로 P → ¬Q ≡ Q → ¬P ≡ ¬P ∨ ¬Q이네.