命題邏輯

命題 (proposition) 只能為真 (true)，或為假 (false)，二擇一。

一階邏輯

相比於命題邏輯，一階邏輯可以使用 ∀ (any，任一) 和 ∃ (exist，存在) 量化變量。

語法規則

真值表

可靠性

完備性