1.首先將命題符號化,個體域為全總個體域.記
　　p(x)：x 是斑馬；q(x)：x 有條紋；a：馬克.
　　前提：Ax(p(x)→q(x))；p(a)；
　　結(jié)論：q(a)
　　證明：
　?、?Ax(p(x)→q(x))前提引入
　?、?p(a)→q(a) ① UI規(guī)則
　　③ p(a) 前提引入
　?、?q(a) ②③假言推理
故得證.
　　
　　2.首先將命題符號化,記
　　p：地球是平的；q：你就能行駛到地球邊緣；
　　前提：p→q,┐q
　　結(jié)論：┐p；
　　證明：
　?、?p→q 前提引入
　?、?┐p∨q①置換
　　③ ┐q前提引入
　?、?┐p② ③析取三段論
得證.
　　注：以上說法均來自屈婉玲的《離散數(shù)學(xué)》.