Lógica Proposicional

Lógica Proposicional

Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposieçõs que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como " teoremas" do sistema formal.

Em termos gerais, um cálculo é frequentemente apresentado como um sistema formal que consiste em um conjunto de expressões sintáticas (fórmulas bem formadas, ou fbfs), um subconjunto distinto dessas expressões, e um conjunto de regras formais que define uma relação binária específica, que se pretende interpretar como a noção de equivalência lógica, no espaço das expressões.

Quando o sistema formal tem o propósito de ser um sistema lógico, as expressões devem ser interpretadas como asserções matemáticas, e as regras, conhecidas como regras de inferência, normalmente são preservadoras da verdade. Nessa configuração, as regras (que podem incluir axiomas) podem então ser usadas para derivar "inferir" fórmulas representando asserções verdadeiras.

O conjunto de axiomas pode ser vazio, um conjunto finito não vazio, um conjunto finito enumerável, ou pode ser dado por axiomas esquemáticos. Uma gramática formal define recursivamente as expressões e fórmulas bem formadas (fbfs) da linguagem. Além disso, pode se apresentar uma semântica para definir verdade e valorações (ou interpretações).

A linguagem de um cálculo proposicional consiste em:

• um conjunto de símbolos primitivos, definidos como fórmulas atômicas, proposições atômicas, ou variáveis, e

• um conjunto de operadores, interpretados como operadores lógicos ou conectivos lógicos.

Uma fórmula bem formada (fbf) é qualquer fórmula atômica ou qualquer fórmula que pode ser construída a partir de fórmulas atômicas, usando conectivos de acordo com as regras da gramática.

O que segue define um cálculo proposicional padrão. Existem muitas formulações diferentes as quais são todas mais ou menos equivalentes mas que diferem nos detalhes:

• de sua linguagem, que é a coleção particular de símbolos primitivos e operadores,

• do conjunto de axiomas, ou fórmulas distinguidas, e

• do conjunto de regras de inferência.

Abstração e Aplicações

Embora seja possível construir um cálculo abstrato formal que não tem uso prático imediato e praticamente nenhuma aplicação óbvia, o nome cálculo indica que esta espécie de sistema formal tem sua origem na utilidade de seus membros protópicos no cálculo prático. Em geral, qualquer cálculo matemático é criado com a intenção de representar um certo domínio de objetos formais, e tipicamente com o objetivo de facilitar as computações e inferências que precisam ser realizadas sobre esta representação. Assim, antes de se desenvolver o próprio cálculo, deve-se dar uma idéia da sua denotação pretendida, isto é, dos objetivos formais que se pretende denotar com as fórmulas do cálculo.

Visto ao longo de seu desenvolvimento histórico, um cálculo formal para qualquer tópico de estudo normalmente surge através de um processo de abstração gradual, refinamento passo-a-passo, e síntese por tentativa e erro a partir de um conjunto de sistemas notacionais informais prévios, cada um dos quais tratando do mesmo domínio de objetos apenas em parte ou de um ângulo em particular.

Escrição Genérica de um Cálculo Proposicional

A lógica proposicional tem como objetivo modelar o raciocínio humano, partindo de frases declarativas (proposições). Para entender melhor o que é uma proposição considere a frase “1 mais 1 é igual a 10” ou simbolicamente, “1 + 1 = 10”. Esta frase é uma proposição no sentido de que ela é uma asserção declarativa, ou seja, afirma ou nega um fato, e tem um valor de verdade, que pode ser verdadeiro ou falso. Neste caso, num sistema de numeração de base 2, a proposição anterior seria verdadeira, enquanto que no sistema decimal seria falsa. Um outro exemplo é a afirmação “hoje é um dia quente” cujo valor de verdade vai depender de vários fatores: o local sobre o qual implicitamente se está falando, os instrumentos de medidas e de comparação (quais os dados estatísticos de temperatura dessa região), e principalmente de quem está avaliando (duas pessoas, mesmo considerando as mesmas condições nos itens anteriores, podem avaliar diferentemente). Ou seja, o valor verdade de uma proposição não é um conceito absoluto, mas depende de um contexto interpretativo. Há inclusive proposições, que mesmo num contexto interpretativo claro e não ambíguo, para as quais não é possível estabelecer de forma inquestionável sua veracidade ou falsidade (pelo menos com o conhecimento atual da humanidade). Mas, em lógica, o importante não é o valor de verdade que uma proposição possa tomar num determinado contexto interpretativo, mas a possibilidade de que “em princípio” seja possível atribuir um valor de verdade, e que seja possível raciocinar com estas proposições.

