A eliminação do quantificador existencial

27 Novembro 2018, 18:00 • Ricardo Santos

Dedução natural na lógica de predicados (continuação): a eliminação do quantificador existencial.