1.首先將命題符號(hào)化,個(gè)體域?yàn)槿倐€(gè)體域.記
　　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.首先將命題符號(hào)化,記
　　p：地球是平的；q：你就能行駛到地球邊緣；
　　前提：p→q,┐q
　　結(jié)論：┐p；
　　證明：
　?、?p→q 前提引入
　　② ┐p∨q ①置換
　?、?┐q 前提引入
　　④ ┐p ② ③析取三段論
得證.
　　注：以上說(shuō)法均來(lái)自屈婉玲的《離散數(shù)學(xué)》.