T2

23 Setembro 2022, 09:30 • Mário Jorge Edmundo

Interpretação de uma LPO, a semântica das sentenças atómicas, exemplos, nota sobre a reflexividade e o princípio da substituição para a igualdade, os conectivos booleanos, a semântica das conectivos booleanos, nota sobre os parênteses, exemplos de sentenças com conectivos booleanos, respectivas traduções e valor lógico numa interpretação.