Sumários
TP12: Verdades lógicas e sentenças tt-satisfazíveis; forma normal negativa.
12 Outubro 2023, 10:30 • Mário João de Jesus Branco
Exerc. 20(4) novamente, 22(4), 23 e 24(1)-(8).
TP14: Verdades lógicas e sentenças tt-satisfazíveis; forma normal negativa.
11 Outubro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 22(3), (4), 23 e 24.
T11_7
10 Outubro 2023, 10:30 • Mário Jorge Edmundo
Sobre a contradição, regras de substituição; (regras de inferência) eliminação e introdução da negação, exemplo (raiz quadrada de 2 é irracional); introdução e eliminação da contradição, exemplos (modus tollendo ponens, princípio da não contradição, lei da dupla negação).