INTERDEFINIBILADAD LÓGICA

DEL CARÁCTER NORMATIVO O DE LOS MODALIZADORES DEONTICOS

Ph (a) = O (-a) = -P (a)

O (a) = Ph (-a) = -P(-a)

P (a) = -Ph (a) = - O(-a)

P (a) = - -P(a) = - -P(a)

P (a) = P (a) P (a)

A (Univ. Afirm.) E (Univ Neg)

Todos p es q Ningún p es q

O (a) Ph (a)

CONTRARIAS

S S
U U
B CONTRADICTORIAS B
A A
L L
T T
E E
R R
N N
A A
S S
SUBCONTRARIAS

I (Part. Afirmat) O (Part. Neg)

Algún p es q Algún p no es q

P(a) P(-a)