Formalizações e deduções com descrições definidas

13 Dezembro 2018, 18:00 • Ricardo Santos

Formalização de frases e de argumentos com descrições definidas. Descrições definidas e ambiguidades de âmbito. Exercícios de dedução natural com descrições definidas.