A lógica proposicional estuda como raciocinar com afirmações que podem ser verdadeiras ou falsas, ou ainda como construir a partir de um certo conjunto de hipóteses (proposições verdadeiras num determinado contexto) uma demonstração de que uma determinada conclusão é verdadeira no mesmo contexto. Assim, são fundamentais as noções de proposição, verdade, dedução e demonstração. A lógica proposicional clássica é um dos exemplos mais simples de lógica formal. Esta lógica leva em conta, somente, os valores de verdade verdadeiro e falso e a forma das proposições. O estudo detalhado dessa lógica é importante porque ela contém quase todos os conceitos importantes necessários para o estudo de lógicas mais complexas.

Escrição

Um cálculo proposicional é um sistema formal cujas fórmulas são construídas da seguinte maneira:

• O conjunto alfa é um conjunto finito de elementos chamados símbolos de proposição, ou variáveis proposicionais ou simplesmente átomos. Sintaticamente falando, estes são os elementos mais básicos da linguagem formal , também referidos como fórmulas atômicaselementos terminais. Nos exemplos a seguir, os elementos de são tipicamente as letras , em diante. ou
• O conjunto omega é um conjunto finito de elementos chamados símbolos de operadoresconectivos lógicos. O conjunto é dividido entre os seguintes conjuntos distintos: ou

Nesta divisão, é o conjunto dos símbolos de aridade .

Nos cálculos proposicionais mais familiares, é tipicamente particionado em termos de:

Uma opção frequentemente adotada é tratar os valores lógicos constantes como operadores de aridade zero. Assim:

Alguns autores usam o til (~) ao invés de (¬); e algums usam o (&) ou () ao invés de (∧). A notação varia ainda mais para o conjunto de valores lógicos, com símbolos como {falso, verdadeiro}, {F, V}, ou {0, 1} todos sendo usados em vários contextos ao invés de {, }.

• Dependendo da gramática formal específica que se está usando, auxiliares sintáticos tais como o parêntese esquerdo, “(”, e o parêntese direito, “)”, podem ser necessários para completar a construção das fórmulas.

A linguagem de , também conhecida como o seu conjunto de fórmulas, fórmulas bem formadas fbfs, é definida recursiva ou indutivamente pelas seguintes regras: ou

1. Base. Qualquer elemento do conjunto alpha é fórmula de .
2. Passo (a). Se é uma fórmula, então ¬, é uma fórmula.
3. Passo (b). Se e são fórmulas, então ( ∧ ), ( ∨ ), ( → ), e ( ↔ ) são fórmulas.
4. Fechado. Nada mais é uma fórmula de .

Aplicações relacionadas dessas regras permitem a construção de fórmulas complexas. Por exemplo:

1. Pela regra 1, é uma fórmula.
2. Pela regra 2, ¬ é uma fórmula.
3. Pela regra 1, é uma fórmula.
4. Pela regra 3, (¬ ∨ ) é uma fórmula.

• O conjunto zeta é um conjunto finito de regras de transformação que são conhecidas como regras de inferência do ponto de vista das aplicações lógicas.
• O conjunto iota é um conjunto finito de pontos iniciais que são chamados de axiomas quando eles recebem interpretações lógicas.