Exercícios 2A e 2B

16 Outubro 2017, 11:00 • Mário Jorge Edmundo

Resolução dos exercícios das folhas de exercícios 2A e 2B.

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.

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.

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.

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.