Parte 01 Logica Formal

Lgica
Formal
1
E D U A R D O F R E I R E N A K A M U R A
I n s / t u t o d e C o m p u t a o
U n i v e r s i d a d e F e d e r a l d o A m a z o n a s
n a k a m u r a @ i c o m p . u f a m . e d u . b r

1Este
material baseia-se no material da professora Eulanda Miranda dos Santos (emsantos@icomp.ufam.edu.br) e no livro
GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao: um Tratamento Moderno de Matemtica Discreta, 5a ed. Livros Tcnicos e Cientficos, 2004.
Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Linha do tempo
2
hPp://en.wikipedia.org/wiki/Aristotle
sculo IV
a.C.
Aristteles (384 a.C. 322 a.C.) lsofo grego. SistemaFzou a lgica, denindo as formas
de interferncia que eram vlidas e as que no eram, formando um conjunto de regras
para raciocnio deduFvo que pode ser usado em qualquer rea do conhecimento.

Linha do tempo
3
hPp://en.wikipedia.org/wiki/GoVried_Wilhelm_Leibniz
sculo IV sculo XVI

a.C. d.C.
GoVried Wilhelm von Leibniz (1646 1716) lsofo e matemFco alemo, conhecido por
ter criado o clculo integral e diferencial independentemente de Isaac Newton.
.
Uso de smbolos para mecanizar o processo de raciocnio deduFvo.

Linha do tempo
4
hPp://en.wikipedia.org/wiki/GoVried_Wilhelm_Leibniz
hPp://en.wikipedia.org/wiki/Augustus_De_Morgan
hPp://en.wikipedia.org/wiki/George_Boole
sculo IV sculo XVI sculo XIX sculo XIX

a.C. d.C. d.C. d.C.
George Boole (1815 1864) lsofo e matemFco ingls e Augustus De Morgan (1806
1871) matemFco ingls. Bases da lgica simblica moderna usando as ideias de Leibniz.

Lgica Formal
5
Fornece bases para o mtodo de pensar organizado;
Expressa mtodos de raciocnio sob a forma de argumentos.
Tem duas aplicaes diretas em Cincia da Computao

1. Programao Lgica
2. Prova se programas esto corretos ou no
anloga lgica de circuitos de um computador

Lgica Formal
6
Exemplos de uFlizao em computao:

u Inteligncia ArFcial;
u Circuitos Lgicos;
u Banco de Dados;
u Sistemas Computacionais (hardware e somware)
u Sistemas Distribudos;
u Teoria de autmatos e computabilidade;
u Teoria de linguagens;

Proposies
7
Uma proposio uma sentena declaraFva, ou uma armao, que

admite apenas um dos dois valores lgicos verdadeiro ou falso, nunca
ambos
Proposies?????
u Manaus a capital do Amazonas
u 1 + 1 = 2
u Como voc est?
u 9 < 6
u Estudem regularmente
u Londres na Dinamarca
u MatemFca Discreta fcil

Proposies
8
PROPOSIES ATMICAS no podem ser sub-divididas em

proposies mais simples
u Ex: O servidor de arquivos est desligado

PROPOSIES COMPOSTAS so combinaes de proposies

atmicas via conecFvos lgicos
u Ex: A rede local est mal congurada ou o servidor de arquivos est
desligado
u O valor verdade completamente determinado pelos valores-verdade das
subproposies junto com a forma que esto conectadas

Proposies
9
PROPOSIES ATMICAS so representadas por meio de

variveis proposicionais
u Variveis proposicionais: (P, Q, R, S, . . .)
u Constantes proposicionais: (V, F) (T, F)

Nas PROPOSIES COMPOSTAS, as variveis proposicionais so

combinadas atravs de pelo menos um operador ou conecFvo
lgico
u Operadores lgicos so uFlizados para combinar proposies e formar
novas proposies

ConecFvos lgicos bsicos
10
Proposies atmicas
Terminologia
P: MD fcil
u Negao: Q: Clculo fcil
u Conjuno:
u Disjuno:
u Condicional:
u Bicondicional: Q: (no Q)
Clculo no fcil
Clculo diLcil

11
Proposies atmicas
Terminologia
P: MD fcil
u Conjuno:
u Disjuno:
u Condicional: PQ: (P e Q)
u Bicondicional: MD fcil e Clculo tambm

PQ: (P e no Q)
MD fcil, mas Clculo no

12
Proposies atmicas
Terminologia
P: MD fcil
u Conjuno:
u Disjuno:
u Condicional: PQ: (P ou Q)
u Bicondicional: MD fcil ou Clculo fcil

PQ: (P ou no Q)
MD fcil ou Clculo no fcil

