Sumários

Tradução

27 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Tradução de enunciados da linguagem corrente na linguagem do Cálculo de Predicados de primeira ordem.

Nomes (constantes) e descrições definidas (a teoria de B. Russell).

Dedução natural na lógica de predicados

26 Novembro 2018, 18:00 • Ricardo Santos

Dedução natural na lógica de predicados (continuação). A regra da introdução do quantificador universal. O raciocínio com “objectos arbitrários” como raciocínio generalizável.

Regras Primitivas (GU)

26 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

As duas restrições básicas ao uso de GU.

Derivações standard no C. Predicados.

Validade na lógica de predicados

22 Novembro 2018, 18:00 • Ricardo Santos

Correcção do exercício escrito. Demonstração da invalidade de formas argumentativas pela construção de contra-modelos.

Regresso à dedução natural: as regras para os quantificadores. A introdução do quantificador existencial e a eliminação do quantificador universal.

Regras Primitivas (IE)

22 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Padrão de tradução de proposições universais afirmativa e negativa e particulares afirmativa e negativa.

As duas restrições básicas ao uso de IE.