Reducere ( latină reductio - reducere, erecție, aducere înapoi) - o tehnică logică pentru convertirea oricăror date într-o formă mai convenabilă din orice punct de vedere; reducerea complexului la mai simplu, accesibil pentru analiză sau soluție.
Sensul general prototip este reducerea, reducerea.
conjuncţii |
negația conjuncției |
disjuncţii |
negările disjuncției |
implicatii |
negarea implicaţiei |
negare negarea |
cuantificator general |
negaţii ale cuantificatorului general |
cuantificator existențial |
negaţia cuantificatorului existenţial |
, unde t este un termen arbitrar |