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.