TDK Mantık Terimleri Sözlüğü

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