Lógicas das Proposições
Semântica da Lógica Proposicional
- A semântica é definida especificando a interpretação dos símbolos da proposição e especificando o significado dos conectivos lógicos.
- Uma fórmula tem uma interpretação a qual define a semântica da linguagem. A interpretação pode ser considerada um mapeamento do conjunto das fórmulas para um conjunto de valores de verdade, que na Lógica dicotômica é o conjunto {verdadeiro,falso} ou {V,F}.