Sumários

TP12_14

19 Novembro 2020, 10:30 • Mário Jorge Edmundo

Exemplos (outros conectivos e formas normais conjuntiva e disjuntiva); Exercícios 57, 59(1) e 62.

Outros conectivos

19 Novembro 2020, 08:00 • Daniela Montrasio

   
  Correção de algumas linhas do exercício 48; 
  Disjunção exclusiva;  
  Exercício 57:  
  Exercício 59; 
  Exercício 62.

Condicional e Bicondicional

18 Novembro 2020, 09:30 • Daniela Montrasio

Exercício 45;
```
Mais exemplos de traduções;
```
```
Exercício 50;
```

Fazer em casa o exercício 48.

TP13_12

18 Novembro 2020, 08:00 • Bruno Dinis

Mais exemplos de sentenças e respectivas traduções. Resolução dos exercícios 45, 48 e 50.

T_13

17 Novembro 2020, 10:30 • Mário Jorge Edmundo

Fórmulas de uma LPO, o quantificador universal, o quantificador existencial; Exemplos de fórmulas e respectiva tradução na linguagem natural, formas aristotélicas; Nota sobre parênteses, exemplos; Variáveis livres, exemplos, sentenças de uma LPO.