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