Sumários
Teste
5 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Primeiro teste escrito da disciplina.
Dedução natural para a lógica proposicional: a bicondicional.
30 Outubro 2018, 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.
Exercícios
30 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Demonstrações condicionais.
Dedução natural para a lógica proposicional: negação e disjunção.
29 Outubro 2018, 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.
Exercícios
29 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Realização de demonstrações no Cálculo Proposicional.