¿Qué es?
No se ha añadido ninguna twiki todavía.
En la lógica tradicional aristotélica, las partículas sincategoremáticas «todos», «ningún», «algún» y «algún...no», o equivalentes, que añadidas a un sujeto y a un predicado unidos con la cópula «es» dan lugar a enunciados categoremáticos, que pueden ser universales o particulares(ver ejemplo). En la lógica de predicados de primer orden, operadores que, añadidos a una función proposicional, la transforman en un enunciado.
Son dos: el cuantificador existencial, que se simboliza como x y se lee «existe al menos un x tal que...», con lo que se afirma la existencia de por lo menos un miembro de la clase que describe la función, y el cuantificador universal, simbolizado por x, que se lee «para todo x...», y que afirma que todo es de la clase que describe la función.
