ANEXE

Pătratul logic al propoziţiilor compuse

_ _ p ∙ q D p ∙ q

_ _ p v q A p v q

Pătratul logic al propoziţiilor condiţionale p ⊃ q I q ⊃ p I = independenţă

E = echivalenţă I I

_ _ _ _

p ⊃ q I q ⊃ p

B C C B

J

D = incompatibilitate (contrarietate) A = disjuncţieinclusivă (subcontrarietate) J = disjuncţie exclusivă (contradicţie) C = implicaţie (subalternare) B = implicaţie conversă (supraalternare)

E

S

P Toţi S sunt P - Sap

S

P

Nici un S nu este P - SeP

mamifere

vertebrate

animale

SaP contrarietate SeP s s u u b b a a l l t t e e r r n n a a r r e e SiP subcontrarietate Sop

Premisa Concluziile

Sap ___ SaP

Sep ___ SeP

SiP ___ SiP

Sop ___ SoP

___ ___ SeP SiP SoP - - SoP ___ ___ SaP SiP SoP - SiP - ___ SeP - - ___ SaP SeP SoP ___ SaP - - ___ SaP SeP SiP

A

_ A

c e o i n ţ t c r i a d a r d t i n c o ţ c i e

s u b a l t e r n a r e

SP

S P

_ SP

_ SP

S P

_

SaP SP = 0

SeP SP = 0

S

P

*

S P

SiP SP ≠ 0

_

SoP SP ≠ 0

*

S P

S

P

M

Reprezentarea silogismului.

S

P

M

MaP SaM ∴ SaP

S

P

M

PaM SiM ∴ SiP

MeP SiM

∴ SoP

S

P

M

S

P

M

MeP SiM

∴ SaP