Dedução natural (cont.). Nomes próprios e descrições definidas.

7 Dezembro 2017, 18:00 • Ricardo Santos

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

A distinção entre nomes próprios e descrições definidas. Designadores com referente único, designadores com múltiplos referentes e designadores vazios (sem referente).