TDK Mantık Terimleri Sözlüğü

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