TDK Mantık Terimleri Sözlüğü

yorum yargı belit sav Öğe Sonuç eklem kalıp nesne kaplam genel terim öznitelik Dil bileşen bütün terim evren çatışkı tanıtlama tanıt konut kapsam yorumlama Ad Anlam koyut bağlam kavram eşitlik 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 ilksav kapanış totoloji nicelik sayal sayı Tanım karşı örnek Eşdeğerlik biçimsel mantık eşsayılı kümeler bağıntı tasım niceleyici izerge yüklem varsayım deyim 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 üreteç yanlışlayıcı yorum mantık Değerleme gerekli koşul çevirme Birey evirme doğruluk çizelgesi düpedüz geçersiz çıkarım tümdengelim önerme, metamatematik kural tümevarım çelişme imbilim değer alanı arakesit biçimsel tanım saydamsız bağlam öncül denetleme evetleme çok bileşenli tümel-evetleme olgu anlambilim yorum biçimi