TDK Mantık Terimleri Sözlüğü

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