Exerccios
13
1. Escreva as seguintes sentenas como proposies em lgica:

a) Agesilau vai sair mais cedo e no vai voltar.
b) Hermosina aluna de MD e Agesilau tambm.
c) Hermosina est no laboratrio e Agesilau no, ou ele est e ela no.
2. Considere as seguintes proposies:

P: Ariosto rico Q: Ariosto educado

Escreva as proposies abaixo em Lgica Formal:

a) Ariosto no nem rico e nem educado.
b) Ariosto rico, ou pobre e educado.
c) falso que Ariosto seja rico e educado.
d) No falso que Ariosto mal educado ou ele pobre.

Tabela verdade
14
Ferramenta usada para
hPp://pt.wikipedia.org/wiki/GoPlob_Frege
hPp://pt.wikipedia.org/wiki/Charles_Sanders_Peirce
determinar os valores de
uma expresso lgica
u Go:lob Frege e Charles Peirce,

em 1880
hPp://pt.wikipedia.org/wiki/Emil_Post
hPp://pt.wikipedia.org/wiki/Ludwig_WiPgenstein
u Emil Post e Ludwig
Wi:genstein, em 1922 forma
atual

Tabela verdade e conecFvos lgicos
15
Tabela da Verdade Negao

P P
Negao V F
F V
Se P verdade, ento P falso; e

se P falso P verdade

16
Tabela da Verdade Conjuno

P Q PQ
Conjuno V V V
V F F
F V F
F F F
Se P e Q so verdade, ento PQ
verdade; caso contrrio PQ falso

17
Tabela da Verdade Disjuno

P Q PQ
Disjuno V V V
V F V
F V V
Se P e Q so falsos, ento PQ F F F
falso; caso contrrio PQ
verdade.

Tabela verdade: proposio composta
18
Qual a tabela verdade da proposio (PQ) ?
(PQ)
P Q
V V
V F
F V
F F

19
(PQ)
P Q Q
V V
V F
F V
F F

20
(PQ)
P Q Q
V V F
V F
F V
F F

21
(PQ)
P Q Q
V V F
V F V
F V
F F

22
(PQ)
P Q Q
V V F
V F V
F V F
F F

23
(PQ)
P Q Q
V V F
V F V
F V F
F F V

24
(PQ)
P Q Q
V V F
V F V
F V F
F F V

25
(PQ)
P Q Q PQ
V V F F
V F V
F V F
F F V

26
(PQ)
P Q Q PQ
V V F F
V F V V
F V F
F F V

27
(PQ)
P Q Q PQ
V V F F
V F V V
F V F F
F F V

28
(PQ)
P Q Q PQ
V V F F
V F V V
F V F F
F F V F

29
(PQ)
P Q Q PQ
V V F F
V F V V
F V F F
F F V F

30
(PQ)
P Q Q PQ (PQ)
V V F F V
V F V V
F V F F
F F V F

31
(PQ)
P Q Q PQ (PQ)
V V F F V
V F V V F
F V F F
F F V F

32
(PQ)
P Q Q PQ (PQ)
V V F F V
V F V V F
F V F F V
F F V F

33
(PQ)
P Q Q PQ (PQ)
V V F F V
V F V V F
F V F F V
F F V F V

34
(PQ)
P Q Q PQ (PQ)
V V F F V
V F V V F
F V F F V
F F V F V
Assinalar valores-verdade para proposies compostas permite o uso da lgica para

decidir a verdade de uma proposio usando somente o conhecimento das partes

Exerccios
35
1. Escreva as seguintes sentenas como proposies em lgica:

a) Milcades l O Mascate ou Folha de So Paulo, mas no l o Valor
Econmico.
b) Leonsa pobre, ou rica e infeliz.
c) Vai chover ou vai nevar, mas no ambos.
2. Construa a tabela-verdade das seguintes proposies:

a) (PQ)(PQ)
b) (PQ)
c) (PQ)Q

ConecFvos lgicos condicional e bicondicional
36
Proposies atmicas
Terminologia
P: MD fcil
u Negao: Q: Serei aprovado
u Conjuno:
u Disjuno: PQ: (se P, ento Q)
u Condicional: - se MD fcil ento serei aprovado
- MD ser fcil implica que serei
u Bicondicional:
aprovado
- MD ser fcil condio suciente
para eu ser aprovado
- Serei aprofado caso MD seja fcil


ConecFvos lgicos condicional e bicondicional
37
Proposies atmicas
Terminologia
P: x par
u Negao: Q: x+1 mpar
u Conjuno:
u Disjuno:
PQ: (P se, e somente se, Q)
u Condicional: - x par se, e somente se, x+1 mpar
u Bicondicional: - x par condio necessria e
suciente para, x+1 ser mpar
- se x par, ento x+1 mpar, e vice-
versa

