inferente.

[Filip]

Inferentele directe sunt forme logice , rationamente prin care se trece direct de la premize la concluzie.

Patratul logic:

Inferenta corecta este acel rationament in care putem preciza sigur valoarea de adevar adevarat/fals a concluziei pe baza definitiilor (operatie - relatie) si a regulilor de adevar.

Reguli de adevar:

1.Pentru contrarietate.

Doua propoziti aflate in relatie de contrarietate nu pot fi adevarate in acelasi timp dar pot fi false.

2.Pentru subcontrarietate

Doua propoziti aflate in relati de subcontrarietate nu pot fi false in acelasi timp dar pot fi adevarate.

3.pentru subalternare

valoare de adevar a universalei determina valoarea de adevar a particularei

falsul particularei determina falsul universalei.

4.contradictie.

doua propoziti aflate in contradictie nu pot avea aceasi valoare de adevar,

Regula distribuirii termenilor.

NU putem avea termeni distribuiti in colcluzie daca nu au fost distribuiti si in premize.