UNIDADE II

Introduo LGICA
MATEMTICA


Lgica o estudo dos mecanismos de raciocnio (os que so vlidos, e os que so falaciosos).
Lgica Matemtica o estudo das inferncias vlidas dentro de uma linguagem formal (em
oposio a linguagem informal). Uma linguagem formal um conjunto de smbolos e um
conjunto de regras para combin-los.

Nosso objetivo, nesta unidade, que, ao final dela, voc domine as mais bsicas noes e
propriedades da parte mais fcil e bsica da Lgica Matemtica, que a Lgica Proposicional,
podendo verificar se suas frmulas so sintaticamente bem formadas, sabendo corretamente
derivar se frmulas a partir de outras, decidir se frmulas so semanticamente verdadeiras ou
falsas, se so satisfatveis ou no, se so tautologias ou no, se inferncias so vlidas ou no,
etc. S assim voc ser capaz de, ainda nesta atual disciplina, vencer duas futuras unidades (III
e IV), sobre mtodos de prova de teoremas; e, no futuro, ser capaz de acompanhar a
disciplina Agentes Inteligentes e, talvez, outras disciplinas complementares optativas.

Lembre: Estamos torcendo por voc. O frum de alunos, os tutores, e eu (o professor)
queremos e vamos ajud-lo (nessa ordem), mas voc tem que ser determinado e disciplinado,
cada semana dedicando 4 a 8 horas para estudar este livro, entender e reter os
exemplos, resolver sozinho pelo menos 1/3 dos exerccios propostos, sumariar em sua mente
os principais pontos desta unidade.

Contedo desta unidade:
2.1. Motivao. Lgica. Porque s Veremos a Lgica Proposicional
2.2. A Linguagem da Lgica Proposicional
2.3. Regras de Inferncia. Sistemas Formais. Sistema Natural de Inferncia
2.4. Sanidade, Completude, Consistncia. Os Problemas da Satisfatibilidade e da
Tautologia. Modelo e Teoria


Se voc quiser ver o assunto mais explicada e profundamente, no precisar
de mais que os livros textos da ementa da disciplina. Outro bom livro
Introduo Lgica para a Cincia da Computao (Abe, Scalzitti, Silva Filho).
Mas, para escrever esta unidade, alm deles tambm usamos (mais como
esqueleto mestre e plano geral e ordem de apresentao) partes do artigo A
First Look at Propositional Logic, por Andreas Klappenecker,
http://faculty.cs.tamu.edu/klappi/cpsc289-f08/propositional_logic.pdf. Alguns
exemplos e problemas devem-se aos livros-texto, outros Professora. Virgnia
Maria Rodrigues, em http://www.pucrs.br/famat/demat/facin/estrualg.htm;
outros, Professora. Maria Helena Santos Marques
http://www.estig.ipbeja.pt/~mhsm/mat_dis_informacoes.htm; outros, ao
aluno http://www.danielclemente.com/logica/dn.en.html; e outras fontes que
sero indicadas.



2.1. Motivao. Lgica. Porque s Veremos a Lgica
Proposicional

Lgica o estudo dos mecanismos de raciocnio (os que so vlidos, e os que so
falaciosos).
Lgica Matemtica o estudo das inferncias vlidas dentro de uma linguagem formal (em
oposio a linguagem informal), onde uma linguagem formal um conjunto de smbolos e um
conjunto de regras para combin-los. A Lgica Matemtica pode ser dividida em lgicas
clssicas e no clssicas.
Lgicas Matemticas Clssicas so aquelas que compartilham das seguintes
caractersticas bsicas:
- Lei do terceiro excludo (cada proposio verdadeira ou falsa, no havendo
nenhuma outra possibilidade entre ou alm dessas duas) e eliminao da dupla
negao (uma negao de uma negao equivale a uma afirmao);
- Lei da no contradio (declaraes contraditrias no podem ambas ser verdadeiras
no mesmo sentido e ao mesmo tempo), e o princpio da exploso (se aceitssemos uma
contradio como uma verdade, tudo poderia ser deduzido);
- Monotonicidade de vinculao (uma proposio que teve um valor Verdade ou Falso a
ela atribudo sempre o continuar a ter, e podemos livremente adicionar outras
proposies como suposies suas companheiras, desde que no a contrariem) e
idempotncia de vinculao (de muitas maneiras deduzir um mesmo valor Verdade ou
Falso para uma declarao no tem nenhum valor a mais que deduzi-lo uma s vez);
- Comutatividade da conjuno (a proposio A e B o mesmo que a proposio B e
A);
- Dualidade de De Morgan: cada conectivo lgico dual de outro (detalhes mais
adiante).

H muitas razes para voc estudar Lgica Matemtica (clssica), pois ela a indispensvel
base para todas as provas de teoremas da Matemtica, para voc provar que um programa
correto, para voc conceber e projetar circuitos lgicos, e muitas e importantes outras coisas. O
estudo da Lgica Matemtica to importante e fascinante que poderia ser uma disciplina em
si. Seja como for, no curso de Licenciatura em Computao ela j cerca de um quarto de uma
das disciplinas complementares optativas do curso, a disciplina Agentes Inteligentes. Pela nossa
exiguidade de tempo de estudo e de espao nesta disciplina e livro, s poderemos estudar a
primeira e mais fcil parte da Lgica Matemtica, isto , a Lgica Proposicional, que no tem
variveis. Em Agentes Inteligentes voc proceder para a Lgica de 1 Ordem. Dominar a
Lgica Proposicional agora ser muito necessrio para voc fazer o resto desta disciplina, e do
curso, e depois, para certos aspectos de sua vida profissional.

