8/14/2019 Logica traditionala

1/2

Logica tradiional

Inferene ipotetice: n componena lor intr propoziii ipotetice

A. Pure: toate propoziiile sunt ipotetice (silogism ipotetic)Exemplu: Dac p, atunci q p q

Dac q, atunci r q r

Dac p, atunci r p r

Exemplu: Dac studenii nu nva, iau note mici la examen.

Dac studenii iau note mici la examene, nu pot lua burs.

Deci : Dac studenii nu nva, nu pot lua burs.

B. Mixte (ipotetico-categorice) : prima premis este propoziie ipotetic, cealaltpremis i concluzia sunt propoziii categorice.

1. ponendo ponens Dac p, atunci q pq

p este adevrat p

q este adevrat q

Exemplu: Dac pe o planet exist biosfer, atunci exist oxigen.

Inferene

Deductive Inductive

Imediate Mediate

Categorice

Ipotetice

Disjunctive

Inducie complet Inducieincom let

8/14/2019 Logica traditionala

2/2

Exist biosfer,

Deci : Pe Terra exist oxigen.

2. tollendo tollens Dac p, atunci q pq

q este fals ~ q

p este fals ~ p

Exemplu: Dac pe o planet exist biosfer, atunci exist oxigen.

Nu exist oxigen.

Deci: Nu exist biosfer

Inferene disjunctive: conin propoziii disjunctive; variaz n funcie de felul

disjunciei : exclusiv sau inclusiv

A. Exclusive:funcioneaz principiul necontradiciei (ponendo tollens) p/q p/q

p q

~q ~p

Exemplu: Un numr nu poate fi pozitiv i negativ n acelai timp.

Acest numr este pozitiv.

Deci: Acest numr nu este negativ.

B. Inclusive :funcioneaz principiul terului exclus (tollendo ponens) p v q p v q

~p ~q

q p

Exemplu: Acest paralelogram este dreptunghi sau romb.

Acest paralelogram nu este dreptunghi.

Deci: Acest pararelogram este romb.