T2

20 Setembro 2019, 09:30 • Mário Jorge Edmundo

Exemplos de LPO e termos fechados (conclusão); notação prefixa e infixa para termos fechados. O símbolo de igualdade e o seu papel semântico. Sentenças atómicas e o seu papel semântico; sentenças, valor lógico, princípio da não contradição. Interpretações de LPO's.