Sumários

TP13 aula 7

12 Outubro 2022, 12:30 • Maria da Purificação Antunes Coelho

Exercícios 23, 24, 33, 39 e 37 (alíneas (a) a (d)).

TP16: Quantificadores e demonstrações.

12 Outubro 2022, 11:00 • Mário João de Jesus Branco

Resolução dos Exerc. 36, 21 e 23.

TP12 aula 7

11 Outubro 2022, 10:30 • Maria da Purificação Antunes Coelho

Exercícios 36(continuação), 19, 23 e 24.

AULA 7

11 Outubro 2022, 09:30 • Fernando Ferreira

Recapitulação da matéria dada. Tautologias e o problema P vs NP. Leis lógicas, métodos demonstrativos, quantificações, ordem dos quantificadores, etc.

Discussão mais detalhada das leis de De Morgan para a quantificação.

T12 aula 7

11 Outubro 2022, 09:30 • Maria da Purificação Antunes Coelho

Demonstração de uma asserção da forma "Existe x tal que P(x)"  (exibindo um objeto do domínio que satisfaz a condição P(x)).

Apresentação de técnicas que podem ser usadas quando temos como objetivo demonstrar uma asserção da forma "Q ou R", com ênfase na estratégia que consiste em supor ~Q e, sob essa suposição, demonstrar R: explicação do método e  exemplo ilustrativo.
Demonstrações por absurdo - explicação do método.