Uma proposio (ou sentena) uma declarao que verdadeira ou falsa. Dois
exemplos: Joo honesto; o sol quadrado.
Lgica Proposicional (ou sentencial) estuda como proposies verdadeiras podem ser
combinadas por meio de conectivos para produzir outras afirmaes verdadeiras. Um exemplo:
Se supusermos que ambas as proposies o co branco e o co manso so verdadeiras,
ento podemos combin-las na afirmao o co branco e o co manso e podemos inferir
que ela verdadeira. No entanto, se constatarmos que a segunda afirmativa falsa, ento
podemos concluir que a afirmativa combinada tambm falsa. Lgica Proposicional nos permite
formalizar tais declaraes e raciocnios, com a vantagem colateral de que ficaro mais concisos
[e frequentemente removero a ambiguidade da linguagem natural e as fraquezas do raciocnio
natural]: Podemos chamar de A a primeira proposio (o co branco) e de B a segunda (o
co manso), ento a declarao combinada A e B se expressa na Lgica Proposicional na
forma A.B, onde . um conectivo que formaliza a palavra 'e'.



2.2. A Linguagem da Lgica Proposicional

A Lgica Proposicional tem uma linguagem artificial que chamaremos de
( uma letra do alfabeto do
latim antigo, usada como smbolo da unidade monetria romana, a libra. Os exigentes pronunciam como libra, os no exigentes como nossa
letra l le)
. Como toda linguagem, tem um sintaxe e uma semntica. A sintaxe de uma
linguagem preocupa-se com sua forma: o vocabulrio inicial e as regras de formao de
expresses" bem- formadas a partir dele. A semntica est preocupada com o significado
destas expresses bem- formadas.



2.2.1. A Sintaxe de

O vocabulrio (inicial) de constitudo dos seguintes smbolos:
letras proposicionais (ou smbolos
de proposies) (em nmero infinito
mas contvel):
a, a
0
, a
1
, ..., b, b
0
, b
1
, ... , z, z
0
, z
1
...
conectivos
lgicos:

// ler no),
// ler e) ,
// ler ou- excludente),
// ler ou),
// ler implica, ou se, ou se- ento, ou implicao material, ou
condicional),
// ler se- e- somente- se, ou equivale- a, ou implica- nos- dois-
sentidos, ou equivalncia material, ou bicondicional)

H quem acrescente outros conectivos: nor () a negao do v; nand () a
negao do .; e outros; mas podemos viver sem eles, por isso vamos deix-los
de fora. Tambm poderamos viver sem o , o e o , mas os conservamos
pela sua convenincia.
sinais de
pontuao:
( // ler abre- parnteses
) // ler fecha-parnteses

Uma frmula de toda sequncia finita contendo smbolos somente do seu vocabulrio.
EXEMPLO 1: So frmulas:
)p
1

p
20
))p
10000000

(p
1
.p
2
p
67
)
EXEMPLO 2: no so frmulas:
#
1
// porque no previmos #
1
no
vocabulrio
p
2
// porque no pertence ao
vocabulrio de
q
1
&q
2
// porque & no pertence ao
vocabulrio de

Uma frmula bem formada (fbf) de toda frmula que satisfaz as seguintes condies:
V,F so fbfs
Toda letra proposicional uma frmula que tambm uma fbf, isto , p
1
, p
2
, p
3
, p
4
,...
so fbfs.
Se o for uma fbf, ento o ser uma fbf.
// o uma metavarivel, isto , no pertence linguagem , apenas um
nome genrico, a ser instanciado para ser qualquer nome realmente
pertencente a .
Se o e forem fbfs, ento o ser uma fbf.
Se o e forem fbfs, ento o ser uma fbf.
Se o e forem fbfs, ento o ser uma fbf.
Se o e forem fbfs, ento (o) ser uma fbf.
Se o e forem fbfs, ento o ser uma fbf.
Se o for uma fbf, ento (o) ser uma fbf.
Nada mais fbf.

Ambiguidades (quando as regras acima lhe deixarem em dvida sobre que operao
fazer primeiro, porque mais de uma delas pode ser aplicada) so resolvidas atravs da
ordem de precedncia para os operadores (que, de maior para menor,
) ou atravs de parnteses. Por exemplo,
PQRS
equivalente a (P)(QR))S // primeiro fizemos todos os
de 1 nvel da fbf, depois todos os , depois todos os , finalmente todos os

EXEMPLO 3: So fbfs:
p
123
, (p
1
) (p
1
p
2
), (p
2
p
1
), (p
5
p
6
), ((p
1
p
2
)(p
3
p
4
))

