TDK Mantık Terimleri Sözlüğü

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