TDK Mantık Terimleri Sözlüğü

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