EXEMPLO 4: So frmulas no bem- formadas:
p
1
(8 // falta um fecha parnteses, e 8 no uma letra proposicional
p
1
// o problema o espao em branco entre e p
1

p
1
. p
3
// o problema so os espaos em branco ao redor de .
(((p
1
)p
1
)p
3
// os abre-parnteses e fecha-parnteses no casam
(((p
1
)))p
3
// falta o 2 argumento do

Somente quando voc chegar disciplina Teoria da Computao estudar o formalismo
chamado de Forma de Backus- Naur (em ingls, BNF, abreviao de Backus Naur Form), usado
para especificar a parte livre- de- contexto das linguagens de programao. Mas como ele
muito intuitivo, veja em BNF a mesma definio de fbf que foi escrita pouco acima:
<fbf> ::= <fbf>
| <fbf>.<fbf>
| <fbf><fbf>
| <fbf>v<fbf>
| <fbf><fbf>
| <fbf><fbf>
| (<fbf>)
| <SmboloDeProposio> | V | F
<SmboloDeProposio> qualquer outro smbolo terminal: qualquer letra
minscula, possivelmente com subscrito que seja um inteiro sem sinal. Isto , um
elemento do conjunto S = {a, a
0
, a
1
, ..., b, b
0
, b
1
, ..., z, z
0
, z
1
,...}.
// A precedncia de operadores ser usada na escolha das regras BNF
que puderem ser aplicadas a um mesmo estgio da avaliao da rvore sinttica (ou de
derivao ou de parsing). A associatividade, para cada conectivo binrio, escolhida
ser da esquerda para a direita. Na disciplina Teoria da Computao (e na complementar
optativa Introduo aos Compiladores) voc ver os conceitos de rvore de derivao e
entender melhor isto, bem como a deteco automatizada se uma frmula bem
formada ou no.

prefervel uma BNF que seja inambgua sem recorrer a definies extra gramtica da
precedncia e associatividade (esquerda para direita) de operadores:
<FBF> ::= <ExprSe> | <FBF><ExprImplica>
<ExprImplica> ::= <ExprOu> | <ExprImplica><ExprOu>
<ExprOu> ::= <ExprXor> | <ExprOu>v<ExprXor>
<ExprXor> ::= <ExprE> | <ExprXor><ExprE>
<ExprE> ::= <FormAtomica> | <ExprE>.<FormAtomica>
<FormAtomica> ::= V | F | < SmboloDeProposio > | <FormAtomica> | (<FBF>)
< SmboloDeProposio > ::= qualquer outro smbolo terminal: qualquer letra
minscula, possivelmente com subscrito que seja um inteiro sem sinal. Isto , um
elemento do conjunto S = {a, a
0
, a
1
, ..., b, b
0
, b
1
, ..., z, z
0
, z
1
,...}

EXEMPLO 5 (PUCRS, Virgnia Maria Rodrigues, em
http://www.pucrs.br/famat/demat/facin/estrualg.htm ): Sejam as proposies: p: Gosto de
viajar e q: Visitei o Chile. Escreva as sentenas verbais que esto representadas pelas
proposies abaixo:
(a) pq (b) qp (c) (p.q)p (d) q.p
(e) (p.q) (f) qp (g) pvq (h)
(pvq).(pq)
RESPOSTA:
(a) Gosto de viajar se e somente visitei o Chile.
(b) Se no visitei o Chile, ento no gosto de viajar.
(c) Se gosto de viajar e no visitei o Chile, ento no gosto de viajar.
(d) Visitei o Chile e no gosto de viajar.
(e) No verdade que: gosto de viajar e visitei o Chile.
(f) Se visitei o Chile, ento gosto de viajar.
(g) No gosto de viajar ou no visitei o Chile.
(h) Se gosto e viajar ou no visitei o Chile, e, se no gosto de viajar, ento visitei o Chile.

EXEMPLO 6 (PUCRS, Prof. Virgnia Maria Rodrigues): Descreva as sentenas abaixo em termos
de proposies simples e operadores lgicos. Por exemplo, se a sentena for Se 1>2 ento
qualquer coisa possvel, faa o smbolo p valer por 1>2 e o smbolo q valer por qualquer
coisa possvel, ento a frase (a resposta) ser: pq.
(a) Se elefantes podem subir em rvores, ento 3 um nmero irracional.
(b) proibido fumar cigarro ou charuto.
(c) No verdade que H>0 se e somente se H>1. // Pela ordem de prioridades dos conectivos,
isso deve ser pensado como (No verdade que H>0) se e somente se H>1, no como No
verdade que (H>0 se e somente se H>1).
(d) Se as laranjas so amarelas, ento os morangos so vermelhos.
(e) falso que se Montreal a capital do Canad, ento a prxima copa ser realizada no
Brasil.
(f) Se falso que Montreal a capital do Canad, ento a prxima copa (2010) ser realizada
no Brasil.
RESPOSTA:
(a) p: elefantes podem subir em rvores
q: 3 um nmero irracional frase: pq
(b) p: fumar cigarro
q: fumar charuto frase: (pvq)
(c) p: H>0
q: H>1 frase: pq
(d) p: as laranjas so amarelas
q: os morangos so vermelhos frase: pq
(e) p: Montreal a capital do Canad
q: a prxima copa ser realizada no Brasil frase: (pq)
(f) p: Montreal a capital do Canad
q: a prxima copa ser realizada no Brasil frase: pq



2.2.2. A Semntica de

A semntica da Lgica Proposicional depende de uma interpretao (ou valorao) I, que
uma funo que atribui a cada letra proposicional um dos dois valores de verdade: o
Verdadeiro (V) ou o Falso (F).
Os conectivos (seus nomes e smbolos) bsicos da Lgica Proposicional so dados na 1
linha da seguinte tabela: no (), e (.), xor (), ou (v), implica (), ssse (). Depois
explicaremos seus significados. Por enquanto, procure memorizar seus smbolos e nomes.
Conectivo:
no

e
.
xor

ou
v
implica

ssse

a b b a . b a b a v b a b
F F V F F F V V
F V F F V V V F
V F V F V V F F
V V F V F V V V

Letras proposicionais so chamadas de frmulas atmicas (atmicas no sentido de
indecomponveis em partes menores). As fbfs constitudas pela combinao de frmulas
atmicas com elementos de {, , , , , , , (, )} so chamadas de frmulas
moleculares (molecular no sentido de decomponvel em partes menores). Por exemplo,
(p
1
(p
2
(p
3
p
4
)))p
5
uma fbf e frmula molecular.

O valor semntico (isto , o valor de verdade) de uma frmula molecular depende do valor
semntico (valor de verdade) das frmulas atmicas e do significado semntico dos conectivos
lgicos que as combinam, que est bem definido na tabela acima, mas voc tem que tomar
alguns 5 minutos para entender e memorizar como cada conectivo funciona. Faa isto AGORA.
Pronto? No tente enganar e roubar a si mesmo, pulando esta etapa, seno voc se prejudicar
muitssimo, vai ter dificuldades em toda esta unidade e durante toda sua vida. Novamente,
tome 5 minutos para entender e memorizar como cada conectivo funciona, isto , o valor V ou
F que ele atribui a duas proposies x,y que interconecte, quando os de x e y so F F, F V, V F,
e V V. Agora, tome mais 5 minutos e rascunhe em papel uma curto resumo de como voc
entendeu que cada conectivo funciona. Por exemplo, comece com algo assim xy V ssse x e
y tiverem valores verdade opostos. Vamos, rascunhe seu entendimento de todos os
conectivos. 5 minutos. Pronto? Agora, novamente confira suas definies contra a tabela acima.
Tem certeza de que entendeu e descreveu tudo corretamente? Finalmente, confira suas
definies contra as nossas definies, abaixo, do significado semntico de cada conectivo
lgico.

Nossa definio (em prosa, mas equivalente tabela) do significado semntico de cada
conectivo lgico:
No: Se o for uma fbf, ento (o) ser V somente quando o for falso, e (o) ser F
somente quando o for V. Ou seja, a negao troca o valor de verdade.
E: Se o e forem fbfs, ento (o) ser V somente quando ambos o e forem V, e
(o) ser F somente quando ou o ou (ou ambos) for(em) F.
Ou- excludente: Se o e forem fbfs, ento (o) ser V quando o e tiverem valores
verdade diferentes, e ser F quando tiverem um mesmo valor verdade.
Ou: Se o e forem fbfs, ento (o) ser V somente quando o ou (ou ambos) for(em)
V, e (o) ser F somente quando ambos o e forem F.
Implica: Se o e forem fbfs, ento (o) ser V somente quando o for F ou quando
for V, e (o) ser F somente quando o for V e for F.
Se e somente se: Se o e forem fbfs, ento (o) ser V somente quando o e
tiverem o mesmo valor de verdade, e (o) ser F, em caso contrrio.

EXEMPLO 7 (PUCRS, Prof. Virgnia Maria Rodrigues): Determine o valor lgico das proposies
enunciadas no exerccio anterior (nmero 6). Justifique (por exemplo: Se 1>2 ento qualquer
coisa possvel. Verdadeira, pois falso que 1>2):
RESPOSTA:
(a) Verdadeira, pois p falsa uma vez que elefantes no podem subir em rvores.
(b) Assumindo-se que esta proibio esteja sendo feita em algum lugar, teremos uma
proposio verdadeira, pois ser proibido fumar cigarro (p ser verdadeira) e ser proibido
fumar charuto (q ser verdadeira).
(c) Falsa, pois p falsa e q verdadeira.
(d) Verdadeira, pois p falsa.
(e) Falsa, pois a proposio pq verdadeira visto que p falsa.
(f) Falsa, pois Montreal no a capital do Canad e a prxima copa (2010) no ser realizada
no Brasil, ou seja, p verdadeira e q falsa.

EXEMPLO 8 (PUCRS, Prof. Virgnia Maria Rodrigues): Considerando p e q proposies
verdadeiras, e r e s proposies falsas, determine o valor lgico das proposies abaixo:
(a) ((r.s)v(pq))(rvq)
(b) ((p.q)v(p.q)v(p.q)v((p.q)))(rvs)
RESPOSTA (Achamos que j d para voc entender, mas, se quiser, veja a definio de um
pouco abaixo. Se preferir, faa a tabela verdade, mas dar mais trabalho):
(a) ((F.F)v(VV))(FvV) ((V.V)v(VV))(FvF) (VvV)(F) F
(b) ((V.V)v(V.V)v(V.V)v((V.V)))(FvF) ((V)v(V.F)v(F.V)v((V.F)))(F)
(Vv(F)v(F)v((F)))F (VvFvFv(F))F (VvFvFv(V))F (VvFvFvV)F
... VF F

Propriedades: Todas as propriedades seguintes facilmente se demonstram, em , recorrendo
tabela de verdade, acima.
Propriedades da conjuno () e da disjuno ():
Propriedades Conjuno () Disjuno ()
Comutativa pq = qp pq = qp
Associativa (pq)r = p(qr) (pq)r = p(qr)
Existncia de elemento neutro Vp = pV = p Fp = pF = p
Existncia de elemento absorvente Fp = pF = F Vp = pV = V
Idempotncia pp = p pp = p
Propriedades de combinao da conjuno e da disjuno
A conjuno distributiva em relao disjuno:
p(qr) = (pq)(pr)
(qr)p = (qp)(rp)
A disjuno (v) distributiva em relao conjuno (.):
p(qr) = (pq)(pr)
(qr)p = (qp)(rp)
Propriedades da negao
Dupla negao
p = p
Leis de De Morgan
(pq) = pq
(pq) = pq
Propriedades da implicao (ou se, ou implicao material, ou condicional)
Relao da implicao com a disjuno
pq = pq
Esta mesma propriedade permite exprimir uma disjuno numa implicao
pq = pq
Negao da implicao
(pq) = pq
Lei da converso
pq = qp
Transitividade
(pqqr)(pr)
Propriedades do se- e- somente- se (ou equivalncia material, ou bicondicional)
A equivalncia como conjuno de implicaes
pq = (pq).(qp)
Negao da equivalncia
(pq) = (p.q)v(q.p) = pvq



2.3. Regras de Inferncia sobre . Sistemas Formais.
Sistema Natural de Inferncia

Seja f
1
uma fbf. Se existe pelo menos uma atribuio de valores V,F a seus smbolos de
proposio de tal forma que f
1
resulte no valor V {*}, ento f
1
dita ser satisfatvel. Se todas
as valoraes resultam em f
1
valer F {*}, f
1
dita ser insatisfatvel (ou no satisfatvel, ou
contraditria). Se todas {*} as valoraes resultam em f
1
valer V, f
1
dita ser uma
tautologia. Se existe pelo menos alguma valorao que resulte em f
1
valer V {*}, e existe pelo
menos outra valorao que resulte em f
1
valer F {*} ento f
1
dita ser contingente. A fbf f
1

tautologia ssse f
1
no contraditria. {* isto pode ser visto em uma tabela verdade, embora
seja pesado constru-la.}

EXEMPLO 9: Faa duas tabela verdade e verifique que pvp uma tautologia e p.p uma
contradio:
RESPOSTA: Basta notar que a coluna pvp s tem V e a coluna p.p s tem F:
p p pvp p.p
V F V F
F V V F

EXEMPLO 10: Verifique que ((ab)(avb))
uma tautologia.
RESPOSTA: H 2 smbolos proposicionais,
portanto 2
2
= 4 casos. Na tabela verdade, a
coluna da fbf s tem V.
a b (ab) (avb) ((ab)(avb))
F F V V V
F V V V V
V F F F V
V V V V V

EXEMPLO 11: ((ab)(avb)) satisfatvel?
RESPOSTA: Sim. Se escolhermos uma valorao (ou interpretao) v tal que a = F e b = F,
ento ab = F, da, como F implica qualquer coisa, ((ab)(avb)) = V.

EXEMPLO 12: A proposio (a.a) insatisfatvel?
RESPOSTA: Sim. Se escolhermos uma valorao v tal que a = V, ento a = F, ento (a.a) =
F. A nica outra interpretao possvel a = F, o que tambm implica (a.a) = F, Portanto, a
proposio (a.a) insatisfatvel.

Dadas duas fbfs (em oposio a proposies) f
1
, f
2
, ento f
1
f
2
(ler a fbf f
1
logicamente
implica a fbf f
2
) se e somente se f
1
f
2
uma tautologia;
Dadas duas fbfs (em oposio a proposies) f
1
, f
2
, ento f
1
f
2
(ler a fbf f
1
logicamente
equivale a fbf f
2
) se e somente se f
1
f
2
uma tautologia.

EXEMPLO 13: p.(pq) logicamente implica p.q? Isto , podemos escrever p.(pq)
p.q ?
RESPOSTA: Sim, pois p.(pq)(p.q) uma tautologia:
p q pq p.(pq) (p.q) p.(pq)(p.q)
F F V F F V
F V V F F V
V F F F F V
V V V V V V

EXEMPLO 14: p.(pq) logicamente equivale a p.q? Isto , podemos escrever p.(pq)
p.q ?
RESPOSTA: Sim, pois p.(pq)(p.q) uma tautologia:
p q pq p.(pq) (p.q) p.(pq)(p.q)
F F V F F V
F V V F F V
V F F F F V
V V V V V V




Note: Sejam f
1
e f
2
fbf's. Ento f
1
f
2
, bem como f
1
f
2
, no so fbf's (pois
os smbolos e sequer pertencem ao conjunto dos conectivos de ).
De fato, f
1
f
2
, bem como f
1
f
2
, podem ser consideradas como
proposies (tais como "Joo alto"), mas isso no muito til. Mais til ,
bastante pensar de como "a fbf ... implica logicamente fbf ..." e de
como "a fbf ... logicamente equivalente fbf ...".

Sejam f
1
, f
2
, ..., f
n
fbfs envolvendo m smbolos proposicionais. Para mostrar que uma certa
combinao dessas fbfs (atravs de conectivos lgicos) logicamente implica uma outra fbf, g,
era preciso fazermos uma tabela verdade, o que somente era manejvel se o nmero de
smbolos proposicionais, m, fosse na ordem de 2 ou 3, talvez 4. Isto motivou a busca pelo
desenvolvimento de aparatos que permitissem o raciocnio ser feito a nvel puramente sinttico,
sem necessidade de nenhuma interpretao (atribuio de V,F aos smbolos proposicionais) ter
que ser considerada. Estes aparatos foram chamados de sistema de deduo (formal), de teoria
de prova, de sistema de inferncia, ou de clculo lgico. Tais sistemas podem ser classificados
em sistemas de deduo e sistemas de refutao. Aqui somente falaremos (e muito pouco)
sobre os primeiros.

Um sistema de deduo (ou sistema de regras de inferncia, ou sistema de
inferncias) nos permite, atravs apenas de operaes sintticas, tirar concluses a partir de
um conjunto de fbfs. Atravs de manipulaes meramente sintticas, a partir das fbfs originais
vamos gerando outras que lhe so consequncias lgicas, at que cheguemos fbf desejada,
todo o processo sendo mecnico e podendo ser automatizado. Um sistema de deduo
compreende um conjunto finito de regras de inferncia (que so tautologias) e um conjunto
de fbfs chamado de axiomas lgicos. (Acima da Lgica Proposicional, como voc ver em
disciplinas taid como Teoria da Computao e como Lgica, este ltimo conjunto
frequentemente infinito, mas isto contornado atravs do uso de templates (que so esquemas
axiomticos que fornecem uma fbf que serve de modelo ou padro para infinitas fbfs.)).

H vrios sistemas de deduo possveis para a Lgica Proposicional, mas o mais usado este
que se segue, conhecido como Sistema Natural de Regras de Inferncia (deve nome e
popularidade ao fato de refletir o raciocnio naturalmente usado nas demonstraes informais
em Matemtica ou em qualquer outro argumento lgico informal):
Axiomas: pvp, pp
conjuno: p, q p.q Intro.
p.q p, q Elim.
disjuno: p pvq ou q pvq Introv
pvq, p q ou pvq,q p Elimv com 2 argumentos
pvq,pr,qr r Elimv com 3 argumentos
implicao: q pq Intro
pq, p q Elim (modus ponens)
equivalncia: pq, qp pq Intro
pq pq, qp Elim

Outras regras e teoremas, teis, derivadas do sistema acima (tente prov-los, ser um bom
exerccio):
introduo de negao: p p Intro com 1 argumento
pq, q p Intro com 3 argumentos
eliminao de negao: p p Elim
negao de disjuno: (pvq) p.q Negv
negao de conjuno: (p.q) pvq Neg.
negao de implicao: (pq) p.q Neg
transitividade de implicao: pq, qr pr Trnstv
transposio: pq qp Trnsps
modus tollens/contrapositivo pq, q p ContraP

Um outro [o segundo] sistema de regras de inferncia pode ser:
Regras de
Inferncia
Tautologia Nome
p
.

pvq
p(pvq) Adio ou Introduo (como disjuno)
p.q
p
(p.q)p Simplificao ou Eliminao (em disjuno)
p
q
.
p.q
((p).(q))(p.q) Conjuno
p
pq
q
[p.(pq)]q Modus ponens
q
pq
p
[q.(pq)]p Modus tollens
pq
qr
pr
[(pq).(qr)](pr) Silogismo hipottico
pvq
p
.
q
[(pvq).p]q Silogismo disjuntivo
pvq
pvr
qvr
[(pvq).(pvr)](qvr) Resoluo

Teorema da substituio
Sejam f, g e h frmulas proposicionais tais que h f . Ento
1. h f
2. g h g f v v
3. g h g f . .
4. g h g f
5. Sendo ainda h g ' , ento h h g f '

Um Sistema Formal, em Matemtica, consiste de:
- Um conjunto finito de smbolos (ou seja, o alfabeto), que usado para a
construo de frmulas (i.e. strings finitas de smbolos);
- Uma gramtica, que especifica como frmulas bem formadas (fbfs) so
construdas a partir dos smbolos do alfabeto. Um procedimento de deciso determina
se uma frmula bem formada ou no;
- Um conjunto de axiomas (fbfs iniciais assumidas vlidas e usadas para todos os
problemas),
- Um conjunto de regras de inferncia (como as 9 regras acima).

(os prximos 6 exemplos foram tirados de http://www.danielclemente.com/logica/dn.en.html )
EXEMPLO 15: deduza, pelo sistema de (vamos numerar as linhas da deduo):
deduo natural, que de p e de pq podemos
logicamente concluir p.q. Isto :

p,pq p.q
1 p // premissa
2 pq // premissa
3 q // Elim 2,1
4 p.q // Intr. 1,3

EXEMPLO 16: deduza

p.qr,qp,q r
Deduo:
1 p.qr // premissa
2 qp // premissa
3 q // premissa
4 p // Elim 2,3
5 p.q // Intro. 4,3
6 r // Elim 1,5

EXEMPLO 17 (comeando a fazer
suposies): deduza

pq,qr pq.r
1 pq // premissa
2 qr // premissa
3 p // hiptese, para provar a
implicao na concluso final
4 q // Elim 1,3
5 r // Elim 2,4
6 q.r // Intro. 4,5
7 pq.r // Intro 3,6 (hiptese
absorvida)
Note que a hiptese foi absorvida, pois no estamos
afirmando que p V, mas somente que, se o for, ento q.r
o so.

EXEMPLO 18 (usando reiterao,
dizer novamente, copiar): deduza

p qr
1 p // premissa
2 q // hiptese, para provar a
implicao na concluso final
3 p // reiterao, repetio 1
4 qr // Intro 2,3 (hiptese
absorvida)

EXEMPLO 19 (reduo ao
absurdo): deduza

pq,q p
1 pq // premissa
2 q // premissa
3 p // hiptese, a disprovar por
reduo ao absurdo
4 q // Elim 1,3
5 q // Reiter 2
6 p //Intro 3,4,5

EXEMPLO 20 (com sub-sub-
demonstrao): deduza

p(qr) q(pr)
1 p(qr) // premissa
2 q // hiptese 1
3 p // hiptese 2
4 qr // Elim 1,3
5 r // Elim 4,2
6 pr // Intro 3,5 (hiptese 2
absorvida)
7 q(pr) // intro 2,6 (hiptese 1
absorvida)

