Un predicado es una proposición en la que se afirma o se niega algo de uno o varios

objetos que son los términos del predicado.

El lenguaje formal de la lógica de predicados está formado por tres elementos:

términos, predicados y conectivos. 

Cuantificadores

Existen cuatro maneras de unir términos con predicados para obtener

proposiciones:

• A (universal afirmativo): Término universal con cópula afirmativa

“Todo…es…”

• E (universal negativo): Término universal con cópula negativa

“Ninguno… es…”

• I (existencia afirmativo): Término existencial con cópula afirmativa

 “Alguno… es…”

• O (existencial negativo): Término existencial con cópula negativa

 “Algún… no es…”

Ejemplo:

M (x) : es mortal (predicado) en el dominio D: todas las personas.

A: Todas las personas son mortales ∀xM (x)

E: Ninguna persona es mortal ∀x ¬M (x)

I: Alguna persona es mortal ∃xM (x)

O: Alguna persona no es mortal ∃x ¬M (x)