Elementos de Lo
Christina F. E. M. Waga
IME.UERJ
2011
Sumario
Introduc
ao
1 L
ogica Proposicional
1.1
1.2
Linguagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1
Sintaxe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2
Semantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Calculo Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1
1.2.2
Formas Normais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.3
2 Teoria de Conjuntos
13
2.1
Conceitos Basicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2
Operacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3
Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3 Uma Introduc
ao `
a Interpretac
ao de F
ormulas da L
ogica de 1a Ordem
3.1
3.2
21
Linguagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.1.1
Sintaxe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.1.2
Semantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Demonstracoes em 1a Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4 Algebra
de Boole
30
4.1
Definicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.2
Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2
4.3
Reticulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.4
4.5
Circuitos Logicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.6
Minimizacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5 Gabarito
42
5.1
1a Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.2
Algebra
de Boole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.3
Reticulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.4
Minimizacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Introducao
Este e um curso introdutorio de Logica Matematica. Os seguintes topicos serao abordados:
Calculo Proposicional: conectivos logicos, tabelas verdade, tautologias, regras de inferencia, formas normais e argumentos: demonstracao direta e por reducao ao absurdo,
Algebra
de Conjuntos,
Algebra
de Boole,
Linguagem de primeira ordem, teoria e modelos e
Decidibilidade: conceituacao basica.
Referencias bibliograficas importantes:
1. Alencar Filho, E., Iniciacao `a Logica Matematica, Nobel (2002).
2. Gersting, J.L., Fundamentos Matematicos para a Ciencia da Computacao, LTC (1995).
Captulo 1
Logica Proposicional
1.1 Linguagem
1.1.1 Sintaxe
Alfabeto
Smbolos Proposicionais: p, q, r, . . . ou p1 , p2 , p3 , . . . .
Smbolos Conectivos:
Unario: de negacao
Binarios: de conjuncao , de disjuncao , de implicacao e o bicondicional
Smbolos de parenteses: ( e )
Gramatica
Definicao de formulas bem escritas ou bem formadas (wff):
G1 Todo smbolo proposicional e uma wff.
G2 Se e sao wff entao (), ( ), ( ), ( ) e ( ) tambem sao wff.
G3 Estas sao as u
nicas wff.
Observac
ao 1.1.1
alfa
beta
gama
delta
epslon
zeta
Alfabeto Grego
eta
teta
iota
o
capa
lambda
m
u
2
n
u
csi
omcron
pi
ro
sigma
tau
u
psilon
fi
qui
psi
omega
1.1
Linguagem
1.1.2 Semantica
Tabelas Verdade: Cada smbolo proposicional pode assumir dois valores logicos ou valores
de verdade, Verdadeiro (V) ou Falso (F). Assim, dados n smbolos proposicionais teremos
2n casos a serem considerados, isto e, 2n linhas de uma tabela de verdade.
p
V
F
p
V
V
F
F
q
V
F
V
F
p q
V V
V V
V F
V F
F V
F V
F F
F F
r
V
F
V
F
V
F
V
F
Os valores logicos para as wff obtidas a partir dos conectivos estao determinados nas tabelas
verdade a seguir.
V
F
V V
V F
F V
F F
( )
V
F
F
F
F
V
( )
V
V
V
F
( )
V
F
V
V
( )
V
F
F
V
Observac
ao 1.1.2 Alem dos conectivos apresentados podemos incluir o smbolo de ou exclusivo com a tabela verdade abaixo.
V V
V F
F V
F F
( )
F
V
V
F
Exerccio 1.1.3 Faca tabela verdade para cada uma das wff.
1. p p
2. p (p)
3. (p q)
3
1.1
Linguagem
4. ( p) ( q)
5. ( p) q
6. (p q) (q p)
7. (p (q r)) ((p q) (p r))
8. (p (q r)) ((p q) r)
9. (p (q r)) ((p q) r)
10. ((p q) r) (p (q r))
11. ( )
12. ( )
13. (( ) )
14. (( ) )
15. (( ) )
16. (( ) ( )) ( )
17. (( ) ( ) ( )) ( )
18. (( ) ( ) ( )) ( )
1.2
Calculo Proposicional
Implicaco
es L
ogicas ou Regras de Infer
encia
F
V
Simplificacao
Adicao
Conjuncao
,
Modus Ponens
( )
Modus Tollens
( )
Silogismo Disjuntivo ( )
Silogismo Hipotetico ( ) ( )
Dilema Construtivo ( ) ( ) ( )
Dilema Destrutivo
( ) ( ) ( )
Idempotencia
Comutativa
Associativa
Elemento Neutro
Elemento Zero
Princpio da N
ao Contradic
ao
Princpio do Terceiro Excludo
Dupla Negacao
Distributiva
Absorcao
Semiabsorcao
De Morgan
Forma Disjuntiva do Condicional (Lei de Filo)
Regra de Clavius
Forma Conjuntiva do Bicondicional
Forma Conjuntiva do Ou Exclusivo
Fortalecimento da Hipotese
Reducao ao Absurdo
Equival
encias L
ogicas
( ) ( )
( ) ( )
V
FF
F
( ) ( )
( ) ( )
F
VV
V
( ) ( ) ( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
( ) () ()
( ) () ()
( ) ( )
( ) ( )
( ) ( )
( ) F
Dada uma wff condicional ( ), diz-se que a wff ( ) e sua recproca, a wff
( ) e a contrapositiva e ( ) e a sua contraria. E se relacionam da seguinte
forma:
Contrapositiva
( ) ( )
( ) ( )
1.2
Calculo Proposicional
Exerccios 1.2.1
1. Faca tabela verdade para cada uma das wff bicondicionais associadas a`s equivalencias
logicas.
2. Verifique, usando tabela verdade e as regras, se:
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h) ( )
(i) ( )
(j) ( ) ( )
(k) ( ) ( ) ( )
(l) ( ) ( ) ( )
(m) ( ) ( ) ( ) ( )
3. Responda, usando as regras.
(a)
(b) ( )
(c)
(d)
(e) ( )
(f) ( )
(g) ( ) ( ) ( )
(h) ( ) ( ) ( )
4. Simplifique as formulas.
(a) ( )
(b) ( )
(c) ( )
(d) ( )
(e) ( ) )
(f) ( ) ( )
6
1.2
Calculo Proposicional
(g) ( ) ( )
(h) ( ( ))
(i) (( ) )
(j) ( ( ))
(k) (( ) )
(l) ( ) ( )
( )
( )
( ) ( )
( ) ( )
(1.1)
(1.2)
(1.3)
(1.4)
( )
(( ) ( ))
( ) ( )
(1.5)
(1.6)
(1.7)
(1.8)
( )
(( ) ( ))
( ) ( )
(1.9)
(1.10)
(1.11)
(1.12)
E, para {, }, temos:
Diz-se que uma wff esta na forma normal (FN) quando contem somente os conectivos ,
e . Toda wff e logicamente equivalente a um wff na forma normal.
Exemplo 1.2.2 A wff (( ) ( )) nao esta na forma normal. Observe que, e
possvel obter pelo menos tres formas normais equivalentes `a wff dada.
wf f (( ) ( )) (f dc)
F N (( ) ( )) (dm)
F N ( ) ( ) (dn)
FN
( ) ( )
1.2
Calculo Proposicional
1.2
Calculo Proposicional
Exerccios 1.2.3
1. Reescreva as formulas do item 4 do Exerccio 1.2.1 usando:
(a) {, }
(b) {, }
(c) {, }
2. Determine a Forma Normal Conjuntiva das formulas.
(a)
(b)
(c) ( )
(d) ( )
(e) ( )
(f) ( )
(g) ( )
(h) ( ) )
(i) ( ) ( )
(j) ( ) ( )
(k) ( )
(l) ( )
(m) ( ) ( )
(n)
(o)
(p)
(q) ( )
(r) ( )
(s) ( )
(t) ( )
(u) ( )
(v) ( )
(w)
(x) ( ) ( )
(y) ( ) ( )
(z) (( )) ( )
3. Determine a Forma Normal Disjuntiva para as formulas do item anterior.
9
1.2
Calculo Proposicional
CP1
DN3
MP2,4
10
1.2
Calculo Proposicional
1
2
3
4
5
6
7
8
( )
( )
( )
FDC1
AssocC4
SD2,5
DN3
SD6,7
( )
DN3
Simpl4
MP1,5
Simpl4
MP2,7
Conj6,8
PNC9
Exerccios 1.2.7
1. Verifique a validade dos argumentos apresentando demonstracoes.
(a) { ( ), , }
(b) { , , }
(c) { , , }
(d) { , , }
(e) { , , }
(f) { , , }
(g) { , , }
(h) { , , }
(i) { , , }
11
1.2
Calculo Proposicional
(j) { , }
(k) { , ( ) }
(l) { ( ), , }
(m) { , ( ) , ( )}
(n) {( ) , ( ) ( ( )), }
(o) { , ( ), ( ) , }
(p) {( ) , , , , } ( )
(q) { , , , }
(r) { , ( ), ( ), }
(s) { , ( ) ( ), ( ) , }
(t) { , ( ), , ( )}
(u) { , , , ( ) ( )}
(v) { , , , , }
(w) {( ) ( ), , , }
(x) { , , , }
(y) { , , , , }
(z) { , , , }
2. Use demonstracao condicional para demonstrar a validade dos argumentos.
(a) { ( ), }
(b) {() , , () , () ( ())}
(c) { (), } ( )
3. Use reducao ao absurdo para demonstrar a validade dos argumentos.
(a) { (), } ( )
(b) {() , () , }
(c) { ( ), }
(d) {() , , () , () ( ()), }
(e) {() , () , }
12
Captulo 2
Teoria de Conjuntos
2.1 Conceitos Basicos
Conjuntos podem ser entendidos como colecoes de objetos distintos nao importando a
ordem em que aparecem. Estes objetos sao denominados elementos do conjunto. Usa-se
para os nomes de conjuntos A, B, C, . . . e para os elementos x, y, z, . . . .
Se o objeto a e um elemento do conjunto A, diz-se que a pertence ao conjunto A,
a A. O smbolo denota a relacao (binaria) existente entre elemento e conjunto, indicando
a pertinencia do primeiro em relacao ao segundo e pode ser lida como o elemento a pertence
ao conjunto A ou o elemento a esta no conjunto A. Se um elemento b nao pertence a um
conjunto A, usa-se a A.
Um conjunto especial e o conjunto vazio, denotado por ou {}, e e caracterizado pelo
fato de nao possuir elementos.
Existem dois princpios importantes. O Princpio da Extensionalidade trata da igualdade de conjuntos. Um conjunto A e igual a um conjunto B quando todo elemento do
conjunto A e um elemento do conjunto B e todo elemento do conjunto B e elemento do
conjunto A. A notacao e A = B e a relacao de igualdade e:
Reflexiva: A = A, para todo conjunto A.
Sim
etrica: se A = B entao B = A, para quaisquer conjuntos A e B.
Transitiva: se A = B e B = C entao A = C, para quaisquer conjuntos A, B e C.
O Princpio da Especificac
ao diz respeito a` especificacao de novos conjuntos a partir de
outros. Dados um conjunto A e uma propriedade P sobre os elementos de A, fica determinado
o conjunto B dos elementos de A que possuem a propriedade P . Assim, B = {x A; P (x)}.
13
2.1
Conceitos Basicos
2.1
Conceitos Basicos
Exemplos 2.1.3
1. Sendo A = {0, 1, 2}, temos que 2A = {, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}}. Observe que, A = 3 e 2A = 8.
2. Os conjuntos numericos sao conjuntos infinitos.
N
Z
Q
I
R
C
N
umeros
naturais
inteiros
racionais
irracionais
reais
complexos
2.2 Operacoes
As operacoes (binarias) classicas em conjuntos sao uniao, intersecao, diferenca, complemento
e produto cartesiano.
A uni
ao de dois conjuntos A e B e o conjunto A B que contem todos os elementos do
conjunto A e todos os elementos do conjunto B.
A intersec
ao de dois conjuntos A e B e o conjunto A B que contem todos os elementos
comuns aos conjuntos A e B. Dois conjuntos A e B sao denominados disjuntos quando sua
intersecao e o conjunto vazio, ou seja, A B = .
A diferenca entre dois conjuntos A e B e o conjunto A B que contem os elementos que
pertencem exclusivamente ao conjunto A.
Sejam conjuntos A e B tais que A B, o complemento do conjunto A em relacao
ao conjunto B e o conjunto B A dos elementos que pertencem ao conjunto B mas nao
pertencem ao conjunto A.
Todos os conjuntos podem ser considerados como subconjuntos de um certo conjunto
prefixado denominado conjunto universo e denotado por U . Assim, o complemento de
um conjunto A U e o conjunto A = U A.
O produto cartesiano de dois conjuntos A e B e o conjunto A B cujos elementos sao
todos os pares ordenados tais que a primeira ordenada e um elemento do conjunto A e a
segunda um elemento do conjunto B. Devemos lembrar que dois pares ordenados sao iguais
quando as primeiras ordenadas sao iguais e as segundas tambem. Quando temos um produto
cartesiano A A com n fatores usamos a notacao An .
15
2.2
Operac
oes
P
A=B
A B
A B
U
A
CBA
A
A B
A - B
16
2.2
Operac
oes
Observac
ao 2.2.2 Podemos rever os conceitos da seguinte forma:
x A B se, e somente se, x A ou x B.
x A B se, e somente se, x A e x B.
x A B se, e somente se, x A e x B.
A B, x B A se, e somente se, x B A
se, e somente se, x B e x A.
x A se, e somente se, x A.
(x, y) A B se, e somente se, x A e y B.
(x, y) = (z, t) se, e somente se, x = z e y = t.
2.3 Teoremas
Teorema 2.3.1 A, para todo conjunto A.
Prova: Para todo elemento x, x . A wff (x ) e falsa e a wff (x ) (x A) e
verdadeira. Logo, A.
Teorema 2.3.2 O conjunto vazio e u
nico.
Prova: (RAA) Vamos supor que existem dois conjuntos vazios . Pelo teorema
anterior, e . Entao, = . Contradicao. Logo, o conjunto vazio e u
nico.
Teorema 2.3.3 Seja A um conjunto finito com A = n, entao 2A = 2n = ni=0 (ni).
Teorema 2.3.4 Sejam A e B conjuntos finitos. Entao A B = A + B A B.
Teorema 2.3.5 Sejam A = n e B = m. Entao A B = nm.
Teorema 2.3.6 As operacao de uniao e de intersecao possuem as propriedades:
1. Associativa: para quaisquer conjuntos A, B e C
(A B) C = A (B C) e (A B) C = A (B C)
2. Comutativa: para quaisquer conjuntos A e B
AB =BA e AB =BA
17
2.3
Teoremas
A B = A B
Prova:
1. x (A B) C x (A B) x C (x A x B) x C x A (x B x C)
x A (B C).
x (A B) C x (A B) x C (x A x B) x C x A (x B x C)
x A (B C).
2. x A B x A x B x B x A x B A.
x A B x A x B x B x A x B A.
18
2.3
Teoremas
Exerccios 2.3.7
1. Apresente demonstracoes para os teoremas.
2. Indique Verdadeiro ou Falso.
(a) A = {a, b}.
( ){b} A
( ){a} A
( ) A
( )a A
(b) A = {a, b, c}, B = {a, b}, C = {b, c, d}, D = {b} e E = {c, d}.
( )B A
( )D C
( )E e D sao disjuntos
( )A = B
( )B C = D
3. Considere A = {1, 2, 3, 4, 5, 6}, B = {4, 5, 6, 7, 8, 9}, C = {2, 4, 6, 8}, D = {4, 5}, E = {5, 6}
e F = {4, 6}. Um conjunto G tal que G A, G B e G C e algum dos conjuntos
dados?
4. Indique os conjuntos vazios.
(a) A = {x Z; x e mpar e x2 = 4}
(b) B = {x Z; x + 9 = 9}
(c) C = {x Z; x 0 e x2 < 1}
(d) D = {x Z; x2 < 1}
5. Indique o conjunto potencia de A = {1, 2, 3, 4}.
6. De exemplos de famlias.
7. De exemplo de um conjunto infinito tal que exista funcao injetora entre este conjunto
e um de seus subconjuntos proprios.
8. Apresente conjuntos enumeraveis infinitos distintos dos apresentados no texto.
9. Seja A = {x Z; x 0 e x e m
ultiplo de 2} e B = {x Z; x 0 e x e m
ultiplo de 3}.
Indique os conjuntos A B, A B e A B.
10. Responda, justificando.
(a) Todo subconjunto de um conjunto enumeravel e finito ou enumeravel ?
(b) A uniao de conjuntos enumeraveis e enumeravel ?
(c) E o produto cartesiano?
11. Considere A = n e B = m. Para cada um dos itens, apresente condicoes para que seja
possvel estabelecer uma expressao matematica.
(a) A B
(b) A B
(c) B A
(d) A
19
2.3
Teoremas
20
Captulo 3
Uma Introducao `a Interpretacao de Formulas da
Logica de 1a Ordem
3.1 Linguagem
3.1.1 Sintaxe
Alfabeto
Smbolos de Parenteses: ( e )
Smbolos Conectivos: , , , e
Smbolo de Igualdade: =
Smbolos de Variaveis: x, y, z, . . .
Smbolos de Constantes: a, b, c, . . .
Smbolos de Predicados: Para cada inteiro positivo n, um conjunto de smbolos
denominados smbolos de predicado n-ario, P, Q, R, . . . .
Smbolos de Funcoes: Para cada inteiro positivo n, um conjunto de smbolos
denominados smbolos de funcao n-ario, f, g, h, . . . .
Smbolos Quantificadores: universal e existencial .
Exemplos 3.1.1
1. Linguagem de predicados
smbolos de constantes: a, b, c
smbolos de predicados: unario P e binario Q
2. Linguagem de teoria de conjuntos
smbolo de constante:
smbolo de predicado binario:
21
3.1
Linguagem
3.1
Linguagem
3.1.2 Semantica
Vamos definir quando uma vari
avel x ocorre livre em (OLE) uma wff :
1. Se e uma formula atomica, x OLE quando x e um smbolo de .
2. Se e () entao x OLE quando x OLE .
3. Se e ( ), ( ), ( ) ou ( )
entao x OLE quando x OLE ou x OLE .
4. Se e y ou y
entao x OLE quando x OLE e x y.
Se um smbolo de variavel nao ocorre livre na wff , diz-se que a vari
avel est
a ligada ou
amarrada. Quando uma wff nao tem smbolos de variavel livres, a wff e denominada uma
sentenca. Devemos observar que os quantificadores tem a propriedade de ligar as variaveis
e e importante ressaltar a importancia da parentetizacao neste caso, pois eles definem o
escopo do quantificador.
Exemplo 3.1.3 Considere uma linguagem com dois smbolos de predicados unarios P e Q.
As wffs x(P (x) Q(x)) e (xP (x)) (y Q(y)) sao sentencas.
A variavel x OLE (xP (x)) Q(x).
Uma estrutura ou interpretac
ao A para uma dada linguagem de 1a ordem e uma funcao
que atribui:
1. Aos smbolos quantificadores um conjunto nao vazio A denominado o universo de A.
2. A cada smbolo de constante c um elemento cA do conjunto A.
3. A cada smbolo de predicado n-ario P uma relacao n-aria P A An .
4. A cada smbolo de funcao n-aria f uma funcao n-aria f A An A.
Assim, a estrutura A atribui significado aos smbolos da linguagem. Podemos agora
estabelecer quando uma wff e verdadeira na estrutura A.
Considere V o conjunto de variaveis e a funcao s V A que atribui a cada variavel
(livre) um elemento do conjunto A. Esta funcao s pode ser estendida ao conjunto de termos
T da linguagem. Assim, funcao s T A e tal que:
1. Para cada smbolo x de variavel, s(x) = s(x).
2. Para cada smbolo c de constante, s(c) = cA .
3. Se f e um smbolo de funcao n-aria e t1 , . . . , tn sao termos
entao s(f (t1 , . . . , tn )) = f A (
s(t1 ), . . . , s(tn )).
23
3.1
Linguagem
s(y) se y x
d
se y = x
24
3.1
Linguagem
Exerccios 3.1.5
1. Para cada uma das especificacoes, escolha uma linguagem e apresente wffs.
(a) O conjunto e unitario.
(b) Um conjunto em que todos os elementos se relacionam entre si.
(c) Um conjunto no qual nenhum elemento se relaciona.
(d) Um conjunto em que todos os elementos se relacionam com alguem.
(e) Um conjunto com uma relacao de equivalencia.
(f) Um conjunto com uma relacao de ordem.
(g) Um conjunto com uma relacao que descreve uma funcao.
(h) Um conjunto com uma funcao unaria injetiva.
(i) Um conjunto com uma funcao unaria sobrejetiva.
(j) Um conjunto com uma funcao unaria constante.
2. Considere uma linguagem com os seguintes smbolos: variaveis v1 , . . . , vn , uma constante c, uma funcao unaria f e um predicado binario P , e a estrutura A tal que A = N,
cA = 0, f A (x) = x + 1, P A e s V N e tal que s(vi ) = i 1. Interprete:
(a) f (f (v3 ))
(b) f (f (c))
(c) P (c, f (v1 ))
(d) v1 P (c, v1 )
(e) v1 P (v2 , v1 )
3. Para cada uma das wffs encontre uma estrutura em que ela e verdadeira e outra em
que e falsa.
(a) x((P (x) Q(x)) (P (x) Q(x)))
(b) xy(P (x, y) P (y, x))
(c) x(P (x) yQ(x, y))
(d) x(P (x) yQ(x, y))
(e) (xP (x) xQ(x)) x(P (x) Q(x))
4. Indique condicoes para que as formulas sejam satisfeitas.
(a) xP (x), xP (x) e xP (x)
(b) x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
(c) x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
(d) x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
(e)
x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
25
3.1
Linguagem
(f) x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
(g) xP (x), xP (x) e xP (x)
(h) x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
(i) x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
(j) x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
(k)
x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
(l) x(P (x) Q(x)), x(P (x) Q(x)) e x(P (x) Q(x))
5. Compare as wffs usando , , ou .
(a) xP (x)
xP (x)
26
3.1
Linguagem
PU
27
Demonstracoes em 1a Ordem
3.2
GU
Ideia: Se garantirmos que wff e verdadeira e que o smbolo de variavel x pode ser
qualquer elemento do conjunto A, entao podemos inserir um quantificador universal.
Cuidado: Se supormos que x e um certo elemento de A tal que e verdadeira entao
nao podemos fazer a generallizacao.
Exemplo: {x(P (x) Q(x)), xP (x)} xQ(x)
1
2
3
4
5
6
PU1
PU2
MP3,4
GU5
GU
Ideia: Se alguma coisa foi nomeada garantindo que a wff seja verdadeira, entao
podemos inserir um quantificador existencial.
Cuidado: A variavel x nao pode aparecer em . Por exemplo, a partir da wff P (a, y)
nao e possvel deduzir yP (y, y), pois o argumento P (a, y) yP (y, y) nao e valido
em qualquer estrutura. A estrutura [Z, 0, <] 0 < y mas [Z, 0, <] y y < y.
Exemplo: {xP (x)} xP (x)
28
Demonstracoes em 1a Ordem
3.2
1 xP (x)
2 P (x)
PU1
3 xP (x) GE2
29
Captulo 4
Algebra
de Boole
4.1 Definicao
Uma algebra de Boole (George Boole 1815-1864) e a estrutura [B, +, , ] sendo
B e um conjunto com dois elementos distintos 0 e 1,
+ e sao operacoes binarias em B e
Associativa:
Comutativa:
Elemento Neutro:
Complemento:
Distributiva:
(x + y) + z = x + (y + z)
(x y) z = x (y z)
x+y =y+x
xy =yx
x+0=x
x1=x
x+x =1
x x = 0
x + (y z) = (x + y) (x + z) x (y + z) = (x y) + (x z)
0
0
1
1
1
1
0
1
0
0
0
1
0
1
x
0
1
x
1
0
{a}
{b}
{a, b}
{a}
{a}
{a}
{a}
{b} {a, b}
{a, b} {a, b}
{b}
{b}
{a, b}
{b}
{a, b}
{a, b}
{a, b}
{a, b}
{a, b}
{a, b}
30
{a}
{b}
{a, b}
{a} {b}
{a}
{b}
{a} {b}
{a, b}
{a}
{b}
{a, b}
4.1
Definicao
{a}
{b}
{a, b}
x
{a, b}
{b}
{a}
1
1
2
3
5
6
10
15
30
2
2
2
6
10
6
10
30
30
3
3
6
3
15
6
30
15
30
5
5
10
15
5
30
10
15
30
6
6
6
6
30
6
30
30
30
10
10
10
30
10
30
10
30
30
15
15
30
15
15
30
30
15
30
30
30
30
30
30
30
30
30
30
mdc
1
2
3
5
6
10
15
30
1
1
1
1
1
1
1
1
1
2
1
2
1
1
2
2
1
2
3
1
1
3
1
3
1
3
3
5
1
1
1
5
1
5
5
5
6
1
2
3
1
6
2
1
6
10
1
2
1
5
2
10
5
10
15
1
1
3
5
3
1
15
15
30
1
2
3
5
6
10
15
30
x
1
2
3
5
6
10
15
30
4.2 Propriedades
A partir dos axiomas da algebra de Boole e possvel demonstrar que:
1. Idempotencia: x + x = x
x + x = (x + x) 1 = (x + x) (x + x ) = x + (x x ) = x + 0 = x
B3
B4
B5
B4
B3
B4
B1
B4
Idemp.
3. Unicidade do complemento.
(RAA) Supor que x + y = 1 e x y = 0 com y x .
y = 1y = (x+x )y = (xy)+(x y) = 0+(x y) = (x x)+(x y) = x (x+y) = x 1 = x
B3
B4
B5
B4
hip.
B5
hip.
B5
B4
B3
5. x (y + (x z)) = (x y) + (x z)
x (y + (x z)) = (x y) + (x (x z)) = (x y) + (x x z) = (x y) + (x z)
B5
B1
Idemp.
31
B3
x
30
15
10
6
5
3
2
1
4.2
Propriedades
32
4.3
Reticulados
4.3 Reticulados
Um conjunto parcialmente ordenado [A, ] e composto por um conjunto nao vazio A
e uma relacao binaria em A reflexiva, antissimetrica e transitiva, isto e, para quaisquer
x, y, z A,
Reflexiva: Se x y e y x entao x = y.
Antissimetrica: Se x y e y x entao x = y.
Transitiva: Se x y e y z entao x z.
Seja [A, ] e x, y A. O supremo de x e y e o elemento s A tal que
S1 x s,
S2 y s e
S3 se existir algum z A com x z e y z entao s z.
O nfimo de x e y e o elemento i A tal que
i1 i x,
i2 i y e
i3 se existir algum z A com z x e z y entao z i.
Notacao: s = x y = x + y e i = x y = x y
Um reticulado e um conjunto parcialmente ordenado no qual existe supremo e nfimo
para quaisquer dois elementos. Assim, supremo e nfimo podem ser entendidos como operacoes
binarias em A. Denota-se um reticulado por [A, , +, ]. Um reticulado e complementado
quando
RC1 Existe um menor elemento 0, isto e, para todo x A, 0 x.
RC2 Existe um maior elemento 1, ou seja, para todo x A, x 1.
RC3 Para todo elemento x A existe x A tal que x + x = 1 e x x = 0.
Um reticulado e distributivo quando para quaisquer x, y, z A,
RD x + (y z) = (x + y) (x + z) e x (y + z) = (x y) + (x z).
Um reticulado complementado e distributivo e uma algebra de Boole.
33
4.3
Reticulados
Exerccio 4.3.1 Indique os diagramas de Hasse que representam algebras de Boole, justificando.
34
4.3
Reticulados
x
x
xy z
xy z + x yz
(x + y) z
xyx
expressao
literal
produto fundamental
FN
Uma func
ao booleana e uma funcao f {0, 1}n {0, 1} para algum n 1.
As possveis representacoes de uma funcao booleana sao por uma tabela ou por um Mapa
de Karnaugh (Maurice Karnaugh 1924-). O mapa de Karnaugh e uma representacao
matricial que armazena somente os valores 1 da funcao de modo que o produto de variaveis
de entrada que diferem apenas por um fator sejam adjacentes.
Exemplos 4.4.2 Considere as funcoes.
1. f {0, 1}2 {0, 1} tal que f (1, 1) = 0, f (1, 0) = 1, f (0, 1) = 1 e f (0, 0) = 0.
x1
1
1
0
0
x2
1
0
1
0
f (x1 , x2 )
0
1
1
0
x2
x2
x1
0
1
x1
1
0
2. Seja a funcao f {0, 1}3 {0, 1} tal que f (1, 1, 1) = f (1, 1, 0) = f (0, 1, 1) = f (0, 0, 1) = 1
e f (1, 0, 1) = f (1, 0, 0) = f (0, 1, 0) = f (0, 0, 0) = 0.
35
4.4
x1
1
1
1
1
0
0
0
0
x2
1
1
0
0
1
1
0
0
x3
1
0
1
0
1
0
1
0
f (x1 , x2 , x3 )
1
1
0
0
1
0
1
0
x3
x3
x1 x2
1
1
x1 x2
x1 x2
1
x1 x2
1
Podemos associar a cada funcao booleana uma expressao. No exemplo anterior item 1, a`s
linhas 2 e 3 ficam associados os produtos fundamentais x1 x2 e x1 x2 , respectivamente. Assim,
a funcao fica associada a` expressao booleana na forma normal
f (x1 , x2 ) = x1 x2 + x1 x2 .
No item 2, `as linhas 1, 2, 5 e 7 ficam associados os produtos fundamentais x1 x2 x3 , x1 x2 x3 ,
x1 x2 x3 e x1 x2 x3 , respectivamente. Entao, a funcao fica associada a` expressao booleana na
forma normal
f (x1 , x2 , x3 ) = x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3 .
Para funcoes com um n
umero maior de variaveis, o mapa e a representacao mais sintetica.
Considere o mapa a seguir.
x1 x2
x3 x 4
x3 x4
x3 x4
x3 x4
x1 x2
1
x1 x2
x1 x2
1
1
A funcao associada e:
f (x1 , x2 , x3 , x4 ) = x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 .
36
4.4
x=1
x=0
x1 = 1
1
x2 = 0
Esta combinacao pode ser associada a` operacao boolena x + y e `a porta logica OU.
x1
1
1
0
0
x2
1
0
1
0
x1 + x2
1
1
1
0
x1
x2
37
x1+x2
4.5
Circuitos Logicos
x1 = 1
x2 = 0
x1
1
1
0
0
x2
1
0
1
0
x1 . x2
1
0
0
0
x1
x1.x2
x2
x1
1
0
x'1
0
1
x1
x'1
Observe que, circuitos podem ser associados a funcoes booleanas, isto e, a expressoes
booleanas.
38
4.5
Circuitos Logicos
a express
fica associada
ao booleana
x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 .
4.6 Minimiza
cao
x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4
e a manipulaca
o algebrica:
1
2
3
4
5
x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 = B2
x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 = B5
x1 x2 x4 (x3 + x3 ) + (x1 + x1 )x2 x3 x4 =
B4
x1 x2 x4 1 + 1 x2 x3 x4 =
B3
x1 x2 x4 + x2 x3 x4
Cada uma das linhas desta manipulacao e uma expressao booleana associada a` mesma
funcao booleana. Tanto 1 quanto 5 estao na forma normal, e 5 e a forma simplificada
ou mnima de 1 .
Vamos tratar agora de minimizacao de circuitos atraves do mapa de Karnaugh. Devemos
agrupar todas as ocorrencias adjacentes contendo uns de forma a obter a maior combinacao
possvel. Assim reduziremos o n
umero de parcelas na expressao.
x1 x2
x3 x 4
x3 x4
x3 x4
x3 x4
x1 x2
1
x1 x2
x1 x2
1
1
39
4.6
Minimizacao
Observe que, tomar celuas adjacentes corresponde a` simplicacao algebrica com o uso dos
axiomas da distributividade, complementaridade e elemento neutro.
Finalmente, o circuito de Exemplo 4.5.1 e equivalente a um circuito menor.
x1
x2
x4
x2
x3
x4
x1 x2
x3 x 4
x3 x4
x3 x4
x3 x4
x1 x2
1
x1 x2
1
1
1
1
x1 x2
1
1
Dois possveis
agrupamentos de uns.
x3 x4
x3 x
4
x3 x
4
x3 x4
x1 x2
x1 x2
1
1
x1 x2
1
1
1
1
x1 x2
x1 x2
x3 x4
x3 x4
x3 x4
x3 x4
1
1
x1 x2
1
1
x1 x2
1
1
1
1
x1 x2
1
1
4.6
Minimizacao
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
41
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Captulo 5
Gabarito
5.1 1a Ordem
1. (a) O conjunto e unitario.
L = {c} e x x = c
(e) Um conjunto com uma relacao de equivalencia.
L = {P2 } xP (x, x)
xy(P (x, y) P (y, x))
xyz((P (x, y) P (y, z))) P (x, z))
(i) Um conjunto com uma funcao unaria sobrejetiva.
L = {f1 } e yxf (x) = y
2. (a) f (f (v3 ))
s(f (f (v3 ))) = f A (f A (
s(v3 ))) = f A (f A (s(v3 ))) = f A (f A (2))) = f A (2 + 1) = 4
(e) v1 P (v2 , v1 )
A v1 P (v2 , v1 ) [s] quando
quando
quando
quando
quando
para
para
para
para
para
todo
todo
todo
todo
todo
d N,
d N,
d N,
d N,
d N,
1a Ordem
5.1
(f)
xP (x)
PA = A
xP (x)
PA
5.2 Algebra
de Boole
Itens:
1. x x = xx + 0 = xx + xx = x(x + x ) = x1 = x
5. x + (x y) = x1 + xy = x(1 + y) = x1 = x
9. (x + (y z)) = x (yz) = x (y + z ) = (x y ) + (x z )
10. Enunciado correto: (x + y) (x + 1) = x + (x y) + y e (x y) + (x 0) = x (x + y) y
13. ((x y) z) + (y z) = (x(yz)) + (yz) = y z
20. Enunciado correto: x + y = 0 se, e somente se, x = 0 e y = 0
43
Algebra
de Boole
5.2
5.3 Reticulados
5.4 Minimizacao
1
1
1
x3
x1 x2 x3 + x1 x2 + x2 x3
1
1
1
1
1
x2 x3 x4 + x2 x4 + x2 x3 x4 ou . . .
1
1
1
1
1
1
1
1
1
1
1
x1 x2 x3 + x2 x3 x4 + x1 x2 x4 ou . . .
x1 x2 + x2 x4 + x1 x3 x4 + x1 x3 x4
44