Lógica Proposicional

28 de agosto de 2014

1 A Linguagem L da Lógica Proposicional

A Lógica Proposicional é construída a partir de uma linguagem artificial que chamaremos de “a
Linguagem L”. Como toda linguagem, a Linguagem L é constituída de uma sintaxe e de uma
semântica. A sintaxe de uma linguagem preocupa-se com o vocabulário inicial e com regras de
formação de “expressões" bem-formadas a partir deste vocabulário. A semântica está preocupada
com a significação destas expressões bem-formadas.

2 A Sintaxe
O vocabulário (inicial) de nossa Linguagem L é constituída dos seguintes símbolos:

1. Letras Proposicionais (infinitas): p, q, r, s, t,...p1 , q1 , r1 ,... p2 , q2 , ...

2. Conectivos Lógicos: ∼ (negação), & (conjunção), ∨ (disjunção), → (implicação material) e ≡
(equivalência material, bi-implicação).
3. Sinais de Pontuação: ( , ).

Definição de Fórmula
Definição 1 (Fórmula) Fórmula (da Linguagem L) é toda sequência finita contendo os símbolos
(e apenas estes) do nosso vocabulário (inicial).

Exemplos de fórmulas: p1 ( , &q20 ≡ (p10000000 , (p1 p2 ∨ ∼ p67 )

Exemplos de não-fórmulas: Q1 , ¬p2 , q1 ∧ q2

Definição de Fórmula bem-Formada

Definição 2 (Fórmula bem-formada) Uma fórmula bem-formada (da linguagem L) é toda fór-
mula que satisfaz as seguintes condições:

1. toda letra proposicional é uma fórmula bem-formada1 , isto é, p, q,...p1 , q1 ,... p2 , q2 , ... são
fórmulas bem-formadas.
1 Note que elas também são fórmulas.

1
 2. Se α for uma fórmula bem-formada, então (∼ α) será bem formada2 .
3. Se α e β forem fórmulas bem-formadas, então (α&β) será uma fórmula bem-formada.
4. Se α e β forem fórmulas bem-formadas, então (α ∨ β) será uma fórmula bem-formada.
5. Se α e β forem fórmulas bem-formadas, então (α → β) será uma fórmula bem-formada.
6. Se α e β forem fórmulas bem-formadas, então (α ≡ β) será uma fórmula bem-formada.
7. Nada mais é fórmula bem-formada.

Exemplos de fórmulas bem-formadas: q300000 , (q1 → p100 ) , (∼ p200 )

((q1 ∨ p2 ) ≡ (r5 → p9 ))
Exemplos de fórmulas não-bem-formadas: p1 (3 , ∼ p1 , p1 ∨ p3
, (((∼ p1 ) ∨ p1 ) → p3

3 Semântica
A semântica da Lógica Proposicional depende de uma função interpretação I que atribui a cada
letra proposicional um dos dois valores de verdade: o Verdadeiro (V) ou o Falso (F). Portanto, dada
uma letra proposicional p1 (por exemplo), em uma interpretação I1 , ela pode receber o valor V,
mas em outra interpretação I2 , ela pode receber o valor F. O que é importante é ter em mente que
uma letra proposicional pode receber ou V ou F, pois será com isto que construiremos as tabelas de
verdade. As letras proposicionais são chamadas de fórmulas atômicas. Fórmulas bem-formadas
constituídas por fórmulas atômicas e conectivos lógicos serão chamadas de fórmulas moleculares.
Assim, por exemplo, as seguintes fórmulas bem-formadas são moleculares:
(∼ p1 ) , (p1 → p2 ) , (p1 &p2 ) , (p1 ∨ p2 ) , (p1 ≡ p2 )
O valor semântico (o valor de verdade) das fórmulas moleculares é dependente do valor semântico
(valor de verdade) das fórmulas atômicas e do significado semântico dos conectivos lógicos que as
constituem.

Estipulações Semânticas
Assim, estipularemos o significado semântico de cada conectivo lógico.
Definição 3 Definição semântica dos conectivos lógicos
1. Se α for uma fórmula bem-formada, então (∼ α) será Verdadeiro justamente quando α for
falso e (∼ α) será Falso justamente quando α for Verdadeiro. Ou seja, a negação “troca” o
valor de verdade.
2. Se α e β forem fórmulas bem-formadas, então (α&β) será Verdadeiro justamente quando α e
β forem Verdadeiros e (α&β) será Falso, justamente quando ou α ou β (ou ambos) for(em)
Falso(s).
2 ‘α’
é uma metavariável, portanto, não pertence à Linguagem L.
3 Nem toda fórmula é fórmula bem-formada, embora toda fórmula bem-formada seja necessariamente uma fórmula.
Isto significa que o conjunto das fórmulas bem-formadas é um subconjunto do conjunto das fórmulas.

2
 3. Se α e β forem fórmulas bem-formadas, então (α ∨ β) será Verdadeiro justamente quando α
ou β (ou ambos) for(em) Verdadeiro(s) e (α ∨ β) será Falso, justamente quando α e β forem
Falsos.

Definição semântica dos conectivos lógicos

Definição 4 Definição semântica dos conectivos lógicos
4. Se α e β forem fórmulas bem-formadas, então (α → β) será Verdadeiro justamente quando α
for falso ou β for Verdadeiro e (α → β) será Falso, justamente quando α for verdadeiro e β
for Falso.
5. Se α e β forem fórmulas bem-formadas, então (α ≡ β) será Verdadeiro justamente quando α
e β tiverem o mesmo valor de verdade e (α ≡ β) será Falso, justamente quando α e β não
tiverem o mesmo valor de verdade.

Tabela de Verdade - Negação

De acordo com as definições acima, temos as seguintes tabelas de verdade para os conectivos lógicos:
Negação

α (∼ α)
V F
F V

Tabela 1: Tabela de verdade da negação

Tabela de Verdade - Conjunção

Conjunção

α β (α&β)
V V V
V F F
F V F
F F F

Tabela 2: Tabela de verdade da conjunção

Tabela de Verdade - Disjunção

Disjunção

3
 α β (α ∨ β)
V V V
V F V
F V V
F F F

Tabela 3: Tabela de verdade da disjunção

Tabela de Verdade - Implicação Material

Implicação material

α β (α → β)
V V V
V F F
F V V
F F V

Tabela 4: Tabela de verdade da implicação

Tabela de Verdade - Equivalência Material4

Equivalência material (bi-implicação)

α β (α ≡ β)
V V V
V F F
F V F
F F V

Tabela 5: Tabela de verdade da equivalência

4 Definição de Tautologia, Contradição e Contingência

Definição 5 Definiremos agora quando uma fórmula bem-formada é tautologia ou contradição ou
contingente.
1. Tautologia: uma fórmula bem-formada α será uma tautologia justamente quando ela for
sempre Verdadeira independente das atribuições de valores de verdades dadas às suas letras
proposicionais (fórmulas atômicas). Exemplo: (p1 → (p1 ∨ p2 ))
4 Se uma fórmula bem-formada tiver n letras proposicionais, então sua tabela de verdade terá 2n linhas.

4
 2. Contradição: uma fórmula bem-formada α será uma contradição justamente quando ela
for sempre Falsa independente das atribuições de valores de verdades dadas às suas letras
proposicionais (fórmulas atômicas). Exemplo: (p1 &(∼ p1 ))
3. Contingente: uma fórmula bem-formada α será contingente se ela não for nem uma tauto-
logia, nem uma contradição. Exemplo: p1 , (∼ p1 ), (p1 → p2 ).

5 Definição de Consequência Lógica

Definição 6 Consequência lógica
1. Uma fórmula bem-formada β será consequência lógica de uma fórmula bem-formada α — em
símbolos: α |= β — se NÃO FOR POSSÍVEL que α seja Verdadeira e β, Falsa.
2. Uma fórmula bem-formada β será consequência lógica de um conjunto Γ de fórmulas bem-
formadas — em símbolos: Γ |= β — se NÃO FOR POSSÍVEL que cada uma das fórmulas
que pertencem a Γ sejam Verdadeiras e β, Falsa.

Exemplos
1. Toda fórmula bem-formada é consequência lógica de si mesma:
p1 |= p1 ,
p100 |= p100 ;
(p1 &p2 ) |= (p1 &p2 )
2. Se uma fórmula bem-formada pertence a um conjunto Γ de fórmulas bem-formadas, então ela
é uma consequência lógica deste conjunto: p1 , (p2 → p3 ), p54 |= p1 5 ;
p1 , (p2 → p3 ), p54 |= (p2 → p3 );
p1 , (p2 → p3 ), p54 |= p54

3. Qualquer fórmula bem-formada é uma consequência lógica de uma contradição:

(p1 &(∼ p1 )) |= p1 ;
(p1 &(∼ p1 )) |= p2 ;
(p1 &(∼ p1 )) |= (p1 ∨ (∼ p1 ));
(p1 &(∼ p1 )) |= (∼ (p1 ∨ (∼ p1 )))

Exemplos
4. Qualquer fórmula bem-formada é uma consequência lógica de um conjunto contraditório de
fórmulas bem-formadas6 :
p1 , (∼ p1 ), (p1 ∨ p2 ) |= p100 ;
p1 , (p1 → p2 ), (∼ (p1 → p2 )) |= ((p3 ∨ p20 ) → p5 )
5 Deveríamosescrever assim: {p1 , (p2 → p3 ), p54 } |= p1 , mas convencionaremos escrever sem as chaves.
6 Umconjunto de fórmulas bem-formadas será contraditório se for impossível que todas as fórmulas que pertencem
ao conjunto sejam verdadeiras ao mesmo tempo.

5
 5. Toda tautologia é consequência lógica de qualquer fórmula bem-formada:
p1 |= (p10 ∨ (∼ p10 ));
p6 |= (p10 ∨ (∼ p10 ));
(p1 → p6 ) |= (p10 ∨ (∼ p10 ));
(p1 &(∼ p1 )) |= (p10 ∨ (∼ p10 ))

6. Toda tautologia é consequência lógica de qualquer conjunto de fórmulas bem-formadas.

6 Definição de Equivalência Lógica

Definição 7 Equivalência lógica

1. Fórmulas bem-formadas α e β serão lógicamente equivalentes se e somente se α |= β e β |= α.

OBS - duas fórmulas bem-formadas serão logicamente equivalentes se elas tiverem a mesma tabela
de verdade.
Exemplos
(p1 & p2 ) e (p2 & p1 ) são logicamente equivalentes.
(p → q) e (∼ (p & (∼ q))) são logicamente equivalentes.
(p & q) e (∼ (p → (∼ q))) são logicamente equivalentes.
(p ≡ q) e ((p → q) & (q → p)) são logicamente equivalentes.