Sumários
T14
5 Novembro 2019, 10:30 • Mário Jorge Edmundo
Variáveis, termos, exemplos (notação prefixa e notação infixa); Fórmulas atómicas, exemplos (notação prefixa e notação infixa); Fórmulas, quantificador universal, quantificador existencial, exemplos de fórmulas e respectivas traduções na linguagem natural.
Implicação e equivalência material
5 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
45, 47 (1, 2, 3, 4, 5, 6, 7), 48 (1, 2, 3, 4, 5, 6, 9, 10, 12, 13, 14), 50 (1, 2, 4, 6, 9 e 19) e 54 (1,2,3).
Implicação e equivalência material
4 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 45, 47 (1, 2, 3, 4, 5, 6, 7), 48 (1, 2, 3, 4, 5, 6, 7, 12, 14, 15, 17, 19), 50 (1, 2, 4, 6 e 9) e 54 (1).