TDK Mantık Terimleri Sözlüğü

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