Sumários

AULA 2

21 Setembro 2023, 11:30 • Fernando Ferreira

Demonstração por contrarrecíproco. Demonstração por casos.

T12 - aula 2

21 Setembro 2023, 11:30 • Maria da Purificação Antunes Coelho

Apresentação e demonstração de um Corolário da Proposição demonstrada na aula anterior.

Demonstrações por contrarrecíproco ("Demonstração 2", na página moodle da disciplina): explicação do método e exemplo ilustrativo. O recíproco e o contrarrecíproco de uma implicação. Equivalência lógica de fórmulas do cálculo proposicional. Lei do contrarrecíproco.

Divisão de uma demonstração em casos (introdução).

TP12-aula 2

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

Duas das demonstrações pedidas no exercício 3 (o produto de dois inteiros pares é um inteiro par; a diferença de dois inteiros ímpares é um inteiro par). Exercício 2 (alíneas a e c). Equivalência lógica de fórmulas do cálculo proposicional. Referência às leis de De Morgan para o cálculo proposicional.

TP15-aula 1

20 Setembro 2023, 11:30 • Maria da Purificação Antunes Coelho

Apresentação.

Tabelas de verdade. O conceito de tautologia.

Exercícios 1 e 2 (b, c).

TP16 - aula 2

20 Setembro 2023, 11:30 • Fernando Ferreira

Exercícios 1 e 2.