TDK Mantık Terimleri Sözlüğü

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