Você está na página 1de 65

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.

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


Linha do tempo
3

hPp://en.wikipedia.org/wiki/GoVried_Wilhelm_Leibniz
hPp://en.wikipedia.org/wiki/Aristotle

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.

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


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
hPp://en.wikipedia.org/wiki/Aristotle

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.

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


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

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


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;

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


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

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


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

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


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

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


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

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


ConecFvos lgicos bsicos
11

Proposies atmicas
Terminologia
P: MD fcil
u Negao: Q: Clculo 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

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


ConecFvos lgicos bsicos
12

Proposies atmicas
Terminologia
P: MD fcil
u Negao: Q: Clculo 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

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


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.

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


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

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


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

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


Tabela verdade e conecFvos lgicos
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

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


Tabela verdade e conecFvos lgicos
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.

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


Tabela verdade: proposio composta
18

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
19

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
20

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
21

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
22

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
23

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
24

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
25

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
26

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
27

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
28

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
29

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
30

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
31

Qual a tabela verdade da proposio (PQ) ?

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

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


Tabela verdade: proposio composta
32

Qual a tabela verdade da proposio (PQ) ?

(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

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


Tabela verdade: proposio composta
33

Qual a tabela verdade da proposio (PQ) ?

(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

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


Tabela verdade: proposio composta
34

Qual a tabela verdade da proposio (PQ) ?

(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

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


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

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


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

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


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

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


Tabela verdade e conecFvos lgicos
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

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


Tabela verdade e conecFvos lgicos
39

Tabela da Verdade Condicional


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

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


Tabela verdade e conecFvos lgicos
40

Tabela da Verdade Condicional


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

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


Tabela verdade e conecFvos lgicos
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

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


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 ]

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


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)

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


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

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


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?

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


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

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


Ambiguidade
47

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 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

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


Ambiguidade
48

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 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

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


Ambiguidade
49

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 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

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


Ambiguidade
50

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 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

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


Ambiguidade
51

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 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

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


Ambiguidade
52

Soluo: ordem de precedncia


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

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


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

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


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

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


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

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


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)

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


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)

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


Equivalncia lgica
58

Duas proposies e so logicamente equivalentes ( ),


se ambas possuem tabelas-verdade idnFcas

Exemplo
u Jurandir GaranFdo ou Caprichoso
u Jurandir Caprichoso ou GaranFdo

u (P Q) (Q P)

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


Equivalncia lgica
59

Duas proposies e so logicamente equivalentes ( ),


se ambas possuem tabelas-verdade idnFcas

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)

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


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 ]

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


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

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


Regras de equivalncia
62

Duas proposies e so logicamente equivalentes ( ),


se ambas possuem tabelas-verdade idnFcas
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

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


Regras de equivalncia
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)


Regras de equivalncia
64

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

Fundamentos de Teoria da Computao Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


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

Fundamentos de Teoria da Computao Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)