Sumários

TP12-aula 3

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

Exercícios 6, 7, 8 e 10.

A noção de consequência lógica. 
Exercício 4.

T12-aula 3

26 Setembro 2023, 10:00 • Maria da Purificação Antunes Coelho

Breve introdução ao estudo dos quantificadores. 

Como estruturar a demonstração duma asserção da forma "Para todo o x, P(x)".
Divisão de uma demonstração em casos - explicação do método e exemplo ilustrativo ("Demonstração 3", na página moodle).

AULA 3

26 Setembro 2023, 09:30 • Fernando Ferreira

Uma demonstração por redução ao absurdo.

As noções de divisibilidade e de congruência em módulo. Um pequeno argumento que mostra que 7+5 é 4 módulo 8.

TP16 - aula 3

25 Setembro 2023, 13:30 • Fernando Ferreira

Exercícios 2 (finalização), 7, 8 e 9.

TP13-aula 2

25 Setembro 2023, 13:30 • 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.