Csökkentés ( latin reductio - redukció, felállítás, visszahozás) - logikus technika bármilyen adat kényelmesebb formába való konvertálására bármilyen szempontból; a komplexitás egyszerűbbre való redukálása, amely elemzésre vagy megoldásra hozzáférhető.
Az általános prototipikus jelentés redukció, redukció.
kötőszavak |
kötőszó tagadása |
diszjunkciók |
diszjunkció tagadása |
következményei |
az implikáció tagadása |
tagadás tagadás |
általános kvantor |
az általános kvantor tagadásai |
egzisztenciális kvantor |
az egzisztenciális kvantor tagadása |
, ahol t egy tetszőleges tag |