Sumários
AULA 14
8 Novembro 2016, 10:30 • Fernando Ferreira
A regra de eliminação do condicional (Modus Ponens) e da introdução do condicional (método de demonstração condicional). Vários exemplos, informais e formais. A regra de eliminação do bicondicional.
Aula 14 - TP12
7 Novembro 2016, 12:00 • Maria da Purificação Antunes Coelho
Exercícios 57(1) e 59. Início do exercício 74.
Aula 13 - TP13
7 Novembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 57, 59 e 64(2). Início do exercício 74.
AULA 13
4 Novembro 2016, 09:30 • Fernando Ferreira
A negação, a disjunção e a conjunção formam um conjunto vero-funcionalmente completo de conetivos: toda a função (tabela) de verdade pode ser exprimida por uma sentença proposicional construída apenas com estes conetivos. Justificação intuitiva deste facto. Outros exemplos de conjuntos de conetivos vero-funcionalmente completos, incluindo o conetivo nem-nem que, por si só, forma um conjunto vero-funcionalmente completo.
Introdução às demonstrações informais com a implicação material.