Sumários
T11_14
3 Novembro 2023, 09:30 • Mário Jorge Edmundo
Fórmulas e condições, condição universal, condição possível; a semânticas das sentenças; exemplos.
TP12: Demonstrações formais e os conectivos lógicos condicional e bicondicional.
2 Novembro 2023, 10:30 • Mário João de Jesus Branco
Exerc. 43(2), (3), 48 (algumas alíneas) e 50(1)-(5).
T11_13
31 Outubro 2023, 10:30 • Mário Jorge Edmundo
Exemplos simples de fórmulas e respectiva tradução; formas aristotélicas; mais exemplos de fórmulas e respectiva tradução; quantificações múltiplas; quantificações numéricas.