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