經典邏輯和許多非古典系統的真實表,該程序的唯一目的是生成和顯示Truth Tables
古典邏輯和許多非古典系統的真相表
該程序的唯一目的是生成和顯示Truth Tables 。
該免費版本支持經典邏輯的所有常規連接,即否定,連詞,(包含)析取,孔子(物質含義)和雙條件(物質等價)以及常數1和0代表真相和虛假。很酷的事情是,除了邏輯的標準符號有些無聊之外,您也可以使用Lukasiewicz的溪流閃亮的波蘭語符號。
而且它不止於此。如果您是務實的,常識性的人,您會發現它令人放心,默認情況下,該程序使用經典的,兩價值的,邏輯。但是,如果您更多地是冒險的類型,那麼永遠不要停止企業,您將很高興得知Android的Truth Tables也支持許多非古典,多價值的邏輯系統。可以這麼說,切勿兩次進入河流,兩名負面因素不會肯定!