TDK Mantık Terimleri Sözlüğü

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