Sumários

TP11_3

25 Setembro 2023, 11:00 • Mário Jorge Edmundo

Resolução dos exercícios 4, 5, 6, 7, 8 e 9.

TP14- aula 2

25 Setembro 2023, 11:00 • Maria da Purificação Antunes Coelho

Três das demonstrações pedidas no exercício 3 (a soma de dois inteiros pares é um inteiro par; o produto de dois inteiros pares é um inteiro par; a diferença de dois inteiros ímpares é um inteiro par). 

Conclusão do exercício 2. 
Equivalência lógica de fórmulas do cálculo proposicional. Referência a algumas equivalências lógicas importantes nomeadamente às leis de De Morgan para o cálculo proposicional.
Exercício 6.

TP15-aula 2

25 Setembro 2023, 08:00 • Maria da Purificação Antunes Coelho

Três das demonstrações pedidas no exercício 3 (a soma de dois inteiros pares é um inteiro par; o produto de dois inteiros pares é um inteiro par; a diferença de dois inteiros ímpares é um inteiro par). 

Conclusão do exercício 2. 
Equivalência lógica de fórmulas do cálculo proposicional. Referência a algumas equivalências lógicas importantes nomeadamente às leis de De Morgan para o cálculo proposicional.
Exercício 6.

TP11_2

22 Setembro 2023, 11:00 • Mário Jorge Edmundo

Resolução dos exercícios 1 e 2.

TP14-aula 1

22 Setembro 2023, 11:00 • Maria da Purificação Antunes Coelho

Apresentação. 

Exercício 1. Tabelas de verdade. Noção de tautologia. Exercício 2(c).