TDK Mantık Terimleri Sözlüğü

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