Um sistema formal chamado de recursivo (no sentido de que eficaz, funciona), se o
conjunto de axiomas e o de regras de inferncia so conjuntos decidveis (ou, em outros
contextos, semidecidveis). Um conjunto decidvel se existe um algoritmo que termina aps
uma quantidade finita de tempo e decide corretamente se um elemento pertence ou no ao
conjunto.

Um sistema lgico (ou, simplesmente, uma lgica) um sistema formal juntamente com
uma semntica (geralmente sob a forma de interpretao modelo-teoria) que atribui valores de
verdade (V,F) s sentenas da linguagem formal que no contenham variveis livres. A lgica
sadia (sound), se todas as fbfs que podem ser derivadas so verdadeiras na interpretao.
completa se todas as sentenas verdadeiras podem ser derivadas. consistente se, sempre
que uma fbf o um teorema, ~o no um teorema.



2.4. Sanidade, Completude, Consistncia. Os
Problemas da Satisfatibilidade e da Tautologia (so
Decidveis, mas NP-Completos). Modelo e Teoria
(pela exiguidade de tempo e de espao, nesta seo no apresentaremos demonstraes, nem
exemplos. Nos exerccios de avaliao, se colocarmos questes sobre a seo, no mximo eles
cobraro o entendimento simples e direto das definies e conceitos.)

