TDK Mantık Terimleri Sözlüğü

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