TDK Mantık Terimleri Sözlüğü

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