TDK Mantık Terimleri Sözlüğü

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