TDK Mantık Terimleri Sözlüğü

genel terim salt mantıksal kuram gerçekleme belit orta terim koyut biçimsel mantık tanıt kalıp tikel-evetleme öznitelik sav içerme eşsayılı kümeler geçerli çıkarım dizimsel tür bileşen ayrıklık yansımalı bağıntı yargı yasal biçim totoloji terim sayal sayı sınama Öğe niceleyici kapsam karşı örnek kaplam ilksav eşitlik evren eklem bütün çatışkı çıkarım bilgisel sonuç Ad Sonuç nesne konut betim yorum Üye varsayım önek nicelik Nitelik gerekli koşul