下載 APKPure App
可在安卓獲取Mathematical Logics的歷史版本
數學邏輯應用程序包括簡單實用的技巧和提示......
數學邏輯應用程序包括以下主題:
>否定 - 將聲明標識為true,false或open。以符號和句子形式列出對陳述的否定。列出給定語句的真值及其否定。
>連接 - 定義邏輯連接器,複合語句和連接。以符號和句子形式列出連詞。構造一個連詞的真值表。
>分離 - 定義分離。以符號和句子形式列出分離。構造一個析取的真值表。
>條件陳述 - 確定條件的假設和結論。以符號和句子形式列出條件。在給定每個部分的值的情況下列出條件的真值。
>雙條件陳述 - 以符號和句子形式列出雙條件。確定假設和結論。評估一個句子以確定它是否是雙條件的。
重言式確定複合陳述的各個部分。構造複合語句的真值表,以確定它是否是重言式。
>矛盾
>應急
>具有3個變量的真值表
>維恩圖
Last updated on 2019年08月19日
Minor bug fixes and improvements. Install or update to the newest version to check it out!
Mathematical Logics
with Truth1 by APPSTARS4U
2019年08月19日