TDK Mantık Terimleri Sözlüğü

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