Mathematical Logics with Truth

数学ロジックアプリは次のトピックが含まれています：

>否定 - 陳述を真、偽、または曖昧なものとして識別する文の否定を記号および文の形でリストする。与えられた文とその否定の真理値を列挙する。

> Conjunction - 論理コネクタ、複合文、および接続詞を定義します。接続詞をシンボリック形式およびセンテンス形式でリストする。接続詞の真理値表を作成します。

>選言 - 選言を定義します。選言をシンボリック形式およびセンテンス形式でリストする。選言の真理値表を作成する。

>条件文 - 条件文の仮説と結論を識別します。条件式をシンボリック形式およびセンテンス形式でリストします。各部分の値を指定して、条件式の真理値を一覧表示します。

>二条件ステートメント - 二条件を記号および文の形でリストします。仮説と結論を特定する。文が2条件付きかどうかを判断するために文を評価すること。

トートロジー複合ステートメントの個々の部分を識別すること。トートロジーかどうかを判断するために複合ステートメントの真理値表を作成します。

>矛盾

>コンティンジェンシー

> 3変数の真理値表

>ベン図