Dedução natural para a lógica proposicional: exercícios.

25 Outubro 2018, 18:00 • Ricardo Santos

Dedução natural para a lógica proposicional. Resolução de exercícios de dedução com conjunções e condicionais.

Métodos de demonstração não directa

25 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

A demonstração condicional.

Dedução natural para a lógica proposicional: regras para a conjunção e para a condicional.

23 Outubro 2018, 18:00 • Ricardo Santos

O método da dedução natural para a lógica proposicional. As primeiras regras: regras de eliminação e de introdução para a conjunção e para a condicional. O formato de elaboração das demonstrações: linhas numeradas, com justificação de cada linha e indicação das dependências últimas. O uso de suposições numa demonstração. Descartar uma suposição por meio da introdução de uma condicional.

Exercícios

23 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Teste de validade de argumentos dados na linguagem corrente: tradução e demonstração de validade.

Correcção do exercício escrito. Completude expressiva. Conectivas não-verofuncionais.

22 Outubro 2018, 18:00 • Ricardo Santos

Correcção do exercício escrito.

Completude expressiva do conjunto de conectivas seleccionado (viz. negação, conjunção, disjunção, condicional e bicondicional). Como expressar outras funções de verdade usando as conectivas deste conjunto. Conectivas verofuncionais e não-verofuncionais (exemplos: ‘É necessário que ...’, ‘... antes que ...’, ‘... porque ...’).