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).

Exercícios

7 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Derivações com predicados binários e quantificação múltipla.

Dedução natural na lógica de predicados com identidade

5 Dezembro 2017, 18:00 • Ricardo Santos

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

Formulação precisa das regras e rationale por detrás delas

5 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Formulação precisa das regras e rationale por detrás delas.

Eliminação e introdução da identidade. Quantificadores numéricos.

4 Dezembro 2017, 18:00 • Ricardo Santos

Formalizações na linguagem da lógica de predicados com identidade. Dedução natural: as regras de eliminação da identidade e de introdução da identidade. Exemplos de deduções com estas regras. O uso do predicado de identidade para expressar afirmações de carácter numérico (‘pelo menos um’, ‘no máximo um’, ‘exactamente um’, ‘pelo menos dois’, etc.). A possibilidade de definir quantificadores numéricos.