Dedução natural na lógica de predicados

26 Novembro 2018, 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.