Mathematical Logics with Truth

數學邏輯應用程序包括以下主題：

>否定 - 將聲明標識為true，false或open。以符號和句子形式列出對陳述的否定。列出給定語句的真值及其否定。

>連接 - 定義邏輯連接器，複合語句和連接。以符號和句子形式列出連詞。構造一個連詞的真值表。

>分離 - 定義分離。以符號和句子形式列出分離。構造一個析取的真值表。

>條件陳述 - 確定條件的假設和結論。以符號和句子形式列出條件。在給定每個部分的值的情況下列出條件的真值。

>雙條件陳述 - 以符號和句子形式列出雙條件。確定假設和結論。評估一個句子以確定它是否是雙條件的。

重言式確定複合陳述的各個部分。構造複合語句的真值表，以確定它是否是重言式。

>矛盾

>應急

>具有3個變量的真值表

>維恩圖