TDK Mantık Terimleri Sözlüğü

genel terim salt mantıksal kuram belit koyut orta terim nesne gerçekleme biçimsel mantık Öğe kalıp bileşen tanıt sınama öznitelik konut yansımalı bağıntı kapsam çıkarım Ad karşı örnek çatışkı Sonuç terim sav kaplam bütün yargı eklem eşitlik ilksav evren içerme totoloji niceleyici bilgisel sonuç sayal sayı eşsayılı kümeler dizimsel tür geçerli çıkarım ayrıklık yorum yasal biçim tikel-evetleme Dil kavram betim yorumlama önek izerge Nitelik altküme bağıntı Üye biçimsel özellik nicelik ö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ı Değerleme yüklem Birey arakesit bağdaşmazlık eklemi denklik bağıntısı değillemeli-ikil önerme kalıpları çıkarım imi denetleme çözümleme kuralları çelişme bağlam önerme, değer alanı en ince simgeleştirme deyim çözümleyici çizelge çevirme birleşim imi çözümleyici küme tümdengelim en büyük tutarlı küme doğruluk izergesi bireysel olmayan değişken birli çekirdek açık önerme birli geçerlilik eklemi