TDK Mantık Terimleri Sözlüğü

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