Reducere (logica)

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.

Reguli de reducere

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