Voy a leer con literalidad estas fórmulas sencillas.

Aunque haya equivalencias y aunque

haya afirmaciones que no son buen castellano, las leo así para que os fijéis en la posición de la
negación y en el significado estricto del cuantificador:

/\x Px Todos son filósofos

/\x ¬ Px Todos son no filósofos

/\x ¬ Px se transforma en ¬ Vx Px y es entonces cuando podemos leer: no existe nadie que

sea P, ninguno es P.

Vx Px Algunos son P

Vx ¬Px Algunos son no P

Vx ¬Px se transforma en ¬/\x Px, que leemos: no Todos son P.

Esta colocación de la negación es importante cuando pasamos a formalizar con los

cuantificadores cubriendo condicionales y conjunciones o negaciones:

Universal afirmativa:

/\x (Px --> Qx): Todos los cantantes son famosos (Todos los P son Q)

Equivale a ¬Vx (Px ^ ¬Qx): No hay ningún cantante que no sea famoso (Ningún P
es no Q, Nadie es P y no Q)

Universal negativa:

/\x (Px --> ¬Qx): Ningún cantante es famoso (literal: Todos P son no Q)

Equivale a ¬Vx (Px ^ Qx): No hay ningún cantante que sea famoso (no hay nada que sea P y
Q, nadie es P y Q).

Particular afirmativa: Vx (Px ^ Qx): Algún cantante es famoso (algunos son P y Q)

Equivale a ¬/\x (Px --> ¬Qx): No hay cantante que no sea famoso (No Todos los P son no Q)

Particular negativa: Vx (Px ^ ¬Qx): Algún cantante no es famoso (Algunos son P y no Q)

Equivale a ¬/\x (Px --> Qx): No todos los cantantes son famosos (No Todos los P son Q)
 "Algún cantante es famoso" significa que existen cantantes que son famosos (no nos dice
nada sobre si hay o no cantantes que no sean famosos. Tampoco nos dice nada sobre si hay o
no famosos que no son cantantes): Vx (Cx ^ FX).

"No hay cantante que no sea famoso" significa que busquemos donde busquemos, no
vamos a encontrar algo que sea cantante, pero no sea famoso: ¬Vx (Cx ^ ¬Fx). Esta fórmula no
es equivalente a la anterior.

"No todos los cantantes son no famosos" significa que no es verdad que todo lo que sea un
cantante es algo que es no-famoso: ¬ /\x (Cx --> ¬Fx). Esta fórmula es equivalente a la primera:
No es verdad que todos los cantantes son no-famosos, sino que hay cantantes famosos.

"Todos los cantantes son famosos" significa que si recorremos el conjunto de lo que hay y
encontramos algo que es un cantante, seguro que es famoso. Sin embargo, no se afirma que
efectivamente vamos a encontrar cantantes: /\x (Cx --> Fx). Esta fórmula es equivalente a la
segunda: no hay cantante que no sea famoso (no sabemos si efectivament los hay o no que sí
sean famosos).