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.