TDK Mantık Terimleri Sözlüğü

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