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

12 Dezembro 2017, 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.