Sumários

TP12 aula 2

22 Setembro 2022, 10:00 • Maria da Purificação Antunes Coelho

Exercícios 3 (resolução parcial) e 5. Tabelas de verdade da conjunção, da disjunção, da negação, da implicação e da equivalência. Exemplos de fórmulas logicamente equivalentes. Breve referência à noção de consequência lógica.

TP13 aula 2

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

Exercício 5. Tabelas de verdade da conjunção, da disjunção, da negação, da implicação e da equivalência. Exemplos de fórmulas logicamente equivalentes. Exemplos de tautologias.

TP16: Sistemas de numeração, tautologia e equivalência lógica.

21 Setembro 2022, 11:00 • Mário João de Jesus Branco

Resolução dos Exerc. 2, 3 e 5. Tautologia, fórmulas logicamente equivalentes e algumas leis de equivalência lógica: leis de De Morgan, leis distributivas, lei da dupla negação, leis de idempotência, lei condicional. Negação da implicação. Resolução do Exerc. 6.(a).

TP12 aula 1

20 Setembro 2022, 10:30 • Maria da Purificação Antunes Coelho

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

AULA 1

20 Setembro 2022, 09:30 • Fernando Ferreira

Os números inteiros. Definição de número inteiro ímpar e de número inteiro par. Demonstração de que o produto de dois números inteiros ímpares é um inteiro ímpar. A proposição que diz que se a soma de dois inteiros é ímpar, então um deles é par. Isto é equivalente a ver que a soma de dois inteiros ímpares é par (é o contrarrecíproco do que se quer demonstrar).

Apresentação do professor. Alguns comentários sobre a disciplina. Descrição da avaliação.