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;
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.