Consideremos as seguintes sentenças atômicas:
p: O time joga bem.
q: O time ganha o campeonato.
r: O técnico é o culpado.
s: Os torcedores estão felizes.
Consideremos as seguintes sentenças atômicas:
p: O time joga bem.
q: O time ganha o campeonato.
r: O técnico é o culpado.
s: Os torcedores estão felizes.
4.1. Interpretação e Valoração
Os objetos fundamentais da lógica simbólica são as fórmulas que modelam declarações matemáticas, as deduções que modelam o raciocínio matemático e a semântica que define o “significado” das fórmulas. Uma interpretação das fórmulas é uma função que associa a qualquer fórmula um objeto em uma estrutura abstrata chamada modelo que permite definir a validade das fórmulas. No nosso caso, a lógica proposicional, as fórmulas assumem um de dois valores, ou (‘falso’ ou ‘verdadeiro’), a que chamamos de valores-verdade (o modelo é a álgebra booleana). O valor-verdade de uma fórmula depende dos valores de seus componentes proposicionais atômicos.
Continuar lendo
A linguagem que usamos nas demostrações é uma linguagem natural, como o português e o inglês. O estudo formal das deduções matematicamente corretas é feito na Lógica Matemática. Os lógicos contemporâneos