Sumários
T11_15
7 Novembro 2023, 10:30 • Mário Jorge Edmundo
Fórmulas logicamente equivalentes, propriedades, regras de substituição para fórmulas; contra-exemplos; exemplos de traduções equivalentes.
TP12: Expressão de conectivos lógicos à custa de outros.
6 Novembro 2023, 12:00 • Mário João de Jesus Branco
Exerc. 50 (mais algumas alíneas), 61, 62 e 57(1)-(3).
TP14: Os conectivos lógicos condicional e bicondicional.
3 Novembro 2023, 11:30 • Mário João de Jesus Branco
Exerc. 48 e 50(1)-(9).