Tablodaki tanımların karşılıkları aşağıdaki gibidir:
-
Bir veya birkaç önermeden yeni bir önermeye ulaşmaktır. - Çıkarım
-
Önermenin ilişkilendirildiği nesneye, olaya ya da duruma uygunluğuna bağlı olarak doğru ya da yanlış değerini almasıdır. - Doğruluk Değeri
-
Akıl yürütmenin, akıl ilkelerine ve mantık kurallarına uygun olarak yapılmasıdır. - Geçerli Akıl Yürütme
-
Önermelerin biçimiyile ilgili olarak doğruluk değeri almasıdır. - Biçimsel Doğruluk
-
Öncüllerin doğru olması durumunda sonucun da zorunlu olarak doğru olmasıdır. - Zorunlu Çıkarım
-
Önermenin ilişkilendirildiği nesneye, olaya ya da duruma uygun olmamasıdır. - Yanlışlık
-
Bir yargı bildiren, doğru ya da yanlış değer alabilen ifadelerdir. - Önerme
-
Akıl yürütmede önermenin ya da önermelerin çelişkili olmamasıdır. - Tutarlılık
-
Öncül durumundaki önermelerden elde edilen önermedir. - Sonuç
-
Bilgi ile nesnesi arasındaki uygunluktur. - Doğruluk
-
Akıl yürütmede sonucun öncüllerden zorunlu olarak çıkarılamamasi ya da öncüllerin sonucu desteklemesi/örgülememesidir. - Geçersiz Akıl Yürütme
-
Önermenin gerçeğe ya da ilişkilendirildiği nesneye uygun olmamasıdır. - Yanlışlık