TP12 aula 2
22 Setembro 2022, 10:00 • Maria da Purificação Antunes Coelho
Exercícios 3 (resolução parcial) e 5. Tabelas de verdade da conjunção, da disjunção, da negação, da implicação e da equivalência. Exemplos de fórmulas logicamente equivalentes. Breve referência à noção de consequência lógica.