tamindirgeme

tamindirgeme İng. full-reduction

Bir önermeyi eşdeğeri olan tamindirgenmiş bir önermeye dönüştürme işlemi.

---

tamindirgeme, 12 karakter ile yazılır. Ayrıca, t harfi ile başlar, e harfi ile biter. Tüm karakter dağılımı ise, 't', 'a', 'm', 'i', 'n', 'd', 'i', 'r', 'g', 'e', 'm', 'e', şeklindedir.
tamindirgeme kelimesinin tersten yazılışı emegridnimat diziliminde gösterilir.