Com os sistemas de inferncia acima vistos, ou com outros igualmente adequados, a Lgica
Proposicional sadia (s deriva verdades), completa (pode derivar todas as fbfs
verdadeiras) e consistente (no deriva contradies).

O problema da satisfatibilidade decidvel para fbf da Lgica Proposicional. Isto ,
podemos achar um algoritmo (um procedimento que sempre, para todas as entradas possveis,
conclui sua execuo em tempo finito, e sempre d a resposta correta) que pode levar trilhes
de anos, mas decide se uma fbf satisfatvel, isto , se h uma interpretao (atribuio de V,F
a seus smbolos) tal que a faa, inteira fbf, ter o valor V.
Mas satisfabilidade, em Lgica Proposicional, um problema NP-completo. Voc s entender
isto completamente na disciplina Teoria da Computao, mas, em termos prticos, quando se
descobre que um problema NP-completo nosso sangue gela, perdemos toda a esperana de
que jamais se possa vir a ter um algoritmo (exato) aceitavelmente eficiente para ele (ainda
mais se no for possvel truques e tcnicas de armazenar dados intermedirios em estruturas
de dados auxiliares.) Um exemplo: suponha que uma fbf tenha 10000 smbolos (note que
problemas com arrays de milhares de elementos so muito usuais e so at considerados
modestos, e a expresso deles em Lgica Proposicional precisaria de milhares de smbolos
proposicionais). Como cada smbolo pode ser V ou pode ser F, ento, para se achar uma
interpretao que faa a fbf ter valor V, ou para se dizer que nenhuma tal interpretao existe,
temos que explorar 2
10000
possveis combinaes de valores verdade dos smbolos!!!
Impraticvel mesmo se cada tomo do universo virasse um supercomputador super-rpido,
todos eles trabalhando em paralelo durante muitos trilhes de anos.