38
Tabela da Verdade Condicional

P Q PQ
Condicional V V V
V F F
F V V
Se P verdade e Q falso, ento F F V
PQ falso; caso contrrio
verdadeiro

39

P Q PQ
Condicional V V V
V F F
F V V
Caso interessante: se P falso e Q F F V
verdadeiro, ento PQ
verdadeiro
Se Ozzy Osbourne cantou no Restart,

ento todos passaro em MD

Verdadeiro ou falso? Quando nevou em Manaus, choveu
piranhas em Paris

40

P Q PQ
Condicional V V V
V F F
F V V
F F V
Em que situao Bruna estaria menFdo? Bruna Marquezine lhe fez a seguinte
promessa para ErnesFno:

Se voc ganhar na megasena, ento eu
E se ErnesFno no ganhar na megasena? caso com voc

41
Tabela da Verdade Bicondicional

P Q PQ
Bicondicional V V V
V F F
F V F
F F V
Se P e Q so iguais, ento PQ
verdadeiro; caso contrrio falso
Galvo pai de Cac se, e somente se,

Cac lho de Galvo

Exerccios
42
1. Escreva as seguintes proposies compostas em notao simblica

a) Os abacates esto maduros quando esto macios
b) Uma boa dieta uma condio necessria para voc ser saudvel
c) Se os preos subirem, ento haver muitas casas para vender e elas sero
caras; mas se as casas no forem caras, ento ainda assim haver muitas
casas para vender.
d) Tanto ir para cama como nadar condio suciente para trocar de roupa;
no entanto, trocar de roupa no signica que se vai nadar.
2. Escreva as tabelas-verdade das seguintes proposies
a) (P Q) P Q
b) [P (Q P)] Q
c) (P Q) [ (P Q) P ]

Linguagem proposicional
43
Uma linguagem proposicional L composta por

u Um Alfabeto (letras maisculas, o conjunto {V,F} e os conecFvos lgicos)
u Smbolos para variveis e constantes e proposies compostas ou frmulas
A GramFca de uma linguagem proposicional dene a sintaxe

das expresses
u Permite a formao e o reconhecimento de frmulas bem formadas (f)
u Exemplo: PvQ (frmula incorreta, mal formada)

GramFca de uma linguagem proposicional
44
1. Letras proposicionais do vocabulrio so frmulas em L
2. Se e so frmulas em L, ento tambm so frmulas as

seguintes expresses:
u
u
u
u
Somente o que pode ser gerado atravs dos itens 1 e 2 em um

nmero nito de passos uma frmula em L

Ambiguidade
45
1. P Q R = (P Q) R ?
2. P Q R = P (Q R) ?
u O PSDB ganhou a eleio ou o PT ganhou a eleio, e o Brasil comeou a

mudar?
u O PSDB ganhou a eleio, ou o PT ganhou a eleio e o Brasil comeou a

mudar?

Ambiguidade
46
1. P Q R = (P Q) R ?
2. P Q R = P (Q R) ?

P Q R P Q Q R (P Q) R P (Q R)
V V F
V V V
V F F
V F V
F V F
F V V
F F F
F F V

Ambiguidade
47
1. P Q R = (P Q) R ?
2. P Q R = P (Q R) ?

V V F V
V V V V
V F F V
V F V V
F V F V
F V V V
F F F F
F F V F

Ambiguidade
48
1. P Q R = (P Q) R ?
2. P Q R = P (Q R) ?

V V F V F
V V V V V
V F F V F
V F V V V
F V F V F
F V V V V
F F F F F
F F V F F

Ambiguidade
49
1. P Q R = (P Q) R ?
2. P Q R = P (Q R) ?

V V F V F F
V V V V V V
V F F V F F
V F V V F V
F V F V F F
F V V V V V
F F F F F F
F F V F F F

Ambiguidade
50
1. P Q R = (P Q) R ?
2. P Q R = P (Q R) ?

V V F V F F V
V V V V V V V
V F F V F F V
V F V V F V V
F V F V F F F
F V V V V V V
F F F F F F F
F F V F F F F

Ambiguidade
51
1. P Q R = (P Q) R ?
2. P Q R = P (Q R) ?

V V F V F F V
V V V V V V V
V F F V F F V
V F V V F V V
F V F V F F F
F V V V V V V
F F F F F F F
F F V F F F F

Ambiguidade
52
Soluo: ordem de precedncia

1. Parnteses mais internos
2. Negao:
3. Conjuno:
4. Disjuno:
5. Condicional:
6. Bicondicional:

Tautologia
53
Sempre verdade independente dos valores verdade das variveis
Tambm denominada proposio tautolgica ou logicamente

