TDK Mantık Terimleri Sözlüğü

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