T_2

9 Outubro 2020, 09:30 • Mário Jorge Edmundo

Interpretação de uma LPO's; termos fechados e sentenças atómicas numa interpretação; valor lógico de uma sentença atómica numa interpretação; exemplo. Reflexividade e princípio da substituição para a igualdade. Conectivos booleanos e sentenças com conectivos booleanos; nota sobre parênteses e traduções para a linguagem natural. A semântica dos conectivos booleanos. Exemplo: a LPO dos mundos de blocos (incluindo os símbolos funcionais), interpretações (mundos de blocos), sentenças atómicas e o seu valor de verdade num mundo de blocos.