Ningún fosil  puede estar traspasado de amor
Una ostra puede estar traspasada de amor
.....................................................
Las ostras no son fósiles

Si solamente existiera la lógica de Enunciados nos encontraríamos con una inferencia que no sería válida formalmente [de ¬p y q es imposible poder derivar ¬r], y, sin embargo, el sentido común nos dice que en este razonamiento, suponiendo que las premisas fueran ciertas, parece evidente que podría seguirse la conclusión señalada.
Por suerte la Lógica dispone de otros recursos para hacer frente a este tipo de inferencias.En este sentido, en Lógica de Predicados, este argumento podría simbolizarse así:

• "x (Fx ® ØPx)
• "x (0x ® Px)
  ----------------------------------------------------------------------
  
• "x (0x ® Ø(Fx)

• Expresiones que se refieren a Individuos
• Expresiones que se refieren a Estados o Propiedades de Individuos
• Expresiones que designan relaciones entre individuos.

1. La Lógica de Predicados clasifica los enunciados en dos grandes tipos: aquellos en que aparece un sólo nombre de invidudo y aquellos que aparecen dos o más nombres de individuo.
2. Por otro lado, sabemos que en la Lógica Proposicional sus símbolos esenciales son las letras enunciativas y las conectivas y en la Lógica de Predicados tales símbolos los constituyen los Nombres de Individuo y los Predicados. Veamos una expresión en donde se nos presentan los cuatro Símbolos:

   Murió Cesar Vallejo y llovía a cántaros 
           Fa          Ù             P
   

3. Sabemos que en la Lógica de Predicados las conectivas actuan como functores que determinan los valores de verdad de las proposiciones. Pues bien, en la Lógica de Predicados los functores se aplican (no a proposiciones) sino a Nombres de Individuo. Tomemos como ejemplo una parte del texto que Deaño, en su Introducción a la Lógica, nos describe en las pags 180-181. De tal texto, entresacamos la expresión final del mismo:
   x asesinó a Leslew Soncarr
   Estamos ante una expresión que podríamos formalizar así:
   Axb [La propiedad del asesinato relaciona a x con Leslew Soncarr].
   Sabemos, además, que la expresión "asesinó a Leslew Soncarr" es el Predicado de la expresión. Ahora bien, ¿es x un nombre de Individuo?
4. Es evidente que x no es un nombre de individuo como lo son a,b,c,d,... "X" no representa a un nombre de individuo concreto y, por ello, no es una constante sino una variable que puede ser sustituida por cualquier nombre de individuo (que sea un asesino, claro está). Pues bien, desde el momento en que reemplazamos a x por un nombre de individuo concreto la expresión se convierte en un enunciado que puede ser verdadero o falso. Y es que "x asesinó a Leslew Soncarr" no es un enunciado, y no es un enunciado porque tal expresión no es ni verdadera ni falsa. Solamente se convierte en un enunciado V o F cuando a x le damos un valor determinado, en este caso, el nombre concreto de un individuo.
5. Si leemos el texto citado, llegamos a saber lo siguiente: El doctor Nosgdod fué quien asesinó a Leslew Soncarr y, por ello, el asesino no fue Moriarti. Pue bien: Despues de saber todo esto: ¿Cómo convertirías la expresión funcional o enunciado abierto : "x asesinó a Leslew Soncarr", en un enunciado que fuera verdadero o falso?

• Uno de ellos consiste en sustituir la variable o variables de individuo por nombre o nombres de individuo. Así, por ejemplo, la expresión "x fue un leñador", es un enunciado abierto que se convierte en cerrado al afirmar que "Linconl fué un leñador" [La] o la expresión "x escribió y", que tambien es un enunciado abierto con dos variables de individuo, se convierte en un enunciado cerrado cuando afirmamos: "Cervantes escribió el Quijote" [Eab]
• Otro procedimiento consiste en cuantificar variables.

Pues bien, las expresiones Todos y Algunos se les conoce en lógica con el nombre de Cuantificadores.

UNIVERSALES:
1 Todas las iglesias son hermosas
2 Los libros de Thamer Tot son afrodisíacos
3 Cualquier desviación será reprimida con dureza
4 El hombre es portador de valores eternos
PARTICULARES:
5 Hay escritores que pretenden destruir el lenguaje
6 No faltan epicureos entre los purpurados del renacimiento
7 En los vámpiros se dan casos de hemofilia
8 Algunas ciudades son inhabitables

Todos los hombres son mortales
Ningún habitante de Neptuno es neurótico
Algunas ballenas son blancas
Algunos ríos no suenan

1. UNIVERSALES AFIRMATIVOS:"x (Hx ® Mx):[Para todos los x (Si x es un hombre, entonces x es mortal]
2. UNIVERSALES NEGATIVOS: "x (Hx ® ¬Nx) [Para todo x (si x es habitante de Neptuno, entonces de ningún modo puede ser neurótico]
3. PARTICULARES AFIRMATIVOS:$x (Px Ù Qx)= [Hay algunos x tal que (son, a la vez, P y Q]
4. PARTICULARES NEGATIVOS:$x (Px Ù ¬ Qx)= [Hay algunos x tal que (son P y, sin embargo, no son Q, es decir, no son a la vez, P y Q]

NOTA:Observar que en la simbolización por medio de cuantificadores, estos ["x] y [$x] actúan como Prefijos unidos a la Variable a la que afectan, cerrando, desde esos momentos, la totalidad del enunciado abierto en la que tal variable aparece. Además,notar que el cuantificador universal se simboliza siempre por medio de la Condicional