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 karşı örnek 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 Sonuç sayal sayı sınama Öğe nesne niceleyici konut kapsam kaplam ilksav içerme eşitlik evren eklem bütün çatışkı çıkarım bilgisel sonuç Ad nicelik betim yorum Üye varsayım önek Nitelik gerekli koşul