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.