古典逻辑和许多非古典系统的真相表
该程序的唯一目的是生成和显示Truth Tables 。
该免费版本支持经典逻辑的所有常规连接，即否定，连词，（包含）析取，孔子（物质含义）和双条件（物质等价）以及常数1和0代表真相和虚假。很酷的事情是，除了逻辑的标准符号有些无聊之外，您也可以使用Lukasiewicz的溪流闪亮的波兰语符号。
而且它不止于此。如果您是务实的，常识性的人，您会发现它令人放心，默认情况下，该程序使用经典的，两价值的，逻辑。但是，如果您更多地是冒险的类型，那么永远不要停止企业，您将很高兴得知Android的Truth Tables也支持许多非古典，多价值的逻辑系统。可以这么说，切勿两次进入河流，两名负面因素不会肯定！
下载