Mathematical Logics with Truth

Matematiksel Mantık uygulaması aşağıdaki konuları içerir:

> Olumsuzlama - Bir deyimi doğru, yanlış veya açık olarak tanımlamak için. Bir ifadenin olumsuzlanmasını sembolik ve cümle biçiminde listelemek. Verilen bir ifade ve olumsuzluğunun doğruluk değerlerini listelemek.

> Bağlaç - Mantıksal bağlayıcı, bileşik deyim ve birleşimi tanımlamak için. Bir birleşimi sembolik ve cümle biçiminde listelemek. Bir birleşme için bir doğruluk tablosu oluşturmak.

> Disjunction - Disjunction tanımlamak için. Bir ayrılmayı sembolik ve cümle biçiminde listelemek. Bir ayrılma için doğruluk tablosu oluşturmak.

> Koşullu İfadeler-Koşullu bir hipotezi ve sonucunu belirlemek. Bir koşulu sembolik ve cümle biçiminde listelemek. Koşullu gerçeğin değerini listelemek için her bir parçanın değeri verilmiştir.

> Biconditional İfadeler - Biconditional bir sembolik ve cümle biçiminde listelemek için. Hipotezi ve sonucu belirlemek. Bir koşulun kesin olup olmadığını belirlemek için bir cümleyi değerlendirmek.

Tautology'ler Bir bileşik ifadenin tek tek bölümlerini tanımlamak için. Bir totoloji olup olmadığına karar vermek için bileşik bir ifade için bir doğruluk tablosu oluşturmak.

> Çelişki

> Acil durum

> 3 değişkenli gerçek tablosu

> Venn Şeması