Lógica cuantificacional

Lógica cuantificacional mejorada

Lógica cuantificacional completada