Mantık Terimleri Sözlüğü
tamindirgeme
Bir önermeyi eşdeğeri olan tamindirgenmiş bir önermeye dönüştürme işlemi.