TDK Mantık Terimleri Sözlüğü

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