下载 APKPure App
可在安卓获取Mathematical Logics的历史版本
数学逻辑应用程序包括简单实用的技巧和提示......
数学逻辑应用程序包括以下主题:
>否定 - 将声明标识为true,false或open。以符号和句子形式列出对陈述的否定。列出给定语句的真值及其否定。
>连接 - 定义逻辑连接器,复合语句和连接。以符号和句子形式列出连词。构造一个连词的真值表。
>分离 - 定义分离。以符号和句子形式列出分离。构造一个析取的真值表。
>条件陈述 - 确定条件的假设和结论。以符号和句子形式列出条件。在给定每个部分的值的情况下列出条件的真值。
>双条件陈述 - 以符号和句子形式列出双条件。确定假设和结论。评估一个句子以确定它是否是双条件的。
重言式确定复合陈述的各个部分。构造复合语句的真值表,以确定它是否是重言式。
>矛盾
>应急
>具有3个变量的真值表
>维恩图
Last updated on 2019年08月19日
Minor bug fixes and improvements. Install or update to the newest version to check it out!
Mathematical Logics
with Truth1 by APPSTARS4U
2019年08月19日