TDK Mantık Terimleri Sözlüğü

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