deducere

Inferențaeste o formă de gândire în care dintr-una sau mai multe judecăți, numite premise (temeiuri), se desprinde o nouă judecată, numită concluzie sau o consecință, o concluzie.

Conţinut

[editează] Clasificarea inferențelor

Raționamentul deductiveste un fel de raționament, în care din premise care exprimă cunoștințe de un grad mai mare de generalitate trebuie neapărat să urmeze o concluzie, care exprimă cunoștințe de un grad mai mic de generalitate. Deducerea în latină înseamnă „a scoate în evidență”. o propoziție care are un subiect și un predicat.

[editează] Tipuri de inferențe:

  • transformare;
  • recurs;
  • opoziție cu un predicat;
  • opoziție față de subiect;
  • contrapoziție.

Contrapoziţiaeste o transformare (operaţie) a unei propoziţii complexe conform legii logicii clasice: dacă propoziţiaAimplică propoziţiaB, atunci negaţia propoziţieiBimplică negaţia propoziţieiA.

[editare] Diagrame bloc

Transformare(negație de predicat).

deducere

Inversarea(permutarea subiectului și predicatului).

deducere

Opoziție la predicat(permutarea și negația predicatului).

predicat

Opoziție față de subiect(permutarea și negația subiectului).