Sumários

A linguagem de primeira ordem dos mundos de blocos

14 Outubro 2021, 10:30 • Maria João Antunes Dias Gouveia

Apresentação de um mundo de blocos para criar oportunidade de recordar os símbolos funcionais e de predicado e sua interpretação.Resolução dos exercícios 2, 4 e 5 do caderno de exercícios disponibilizado na página Moodle da disciplina.
TPC: ex1 e conclusão do exercício 5.

TP14_1

13 Outubro 2021, 09:30 • Mário Jorge Edmundo

Revisão: termos fechados, símbolo da igualdade, sentenças atómicas. Exemplos de termos fechados, sentenças atómicas e expressões mal formadas numa LPO. Resolução dos exercícios 10 e 11.

TP13_2

13 Outubro 2021, 08:00 • Mário Jorge Edmundo

A LPO dos mundos de blocos, exemplos de sentenças atómicas e respectivos valores lógicos num mundo de blocos. Resolução dos exercícios 2, 4 e 5 (alguns mundos).

T_2

12 Outubro 2021, 10:30 • Mário Jorge Edmundo

Conclusão da aula anterior: notação prefixa e infixa para termos fechados, exemplo; símbolo da igualdade; sentenças atómicas, exemplo; notação prefixa e infixa para sentenças atómicas, exemplo. 


Interpretação de uma LPO; a semântica das sentenças atómicas, exemplo. A semântica da igualdade (reflexividade e princípio da substituição para a igualdade). Os conectivos booleanos (negação, conjunção e disjunção). Parênteses, exemplo. A semântica dos conectivos booleanos 

TP11_1

12 Outubro 2021, 08:00 • Mário Jorge Edmundo

Revisão: termos fechados, símbolo da igualdade, sentenças atómicas. Exemplos de termos fechados, sentenças atómicas e expressões mal formadas numa LPO. Resolução dos exercícios 10 e 11.