Dedução natural na lógica de predicados

23 Novembro 2017, 18:00 • Ricardo Santos

Dedução natural na lógica de predicados (continuação). A regra da introdução do quantificador universal. O raciocínio com “objectos arbitrários” como raciocínio generalizável.