Sumários
Folha 2A
16 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia
Correcção do TPC/conclusão da folha 2A.
Folha 2A
13 Outubro 2017, 14:00 • Maria João Antunes Dias Gouveia
Resolução de um exercício extra e resolução
do exercício 2 da folha 2A.
TPC: Conclusão da folha 2A.
Exercício extra: Para cada uma das condições dadas no exercício 1, indique uma instanciação das variáveis que
permita obter uma correspondente proposição,
mas agora com valor lógico diferente do valor lógico da proposição a que chegou no exercício 1.
Folha 2A
13 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia
Resolução de um exercício extra, conclusão do exercício 1 e resolução
do exercício 2 da folha 2A.
TPC: Conclusão da folha 2A.
Exercício extra: Para cada uma das condições dadas no exercício 1, indique uma instanciação das variáveis que
permita obter uma correspondente proposição,
mas agora com valor lógico diferente do valor lógico da proposição a que chegou no exercício 1.
Exercícios 2A e 2B
13 Outubro 2017, 11:00 • Mário Jorge Edmundo
Resolução dos exercícios das folhas de exercícios 2A e 2B.
Tema 2
12 Outubro 2017, 11:30 • Mário Jorge Edmundo
Propriedades da implicação lógica de condições. Quantificador universal; exemplos; quantificador existencial; exemplos.