Usando argumentos semelhantes, podemos dizer que, em Lgica Proposicional, o problema
da tautologia decidvel. Isto , podemos achar um algoritmo que pode levar trilhes de
anos, mas decide se uma fbf uma tautologia, isto , se toda interpretao (atribuio de V,F a
seus smbolos) resulta em ela ter o valor V. Mas um problema NP-completo, nosso corao
gela, etc. ...

Um modelo de uma fbf f uma interpretao (atribuio de V,F a seus smbolos
proposicionais) que a faa resultar ter valor V. Por exemplo, a interpretao a = F, b = F um
modelo para ((ab)(avb)).
Uma teoria um sistema formal (com seus alfabeto e gramtica definindo suas fbfs,
seus genricos axiomas e genricas regras de inferncia), juntamente com axiomas especficos
do domnio desejado de problemas a que se aplicar, e com todas as fbf's, que sero chamadas
de teoremas da teoria e que podem, usando regras de inferncia, ser mostradas ser
consequncias lgicas dos axiomas genricos e especficos, ou de outros teoremas
anteriormente derivados). Por exemplo, a Teoria das lgebras Booleanas.



Problemas sobre toda a Unidade:
Alm dos livros-texto, h muitos outros bons livros e notas de aula sobre Lgica Matemtica,
muitos deles disponveis gratuitamente na internet, inclusive nos links que colocamos ao longo
desta unidade. Muitos deles tm centenas de exemplos resolvidos sobre Lgica Proposicional,
portanto sugerimos que escolha os livros e notas de aula mais introdutrios e de formalismo
menos pesado, os mais fceis de ler, e neles escolha os exemplos resolvidos para voc fazer
sem olhar a soluo, s depois comparar a sua com a dele. Escolha somente os assuntos que
aqui cobrimos, h muita coisa que consideramos difcil demais e no to necessria, salte tais
assuntos. Recomendamos particularmente as listas de exerccios acompanhadas de gabaritos,
da Professora Joseluce Farias Cunha, em http://www.dsc.ufcg.edu.br/~logica/ . Tambm
recomendamos a Lista de Exerccios do Prof. Loureiro sobre Lgica Proposicional,
http://homepages.dcc.ufmg.br/~loureiro/md/md_LE1.pdf, com solues em
http://homepages.dcc.ufmg.br/~loureiro/md/md_LE1_Solucao.pdf, e, futuramente, sobre
Clculo Proposicional http://homepages.dcc.ufmg.br/~loureiro/md/md_LE2.pdf, com solues
em http://homepages.dcc.ufmg.br/~loureiro/md/md_LE2_Solucao.pdf.



