AULA 1

18 Setembro 2018, 10:30 • Fernando Ferreira

Apresentação do professor e da unidade curricular. Descrição da avaliação. Bibliografia.  As plataformas MOODLE e FENIX de apoio à disciplina (a plataforma principal é a MOODLE, mas os sumários aparecem na FENIX).

Especificação de uma linguagem da lógica de primeira-ordem: constantes (ou nomes) e símbolos relacionais (ou predicativos) com respetiva aridade. Exemplos. O papel semântico das constantes é referir um objeto do domínio do discurso. O papel semântico dos símbolos relacionais é exprimir relações (entre objetos do domínio do discurso). Exemplos de interpretações. Sentenças (atómicas) verdadeiras e sentenças (atómicas) falsas.