Proposición Universal Afirmativa (A)
lógica de Predicados
Formalización de proposiciones singulares
lógica cuantificacional
Cuantificación
Proposición Universal Negativa (E)
Formalización de funciones proposicionales
lógica de Proposicional
Proposición Particular Afirmativa (I)