Sumários
TP12_13
28 Outubro 2024, 12:00 • Mário Jorge Edmundo
Discussão e resolução dos exercícios: 43 (2,3), 45, 47, 48.
TP13 aula 11
28 Outubro 2024, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 45, 47, 48 (conclusão) e 54 (1-6).
TP14 aula 10
25 Outubro 2024, 11:30 • Maria da Purificação Antunes Coelho
Exercícios 45, 47 e 48 (conclusão).
Aula teórica 12
25 Outubro 2024, 09:30 • Maria da Purificação Antunes Coelho
Relação entre o condicional (respetivamente, bicondicional) e a consequência lógica (respetivamente, equivalência lógica). Relação entre o condicional (respetivamente, bicondicional) e a consequência tautológica (respetivamente, equivalência tautológica). Traduções da linguagem natural para a linguagem formal ("se ... então", "só se", "se e só se", "a menos que", etc.).