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