Sumários
Aula 6 - TP14
12 Outubro 2016, 09:30 • Maria da Purificação Antunes Coelho
Exercícios 25, 28 e 29. Início do exercício 31.
Aula 6 - TP13
12 Outubro 2016, 08:00 • Maria da Purificação Antunes Coelho
Resolução do exercício 31. Esclarecimento de dúvidas.
AULA 7
11 Outubro 2016, 10:30 • Fernando Ferreira
A noção de tt-consequência (também chamada de consequência tautológica). Exemplos. Nota: de premissas contraditórias pode-se concluir qualquer coisa.
Introdução aos argumentos lógicos. Regras de introdução e eliminação da conjunção. Regra de introdução da disjunção. Como utilizar uma premissa disjuntiva? (Qual é a regra da eliminação da disjunção?) Discussão por casos. Um exemplo simples.