Sumários
T_7
29 Outubro 2021, 09:30 • Mário Jorge Edmundo
Mais um exemplo de demonstração (existem irracionais b>0 e c tais que b^c é racional). Contradição, regras de substituição para a contradição. Regras de inferência: eliminação da negação e introdução da negação. Exemplo de demonstração (raiz quadrada de dois é irracional). Regras de inferência: introdução da contradição e eliminação da contradição. Exemplos de demonstrações (modus tollendo ponens, princípio da não contradição, lei da dupla negação, modus ponendo tollens).
TP11_6
29 Outubro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de formas normais. Resolução dos exercícios 24, 25 e 28.
Formas Normais: Negativa, Disjuntiva e Conjuntiva
28 Outubro 2021, 10:30 • Maria João Antunes Dias Gouveia
Correcção do TPC (ex. 22).
T_6
26 Outubro 2021, 10:30 • Mário Jorge Edmundo
Regras de inferência; introdução da igualdade, eliminação da igualdade, exemplos de demonstrações (simetria e transitividade da igualdade); reiteração; introdução da conjunção, eliminação da conjunção; introdução da disjunção, eliminação da disjunção; exemplos de demonstrações.
TP11_5
26 Outubro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de tautologias, tt-satisfazível, verdade lógica e possibilidade lógica. Resolução dos exercícios 20, 21 e 22.