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