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