Recapitulando a unidade

Que bom, voc j concluiu a unidade II! Se foi disciplinado e realmente "suou" estudando 4 a 6
h cada semana, deve ter aprendido muitas coisas da parte bsica da Lgica Proposicional (a
primeira e mais fcil parte da Lgica Matemtica, a qual voc continuar a ver em Teoria da
Computao e em Agentes Inteligentes). Coisas que lhe sero indispensveis ou muito teis em
todo o resto do curso e sua vida profissional: Voc aprendeu mecanismos de raciocnio vlidos,
esperamos que isso o ajude a diferenci-los dos falaciosos; aprendeu a sintaxe da linguagem
(libra) da Lgica Proposicional, seus conectivos, as regras para construir frmulas bem
formadas (fbf's); aprendeu a representar as sentenas menores e mais simples da linguagem
natural (com apenas um verbo, explcito ou implcito) como smbolos proposicionais, depois a
expressar como fbf's as frases que as ajuntam, depois aprendeu a usar as regras da semntica
de para verificar se argumentos da linguagem natural so vlidos ou falaciosos; aprendeu o
sistema natural de regras de inferncias (particularmente o modus ponens), a base para todo
raciocnio exato das provas de teoremas, concepo de programas, anlise e prova da
corretude dos mesmos, argumentao jurdica e em geral, etc.. E aprendeu importantes
conceitos que lhe sero teis a vida inteira: satisfatvel e no satisfatvel (ou contraditrio);
tautologia; implicao lgica (alm da material) e equivalncia lgica (idem); a sanidade,
completude e consistncia da Lgica Proposicional com o sistema de inferncia natural; a
decidibilidade mas NP-Completude do problema da satisfatibilidade e do problema da tautologia
de uma fbf.

Na prxima unidade, a III, voc estudar recorrncia (definir funes e programar
computadores atravs de recurso, achar as equaes de recorrncia da complexidade de um
programa, etc.) e como fazer provas por induo, que certamente o tipo de provas mais
frequentemente usado na Cincia da Computao, a ponto de poder se dizer que programar e
provar por induo so gmeos, quem aprende bem um aprende bem o outro, e quem no
aprende bem um no aprende bem o outro. Ser um timo e importante assunto e voc j tem
certa familiaridade com ele mesmo se no se deu conta, pois muitas provas (e.g., soma dos
termos de uma progresso aritmtica) e programas (e.g., Fibonacci, Hani, etc.) do ensino
mdio e da disciplina Introduo Programao j usaram o que vamos estudar mais
profundamente. At l.