Mathematical Logics with Truth

Aplikacja Mathematical Logic zawiera następujące tematy:

> Negacja - Aby zidentyfikować stwierdzenie jako prawdziwe, fałszywe lub otwarte. Aby wyświetlić listę negacji zdania w formie symbolicznej i zdaniowej. Aby wyświetlić wartości prawdy dla danej instrukcji i jej negacji.

> Koniugacja - aby zdefiniować łącznik logiczny, instrukcję złożoną i koniunkcja. Aby wyświetlić listę koniunkcji w formie symbolicznej i zdaniowej. Aby skonstruować tabelę prawdy dla koniunkcji.

> Disjunction - Definicja disjunction. Aby wymienić rozróżnienie w formie symbolicznej i zdaniowej. Aby skonstruować tabelę prawdy dla rozwiązania.

> Deklaracje warunkowe - Aby zidentyfikować hipotezę i zakończenie warunku. Aby wyświetlić listę warunkową w formie symbolicznej i zdaniowej. Aby wyświetlić wartość prawdy warunku, biorąc pod uwagę wartość każdej części.

> Deklaracje dwujezdniowe - Aby wyliczyć dwupłaszczyznowe w formie symbolicznej i zdaniowej. Aby zidentyfikować hipotezę i wnioski. Aby ocenić zdanie, aby określić, czy jest ono dwupłaszczyznowe.

Tautologie Aby zidentyfikować poszczególne części złożonego oświadczenia. Aby skonstruować tabelę prawdy dla instrukcji złożonej, aby określić, czy jest to tautologia.

> Sprzeczność

> Przypadkowość

> Tabela prawdy z 3 zmiennymi

> Diagram Venna