Sumários

Aula teórica 2

16 Setembro 2025, 10:30 • Maria da Purificação Antunes Coelho

Aridade de um símbolo relacional. O símbolo relacional binário da igualdade e sua interpretação.

Sentenças atómicas da forma R(c_1,...,c_n) em que R é um símbolo relacional de aridade n e c_1,...,c_n são constantes.
Símbolos funcionais e sua aridade.

TP11_2

16 Setembro 2025, 08:00 • Mário Jorge Edmundo

Apresentação. Discussão e resolução dos exercícios 1, 2 (b) e 4

TP12 aula 1

15 Setembro 2025, 12:00 • Maria da Purificação Antunes Coelho

Apresentação. Algumas considerações sobre o funcionamento das aulas TP. Explicação da linguagem dos Mundos de Blocos. Exercícios 1,  2 a. e 3 (alíneas 1, 2 e 3).

TP14 12 de setembro

12 Setembro 2025, 11:30 • Maria da Purificação Antunes Coelho

Não houve aula. 

Aula teórica 1

12 Setembro 2025, 09:30 • Maria da Purificação Antunes Coelho

Apresentação. Informações diversas sobre o funcionamento da disciplina, nomeadamente sobre a avaliação.

Introdução ao estudo das linguagens da lógica de primeira ordem. Símbolos específicos de uma linguagem: constantes (ou nomes), símbolos relacionais (ou predicativos) e símbolos funcionais. Papel semântico das constantes (referir objetos do domínio do discurso); papel semântico dos símbolos relacionais (exprimir propriedades dos objetos ou relações entre eles); papel semântico dos símbolos funcionais (exprimir funções). Aridade de um símbolo relacional.