01/09/2014

Captulo 1
A linguagem da Lgica
Proposicional

01/09/2014

Introduo
O estudo da Lgica fundamentado
em:
Especificao de uma linguagem
Estudo de mtodos que produzam ou
verifiquem as frmulas ou argumentos
vlidos.
Definio de sistemas de deduo
formal.

Introduo
Nas linguagens naturais, as sentenas
podem ser classificadas como:
Interrogativas
Imperativas
Declarativas

Nosso objeto de estudos sero as

sentenas DECLARATIVAS.

01/09/2014

Introduo
Proposio: a portadora primria da
verdade ou falsidade.
Uma proposio no pode ser uma
sentena ambgua.
A preocupao da Lgica Formal a
forma dos argumentos e no seu
contedo.

Introduo
Alfabeto da Lgica Proposicional
Definio 1.1 (alfabeto) O alfabeto da
Lgica Proposicional constitudo por:
smbolos de pontuao: (; );
smbolos de verdade: true, false;
smbolos proposicionais:
P; Q; R; S; P1; Q1; R1; S1; P2; Q2; ...;
conectivos proposicionais: , , , , .

01/09/2014

Frmulas da Lgica Proposicional

Definio 1.2 (frmula) As frmulas da
linguagem da Lgica Proposicional so
construdas, de forma indutiva, a partir
dos smbolos do alfabeto conforme as
regras a seguir. O conjunto das frmulas
o menor conjunto que satisfaz as
regras:
todo smbolo de verdade uma frmula;
todo smbolo proposicional uma frmula;
se H uma frmula, ento (H), a negao
de H, uma frmula;

Frmulas da Lgica Proposicional

Definio 1.2 (frmula)
se H e G so frmulas, ento a disjuno de H e
G; dada por: (H G); uma frmula;
se H e G so frmulas, ento a conjuno de H e
G; dada por: (H G); uma frmula;
se H e G so frmulas, ento a implicao de H
em G; dada por: (H G); uma frmula. Nesse
caso, H o antecedente e G o conseqente da
frmula (H G);
se H e G so frmulas, ento a bi-implicao de
H e G; dada por: (H G); uma frmula.
Nesse caso, H o lado esquerdo e G o lado
direito da frmula (H G).

01/09/2014

Notao:
Neste livro, os parnteses ou smbolos de
pontuao das frmulas so omitidos quando
no h problemas sobre a sua interpretao.
Alm disso, as frmulas podem ser escritas em
vrias linhas para uma melhor leitura. Assim, a
frmula:
(((P R) true) (Q S))
pode ser escrita como
(P R) true

QS
ou ainda como
((P R) true) (Q S).

Ordem de Precedncia
Definio 1.3 (ordem de precedncia)
Na Lgica Proposicional, a ordem de
precedncia dos conectivos
proposicionais definida por:
maior precedncia: ;
precedncia intermediria: , ;
menor precedncia: , .

01/09/2014

Linguagem-objeto e Metalinguagem
Variveis
Notao. Os smbolos proposicionais so
representados por variveis do tipo:
P#, com possveis subndices.
Neste caso, temos a letra P com um pequeno
risco na parte de cima.
Isso significa, por exemplo, que P#1 pode
representar qualquer um dos smbolos
P, Q, R, S, P1, Q1, R1, S1, P2 ...
As variveis A, B, C, D, E, H e G com possveis
subndices representam frmulas.
A varivel H2 pode representar, por exemplo,
a frmula (P Q).

Linguagem-objeto e Metalinguagem
Letras como P, A, B, C, D, E e H so
elementos da metalinguagem que
representam smbolos proposicionais e
frmulas em geral da Lgica
Proposicional.
Isso significa que, a rigor,
(P1 P2)
no uma frmula da Lgica
Proposicional.
Essa expresso a representao de
frmulas do tipo
(P Q), (R S), etc.

01/09/2014

Linguagem-objeto e Metalinguagem
Do mesmo modo, (H G) no uma
frmula, mas a representao de
frmulas do tipo
((PQ) (RS)),
onde H substituda por (P Q)
e G por (R S).
Geralmente, expresses do tipo
(P1 P2) e (H G)
so denominadas esquemas de frmulas.

Alguns Elementos Sintticos das

Frmulas
Definio 1.4 (comprimento de uma frmula)
Seja H uma frmula da Lgica Proposicional.
O comprimento de H, denotado por comp[H],
definido como se segue.
Se H = P ou um smbolo de verdade, ento
comp[H] = 1;
Comp[H] = comp[H] + 1;
comp[H G] = comp[H] + comp[G] + 1;
comp[H G] = comp[H] + comp [G] + 1;
comp[H G] = comp[H] + comp[G] + 1;
comp[H G] = comp[H] + comp[G] + 1.

01/09/2014

Definio 1.5 (subfrmula) Seja H uma

frmula da Lgica Proposicional,
ento:
H uma subfrmula de H;
se H uma frmula do tipo (G),
ento G uma subfrmula de H;
se H uma frmula do tipo: (G E),
(G E), (G E) ou (G E),
ento G e E so subfrmulas de H;
se G subfrmula de H, ento toda
subfrmula de G subfrmula de H.