TDK Mantık Terimleri Sözlüğü

belit genel terim yorum kalıp salt mantıksal kuram Öğe sav nesne tanıt konut terim evren yargı orta terim Ad koyut kapsam gerçekleme bileşen öznitelik Sonuç eklem kaplam çatışkı biçimsel mantık sınama eşitlik ilksav bütün çıkarım içerme Dil yansımalı bağıntı eşsayılı kümeler Üye tikel-evetleme karşı örnek totoloji sayal sayı niceleyici yorumlama kavram betim Nitelik geçerli çıkarım dizimsel tür bilgisel sonuç önek ayrıklık bağıntı yasal biçim izerge yönetici altküme Eşdeğerlik nicelik biçimsel özellik kapanış dizi olmayana ergi yöntemi varsayım önermeler mantığı metamatematik düpedüz geçersiz çıkarım doğruluk çizelgesi gerekli koşul çelişmezlik ilkesi biçimsel tanım kuram tanıtlama çok bileşenli tümel-evetleme Anlam arakesit üreteç bağlam Değerleme değer alanı yüklem önerme, evirme en büyük tutarlı küme çelişme Tanım denetleme Birey dağıtılmış terim imbilim evetleme çevirme kural deyim öncül bağdaşmazlık eklemi tümdengelim tasım tümevarım çatal açma kuralları değillemeli-ikil önerme kalıpları denklik bağıntısı mantık