verdadeira
Exemplo
u P P
u Amanh vai chover ou amanh no vai chover

Contradio
54
Sempre falso independente dos valores verdade das variveis
Exemplo
u P P
u Hoje choveu e hoje no choveu
Observao
u A negao de uma tautologia uma contradio
u A negao de uma contradio uma tautologia

ConFngncia
55
Frmula bem formada que no tautologia e nem contradio
Seu valor verdade dependente dos valores verdade das variveis
Exemplo
u P Q
u Hoje choveu e ontem nevou

Exerccio
56
Verique se as proposies abaixo so tautologia, contradio ou

conFngncia
1. (P Q) (P Q)
2. (P Q) (P Q)
3. P Q Q P
4. [ (P Q) (P R)] (Q R)

Equivalncia lgica
57
Duas proposies e so logicamente equivalentes ( ),

se ambas possuem tabelas-verdade idnFcas
Exemplo
u O So Raimundo o melhor Fme do Amazonas e vence sempre
u O So Raimundo vence sempre e o melhor Fme do Amazonas
u (P Q) (Q P)

Equivalncia lgica
58

Exemplo
u Jurandir GaranFdo ou Caprichoso
u Jurandir Caprichoso ou GaranFdo
u (P Q) (Q P)

Equivalncia lgica
59

Exemplo
u Se Nancy est dormindo, ento Freddy Krueger aparece
u Se Freddy Krueger no aparece, ento Nancy no est dormindo
u (P Q) (Q P)

Teorema
60
se, e somente se, tautologia.
Exemplos
u (P Q) (P Q) tautologia
u Logo, (P Q) (P Q)
u [ P (Q R) ] [(P Q) R ] tautologia
u Logo, [ P (Q R) ] [(P Q) R ]

Exerccio
61
Verique se as proposies abaixo so equivalncias lgicas

1. (P Q) (P Q) e (P Q)
2. P (Q R) e [ (P Q) R) ]
3. (P Q) e P Q

Regras de equivalncia
62

u Denem que determinados pares de FBFs so equivalentes
u Portanto, se , ento pode ser subsFtuda por em

qualquer FBFs sem mudana em seu valor lgico

63
Frmula Lei
PP P
Idempotncia
PP P
(PQ)R P(QR)
AssociaFva
(PQ)R P(QR)
PQ QP
ComutaFva
PQ QP
(PQ)R (PR)(QR)
DistribuFva
(PQ)R (PR)(QR)
PF P PV P
IdenFdade
PV V PF F
Fundamentos de Teoria da Computao Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

64
Frmula Lei
PP V PP F
Complemento
V F F V
P P Involuo
(PQ) PQ
DeMorgan
(PQ) PQ
PQ PQ Condicional

Regras de equivalncia (resumo)
65
Frmula Lei
PP P
Idempotncia
PP P
(PQ)R P(QR)
AssociaFva
(PQ)R P(QR)
PQ QP
ComutaFva
PQ QP
(PQ)R (PR)(QR)
DistribuFva
(PQ)R (PR)(QR)
PF P PV P
IdenFdade
PV V PF F
PP V PP F
Complemento
V F F V
P P Involuo
(PQ) PQ
DeMorgan
(PQ) PQ
PQ PQ Condicional

Parte 01 Logica Formal

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Parte 01 Logica Formal

Enviado por

Direitos autorais:

Formatos disponíveis

Lgica

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

sculo IV sculo XVI

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

sculo IV sculo XVI sculo XIX sculo XIX

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Fornece bases para o mtodo de pensar organizado;

Expressa mtodos de raciocnio sob a forma de argumentos.

Tem duas aplicaes diretas em Cincia da Computao

anloga lgica de circuitos de um computador

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Exemplos de uFlizao em computao:

u Sistemas Computacionais (hardware e somware)

u Teoria de autmatos e computabilidade;

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Uma proposio uma sentena declaraFva, ou uma armao, que

u MatemFca Discreta fcil

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

PROPOSIES ATMICAS no podem ser sub-divididas em

PROPOSIES COMPOSTAS so combinaes de proposies

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

PROPOSIES ATMICAS so representadas por meio de

Nas PROPOSIES COMPOSTAS, as variveis proposicionais so

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

1. Escreva as seguintes sentenas como proposies em lgica:

2. Considere as seguintes proposies:

Escreva as proposies abaixo em Lgica Formal:

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Ferramenta usada para

u Go:lob Frege e Charles Peirce,

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Tabela da Verdade Negao

Se P verdade, ento P falso; e

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Tabela da Verdade Conjuno

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Tabela da Verdade Disjuno

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Qual a tabela verdade da proposio (PQ) ?

Matemtica Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)