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