TDK Mantık Terimleri Sözlüğü

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