T16

12 Novembro 2019, 10:30 • Mário Jorge Edmundo

A semântica das fórmulas com variáveis livre é exprimir, no domínio de cada interpretação da linguagem, condições nessas variáveis, condições, condição universal, condição possível. O papel semântico de uma fórmula sem variáveis livres é exprimir, numa dada interpretação da linguagem, uma sentença, cujo valor lógico é determinado por indução na construção da fórmula, em particular  se a fórmula é precedida de um quantificador universal (resp. existencial) ela é verdadeira se e só se a condição na variável quantificada é universal (resp. possível). Exemplos de fórmulas e do valor lógico das mesmas numa interpretação.