哲學導論 > 邏輯 > 重言式和矛盾
一個真值表列，其中完全由T組成，表示無論構成該命題的單個命題是真還是假，該命題都為真的情況。最簡單的例子是(p ∨ ¬p)。
p ¬p (p ∨ ¬p)T F TF T T
一個獨立於其組成原子命題的真假而為真的命題被稱為重言式。
類似地，一個獨立於其組成原子命題的真假而為假的命題被稱為矛盾。 這最簡單的例子是(p ∧ ¬p)。
p ¬p (p ∧ ¬p)T F FF T F
