一，邏輯與證明
p v q ==> p or q
p ∧ q ===> p and q
p加個上劃線表示 not p
一個語句，如果它或是真的，或是假的（但不是既真又假），稱爲一個命題。
如果p和q都是命題，如p則q，稱爲條件命題。
p F q F ====> p-->q T
p F q T ===⇒ p--->q T
p T q F ====> p----->q F
p T q T ===⇒ p------>q T
q —> p爲p—>q的逆命題
如果p和q都是命題，複合命題p當且僅當q稱爲雙條件命題
p <----> q
p T q T ===> p --> q T
p F q T ====> p—>q F
p T q F =====> p—>q F
p F q F ===⇒ p—> q T
兩個不同的複合命題不管組成的命題取什麼值，真值總是相同（同時爲真或假），這樣的命題稱爲邏輯等價。
德摩根第一定律：
一個條件命題p—>q的逆反式是命題q(-在q上) —> p(-在p上)
逆反式不但把p和q的作用互換，還對它們進行了否認。
條件命題和逆反式是等價的。