Sumários
Árvores Semânticas
30 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Sistema de regras para as árvores semânticas.
Dedução natural para a lógica proposicional: a bicondicional.
26 Outubro 2017, 18:00 • Ricardo Santos
Dedução natural para a lógica proposicional. Exercícios de dedução com as regras já apresentadas. O uso de suposições nas regras I®, IØ e EÚ. Regras para a bicondicional. Uma bicondicional ‘A se e só se B’ é apenas uma forma abreviada de expressar a conjunção ‘Se A então B e se B então A’. Exemplos e exercícios.
Demonstração Condicional
26 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Estudo do método da demonstração condicional. Rationale do método. Exercícios.
Dedução natural para a lógica proposicional: negação e disjunção.
24 Outubro 2017, 18:00 • Ricardo Santos
Dedução natural para a lógica proposicional. Regras para a negação. Eliminação da negação dupla. Introdução da negação: quando a suposição de X conduz a uma contradição, isso é uma prova suficiente de não-X. Exemplos e exercícios. Regras para a disjunção. Introdução da disjunção: basta um dos seus disjuntos ser verdadeiro para que uma disjunção o seja; por isso, se X é verdadeiro, então ‘X ou Y é verdadeiro, qualquer que seja o Y. Eliminação da disjunção: se uma certa fórmula Z é uma consequência de X e também é uma consequência de Y, então Z é uma consequência de ‘X ou Y’. O caso especial em que Z é uma contradição: todas as contradições contam como sendo a mesma. Exemplos de deduções com estas regras.
Reductio ad Absurdum
24 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Estudo do método da demonstração indirecta. Rationale do método. Exercícios.