Dedução natural na lógica de predicados com identidade

5 Dezembro 2017, 18:00 • Ricardo Santos

Exercícios de dedução natural com as 16 regras da lógica de predicados com identidade.