Equivalencias en Lgica de Predicados

CUANTIFICADORES

x Px Vx Px

Todos son filsofos. No hay ninguno que posea la propiedad de no ser filsofo

x Px Vx Px

Ninguno es filsofo. No hay ninguno que posea la propiedad de ser filsofo.

Vx Px x Px

Alguien es filsofo. No todos carecen de la propiedad de ser filsofos

Vx Px x Px

No todos tienen la propiedad de ser filsofo

Alguien no es filsofo

x Px Vx Px x Px Vx Px
Vx Px x Px Vx Px x Px
Leyes aristotlicas de oposicin
Las relaciones de oposicin se expresan en el llamado cuadro de oposicin, cuyos vrtices simbolizan las
cuatro proposiciones, y cuyas diagonales y lados representan esas relaciones:

UNIVERSAL AFIRMATIVA (OPA): x (Px Qx) Vx (Px Qx)

UNIVERSAL NEGATIVA (OPE): x (Px Qx) Vx (Px Qx)

PARTICULAR AFIRMATIVA (OPI): Vx (Px Qx) x (Px Qx)

PARTICULAR NEGATIVA (OPO): Vx (Px Qx) x (Px Qx)

Cada una de las relaciones da pie a determinadas inferencias:

1) Contradiccin es la oposicin entre una proposicin y su negacin: entre A-O y viceversa, y entre E-I y viceversa.
Dos proposiciones contradictorias no pueden verdaderas simultneamente ni falsas simultneamente. Si una
proposicin es verdadera, su contradictoria es falsa, y viceversa.
2) Contrariedad se da entre las universales A y E. Dos proposiciones contrarias no pueden ser ambas verdaderas,
pero s ambas falsas. La verdad de una universal implica la falsedad de la contraria, pero no a la inversa. Ejemplo:
Todo negro es americano. Ningn negro es americano.
3) Subcontrariedad se da entre las particulares I y O. Dos subcontrarias pueden ser ambas verdaderas, pero no
ambas falsas. L a falsedad de la una implica la verdad de la otra, pero no a la inversa. Ejemplo: Algunos hombres
son justos y algunos hombres no son justos, son ambas verdaderas, pero no podrn ser ambas falsas.
4) Subalternacin se da entre universales y particulares de la misma cualidad (es decir, univ. Afirm.-part. Afirm.)
Cada universal implica su correspondiente particular, pero no a la inversa. Ejemplo: Todos los cuervos son negros
implica algn cuervo es negro, pero no al revs.
Universal afirmativa (OpA):

x (Px Qx): Todos los cantantes son famosos

Vx (Px Qx): No hay ningn cantante que no sea famoso

Universal negativa (OpE):

x (Px Qx): Ningn cantante es famoso

Vx (Px Qx): No hay ningn cantante que sea famoso

Particular afirmativa (OpI):

Vx (Px Qx): Algn cantante es famoso

x (Px Qx): No hay cantante que no sea famoso

Particular negativa (OpO):

Vx (Px Qx): Algn cantante no es famoso

x (Px Qx): No todos los cantantes son famosos