Mathematical Logics with Truth

数学逻辑应用程序包括以下主题：

>否定 - 将声明标识为true，false或open。以符号和句子形式列出对陈述的否定。列出给定语句的真值及其否定。

>连接 - 定义逻辑连接器，复合语句和连接。以符号和句子形式列出连词。构造一个连词的真值表。

>分离 - 定义分离。以符号和句子形式列出分离。构造一个析取的真值表。

>条件陈述 - 确定条件的假设和结论。以符号和句子形式列出条件。在给定每个部分的值的情况下列出条件的真值。

>双条件陈述 - 以符号和句子形式列出双条件。确定假设和结论。评估一个句子以确定它是否是双条件的。

重言式确定复合陈述的各个部分。构造复合语句的真值表，以确定它是否是重言式。

>矛盾

>应急

>具有3个变量的真值表

>维恩图