Sumários
Aula 3 (TP 12)
25 Setembro 2017, 12:00 • Maria da Purificação Antunes Coelho
Conclusão dos exercícios 5 e 8. Exercícios 9, 10, 15 e algumas alíneas do exercício 18.
Aula 3 (TP13)
25 Setembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 5 (conclusão), 9, 10, 15, 18 e algumas alíneas do exercício 19.
AULA 2
22 Setembro 2017, 09:30 • Fernando Ferreira
Símbolos funcionais e sua aridade. O papel semântico dos símbolos funcionais papel é exprimir funções (do domínio do discurso para o domínio do discurso). A noção (sintática) de termo fechado duma linguagem da LPO. O papel semântico dos termos fechados é denotar um objeto do domínio do discurso. A noção (sintática) de sentença atómica duma linguagem da LPO. O papel semântico das sentenças é ter uma valor de verdade (verdadeiro ou falso).