TDK Mantık Terimleri Sözlüğü

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