例如，某人是殺人犯，犯罪時他壹定在現場。如果某人是殺人犯，犯罪發生時他壹定在現場。
擴展數據:
公共邏輯語言
1.命題的結構
在數學中，具有“若P，則Q”形式的命題是常見的。我們稱這個命題中的P為命題的條件，Q為命題的結論。
2.復合命題
沒有邏輯連詞的命題稱為簡單命題，由簡單命題和邏輯連詞組成的命題稱為復合命題。
3.邏輯連接器
(1)和
壹般情況下，？用邏輯連詞“and”將命題P和Q連接起來，得到壹個新命題，記為P Q，讀作“P和Q”。
(2)或
壹般來說，命題P或Q用邏輯連接詞“或”連接得到a？新命題，記為pvq，讀作“P或Q”；您可以使用或來定義集合的並集:？AUB={x|(x∈A)v(x∈B)} .
(3)不是
壹般情況下，？否定命題p，得到壹個新命題，記為-？p，讀作“不？P”或“P的否定”；可以用“非”來定義集合A在完備集U中的補:δA={x∈U1_？(x∈A)}={x∈U|xεA} .
4.復合問題的真值表: