Deduções formais com quantificadores

10 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte

Resolução dos exercícios 137 e 139 com e sem a permissa extra de que haja pelo menos um objecto.
Formalização dos argumentos no sistema dedutivo de Fitch.