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