Logica PDF

Logica Proposicional Exemplos de Aplicacoes Equivalencias Logicas Logica de Predicados Regras de Inferencia
Logica
Prof. Eanes Torres Pereira
Matematica Discreta
Prof. Eanes Torres Pereira 1 / 63 UFCG CEEI

Por que estudar Logica?
A logica distingue argumentos validos de invalidos.

E a base para todo o raciocnio matematico e computacional.
Exemplos: projeto de circuitos, linguagens de programacao e
inteligencia artificial.

Roteiro
1. Logica Proposicional
2. Exemplos de Aplicacoes da Logica Proposicional
3. Equivalencias Logicas
4. Logica de Predicados
5. Regras de Inferencia

Proposicoes
Uma proposicao e uma sentenca declarativa que e verdadeira ou falsa.
Exemplo 1: As seguintes sentencas sao proposicoes:
Campina Grande e a capital da Paraba.
Los Angeles e a capital dos EUA.
1+1=2
2+2=3
Exemplo 2: As sentencas seguintes sao proposicoes?
Que horas sao?
Estude com atencao.
x + 1 = 2.
x + y = z.

Convencoes
Letras para denotar variaveis proposicionais ou booleanas,

e.g., p, q, r , s, . . .
T :=verdade e F :=falso.

Operador de Negacao
Definicao 1
Seja p uma proposicao. A negacao de p, denotada por p (ou p),
corresponde ao valor verdade oposto de p.
Exemplo 3: Seja a proposicao p Hoje e Quarta. A negacao p e

traduzida como Hoje nao e Quarta.
Tabela verdade
p p
T F
F T

Operador de Conjuncao
Definicao 2
Sejam p e q proposicoes. A conjuncao de p e q, denotada por p q (ou
p q), e verdadeira quando ambos p e q forem verdadeiras e falsa de
outra forma.
Exemplo 4: Seja p a proposicao Hoje e sexta e q a proposicao Esta

chovendo hoje, a conjuncao p q pode ser escrita como Hoje e sexta e
esta chovendo hoje.
Tabela verdade
p q pq
T T T
T F F
F T F
F F F

Operador de Disjuncao
Definicao 3
Sejam p e q proposicoes. A disjuncao de p e q, denotada por p q (ou
p + q), e falsa quando ambas p e q forem falsas e verdadeira de outra
forma.
Exemplo 5: Seja p a proposicao Ele cursara Calculo e q a proposicao

Ele cursara Algebra linear. Entao a disjuncao p q pode ser escrita como
Ele cursara Calculo ou Algebra linear.
Tabela verdade
p q pq
T T T
T F T
F T T
F F F

Operador OU Exclusivo
Definicao 4
Sejam p e q proposicoes. O ou exclusivo de p e q, denotado por
p q, e a proposicao que e verdadeira quando exatamente uma
das duas proposicoes forem verdadeiras e falsa de outra forma.
Exemplo 6: O novo aluno nasceu no Uruguai ou Argentina.
Tabela verdade
p q pq
T T F
T F T
F T T
F F F

Operador de Implicacao
Definicao 5
Sejam p e q proposicoes. A implicacao p q so e falsa quando q
e falsa e p e verdadeira.
Exemplo 7: Se ele for eleito, aumentara o salario mnimo.
Tabela verdade
p q pq
T T T
T F F
F T T
F F T
Diferente de if-then-else! Por quAa ?

Implicacao: Converso, Contrapositivo e Inverso
Dada a implicacao p q:
q p e chamada de converso.
q p e chamada de contrapositivo.
p q e chamada de inverso.
Exerccio 1: Qual deles tem o mesmo valor logico da implicacao

original?

Operadores: Implicacao Bicondicional

Definicao 6
Sejam p e q proposicoes. A implicacao bicondicional p q e
verdadeira quando p e q possuem o mesmo valor verdade e falsa
de outra forma.
Exemplo 8: Voce pode embarcar no aviao se e somente se comprou

a passagem.
Tabela verdade
p q pq
T T T
T F F
F T F
F F T

Precedencia de Operadores
Quando a precedencia nao estiver explicitada atraves de

parenteses, a seguinte ordem de precedencia deve ser utilizada:
Operador Precedencia
1
2
3
4
5
Exemplo 9: A expressao p q r significa p (q r ) e nao

(p q) r .

Proposicoes Compostas
Podemos usar os operadores apresentados para construir proposicoes

complexas envolvendo qualquer numero de proposicoes.
Exemplo 10: (p q) (p q)
Tabela verdade
p q q p q p q (p q) (p q)
T T F T T T
T F T T F F
F T F F F T
F F T T F F

Roteiro

Operacoes Bit-a-Bit
Valores logicos podem tambem representar bits (1 = T e 0 = F ).
Operacoes de bit correspondem aos operadores da logica
proposicional.
Exemplo 11: Abaixo as operacoes bit-a-bit OR (), AND () e XOR ()

entre duas cadeias de bits.
01 1011 0110
11 0001 1101

11 1011 1111 (OR bit-a-bit)
01 0001 0100 (AND bit-a-bit)
10 1010 1011 (XOR bit-a-bit)

Busca Booleana na Web
Exemplo 12: Quais pecas de Shakespeare contem Brutus Cesar

Calpurnia?

Busca Booleana na Web
Exemplo 12: Quais pecas de Shakespeare contem Brutus Cesar

Calpurnia?
Solucao: Dada a matriz de incidencia binaria termo-documento abaixo:
Antonio e Cleopatra Julio Cesar A Tempestade Hamlet Othello Macbeth

Antonio 1 1 0 0 0 1
Brutus 1 1 0 1 0 0
Cesar 1 1 0 1 1 1
Calpurnia 0 1 0 0 0 0
Cleopatra 1 0 0 0 0 0
Realiza-se as operacoes logicas na consulta a nvel de bits nos vetores

binarios representando os termos da consulta.

Roteiro

Tautologias e Contradicoes
Definicao 7
Tautologia: Uma proposicao composta que e sempre verdadeira.
Contradicao: Uma proposicao composta que e sempre falsa.
Contingencia: Nem tautologia nem contradicao.
Exemplo 12: Mostre que p p e uma tautologia e p p uma

contradicao.
p p p p p p
T F T F
F T T F

Equivalencias Logicas
Definicao 8
As proposicoes compostas p e q sao logicamente equivalentes se p q
for uma tautologia. A notacao p q denota que p e q sao logicamente
equivalentes.
Exerccio 2: Use tabelas de verdade para determinar se as proposicoes

abaixo sao logicamente equivalentes:
a) (p q) e p q (uma das leis de De Morgan).
b) p q e p q.
c) p (q r ) e (p q) (p r ) (lei distributiva da disjuncao).

Algumas Equivalencias Importantes

Equivalencia Nome
pTp Leis de Identidade
pFp
pTT Leis de Dominacao
pFF
pp p Leis de Idempotencia
pp p
pq qp Leis Comutativas
pq qp
(p) p Negacao Dupla
p (q r ) (p q) (p r ) Leis Distributivas
p (q r ) (p q) (p r )
(p q) r p (q r ) Leis Associativas
(p q) r p (q r )
ppq p Leis de Absorcao
p (p q) p
(p q) p q Leis de De Morgan
(p q) p q
p p T Leis de Negacao
p p F

Equivalencias Envolvendo Implicacao
Equivalencia
p q p q
p q q p
p q p q
p q (p q)
(p q) p q
(p q) (p r ) p (q r )
(p r ) (q r ) (p q) r
(p q) (p r ) p (q r )
(p r ) (q r ) (p q) r

Utilizando Equivalencias Logicas
Exemplo 13: Mostre que (p q) p q utilizando equivalencias

logicas.
Solucao:
(p q) (p q) (pela letra (b) Exerccio 2)

(p) q (pela segunda lei de De Morgan)
p q (pela negacao dupla)

Exemplo 14
Mostre que (p (p q)) p q utilizando equivalencias logicas.

Solucao:
(p (p q)) p (p q) (pela segunda lei de De Morgan)

p [(p) q] (pela primeira lei de De Morgan)
p (p q) (pela negacao dupla)
(p p) (p q) (pela segunda lei distributiva)
F (p q) (pela segunda lei da negacao)
(p q) F (pelas leis comutativas)
p q (pela segunda lei da identidade)

Exemplo 15
Mostre que (p q) (p q) e uma tautologia.

Solucao:
(p q) (p q) (p q) (p q) (letra (b) Exerccio 2)

(p q) (p q) (primeira lei de De Morgan)
(p p) (q q) (leis associativas e comutativas)
T T (leis da negacao)
T (lei da dominacao)

Exerccio 3
Mostre que (p q) (p r ) p (q r ) usando tabelas de

verdade e outras equivalencias logicas.

Roteiro

Logica de Predicados
A logica proposicional possui expressividade limitada, por

exemplo, as sentencas:
x > 3,Ha pelo menos dois amigos nessa sala
nao podem ser expressadas atraves da logica proposicional.


A logica de predicados permite expressar propriedades e
relacoes entre objetos.


A afirmacao x > 3 acima tem duas partes:


1. o sujeito, aqui a variavel x;


1. o sujeito, aqui a variavel x;
2. o predicado e maior que 3, que se refere a uma propriedade
do sujeito.

Predicados
Representados por funcoes proposicionais da forma P(x).

Quando x toma uma valor no seu domnio, P(x) se
transforma em uma proposicao.
Uma afirmacao envolvendo n variaveis x1 , x2 , . . . , xn pode ser
denotada por
P(x1 , x2 , . . . , xn )
onde n representa a aridade do predicado.
Por exemplo: P(x, y ) :=x e pai de y ou Q(x, y , z) :=x, y
e z estudam na mesma universidade.

Exemplos
Exemplo 16: Seja P(x) a sentenca x > 3. Quais os valores ver-

dade de P(4) e P(2) para o domnio dos numeros inteiros?

Exemplos

Solucao: Como P(4) corresponde a 4 > 3, entao P(4) e verda-
deira. Ja P(2) e falsa, pois 2 < 3.

Exemplos

Solucao: Como P(4) corresponde a 4 > 3, entao P(4) e verda-
deira. Ja P(2) e falsa, pois 2 < 3.
Exerccio 4: Seja Q(x, y ) a sentenca x = y + 3. Determine os

valores verdade de Q(1, 2) e Q(3, 0) para o domnio dos numeros
inteiros.

Interpretacao
Definicao 9
Uma interpretacao na logica de predicados consiste em:
a) Uma colecao de objetos chamado de domnio da interpretacao.
b) A especificacao de uma propriedade dos objetos no domnio
para cada predicado na expressao.
c) A atribuicao de um objeto particular no domnio para cada
smbolo constante na expressao.
O valor logico de um predicado depende da interpretacao!

Exemplo 17
Determine o valor verdade de P(x) para as seguintes interpretacoes:

a) x > 1 para todo x Z+ .
b) x e amarela para todo x no conjunto de todas as flores.
Solucao:
a) Falso pois 1 6> 1
b) Falso pois nem todas as flores sao amarelas.

Quantificadores
Avaliam a extensao que um predicado e verdadeiro num intervalo de
elementos.
Sentenca Quando verdadeira? Quando falsa?
x P(x) P(x) e verdadeira para Existe um x tal que
todo x. P(x) e falsa
x P(x) Existe um x tal que P(x) e falsa para todo x
P(x) e verdadeira
Quando os elementos do domnio sao finitos e enumeraveis digamos

x1 , x2 , . . . , xn x P(x) e o mesmo que a conjuncao
P(x1 ) P(x2 ) . . . P(xn )
e x P(x) e o mesmo que
P(x1 ) P(x2 ) . . . P(xn )

Exemplos
Exemplo 18: Seja P(x) a sentenca x 2 > 0. Determine o valor verdade

de x P(x) para o domnio dos numeros inteiros.

Exemplos

Solucao: Para provar que a sentenca e falsa basta encontrarmos um
contra-exemplo. Como x 2 = 0 quando x = 0, entao x 2 nao e maior que
zero quando x = 0.

Exemplos

Solucao: Para provar que a sentenca e falsa basta encontrarmos um
contra-exemplo. Como x 2 = 0 quando x = 0, entao x 2 nao e maior que
zero quando x = 0.
Exerccio 5: Seja Q(x) a sentenca x 2 > 10. Determine o valor verdade

de x Q(x) para todos os inteiros positivos nao maiores que 4.

Escopo de Quantificadores
Parenteses e colchetes definem o escopo de um quantificador.

Por exemplo,
(x)[P(x) Q(x)] (1)

x P(x) Q(x) (2)
Em (1) o escopo de (x) e P(x) Q(x).

Em (2) o escopo de x e P(x).
Quando nao ha parenteses a ordem de precedencia dos
quantificadores e maior que todos os outros operadores.

Variaveis Livres
Variavel Livre
Uma variavel que nao esta no escopo de um quantificador e nao
possui valor determinado e dita variavel livre.
Exemplo 19: A variavel y e livre em
(x)[Q(x, y ) (y )R(x, y )] (na primeira ocorrencia)
e
x(x + y = 1)

Quantificadores Aninhados
Dois quantificadores sao ditos aninhados se um esta no escopo do

outro.
Exemplo 20: A lei da comutatividade para a soma de reais pode
ser dada como:
xy (x + y = y + x)
Exerccio 6: Traduza a seguinte expressao para o portugues:
xy ((x > 0) (y < 0) (xy < 0))
onde o x, y R

Leis de De Morgan para Quantificadores
Negacao Equivalente
x P(x) xP(x)
x P(x) xP(x)
Exemplo 20: Seja x P(x) a sentenca Todo aluno nessa turma

cursou ICC. Expresse a negacao dessa sentenca em portugues.

Leis de De Morgan para Quantificadores
Negacao Equivalente
x P(x) xP(x)
x P(x) xP(x)
Exemplo 20: Seja x P(x) a sentenca Todo aluno nessa turma

cursou ICC. Expresse a negacao dessa sentenca em portugues.
Solucao: Nao e o caso que todo aluno nessa turma cursou ICC,
o que e equivalente a dizer Ha um aluno nessa turma que nao
cursou ICC e portanto xP(x) xP(x).

Ordem dos Quantificadores
A ordem dos quantificadores importa na avaliacao da expressao.


Exemplo 21: Seja Q(x, y ) a expressao x + y = 0. Determine os
valores verdade de y x Q(x, y ) e xy Q(x, y ) para R.


Solucao: y x Q(x, y ) e falsa, pois nao existe um numero y tal
que Q(x, y ) seja verdadeira para todo x. Ja xy Q(x, y ) e
verdadeira, pois para todo x existe um y tal que Q(x, y ) seja
verdade, ou seja, y = x.


Solucao: y x Q(x, y ) e falsa, pois nao existe um numero y tal
que Q(x, y ) seja verdadeira para todo x. Ja xy Q(x, y ) e
verdadeira, pois para todo x existe um y tal que Q(x, y ) seja
verdade, ou seja, y = x.
Exerccio 6: Seja Q(x, y , z) a expressao x + y = z. Determine

os valores verdade de xy z Q(x, y , z) e zxy Q(x, y , z), para
R.

Traducao
Muitas declaracoes em Portugues podem ser expressas na

logica de predicados.
Depois da traducao a senteca fica mais precisa e pode ser
avaliada.
Importante para especificacao de sistemas.

Exemplo 22
Traduza Todos os cachorros sao leais para a logica de predicados.

Exemplo 22
Traduza Todos os cachorros sao leais para a logica de predicados.

Solucao: Assumindo o domnio composto de todas as coisas, a expressao
acima significa Dada uma coisa, se e cachorro, entao e leal. Denotando,
C (x) := x e um cachorro
L(x) := x leal
A expressao pode ser escrita como
(x)(C (x) L(x))
Por que nao (x)(C (x) L(x))?

Exemplo 22 cont.
Alternativamente, podemos considerar que todo o domnio e

formado por cachorros. Denotando,
L(x) := x e leal
A expressao pode ser traduzida simplesmente por x L(x)

Exemplo 23
Traduza Todo aluno nessa turma estudou calculo.

Solucao: Assumindo o domnio composto de todas as coisas, a expressao
acima significa Dada uma coisa, se e aluno, entao estudou calculo. De-
notando,
A(x) := x e um aluno
C (x) := x estudou calculo
A expressao pode ser escrita como
(x)(A(x) C (x))
Por que nao (x)(A(x) C (x))?

Exerccio 7
Expresse as sentencas a seguir em logica de predicados:
Algum aluno nessa turma vai ao Parque do Povo

Todo aluno nessa turma vai ao Parque do Povo ou Vila do Forro

Exerccio 8
Expresse as sentencas a seguir em logica de predicados para o

domnio de todas as criaturas:
Todos os leoes sao ferozes

Alguns leoes nao bebem cafe
Algumas criaturas ferozes nao bebem cafe

Logica Proposicional vs Logica de Predicados
Proposicao Composta Predicado Composto

Valor logico Verdadeiro ou falso, dependendo Verdadeiro, falso ou talvez se a
da configuracao de valores das le- expressao tiver uma variavel livre
tras proposicionais. sem valor logico.
Sempre verdade Tautologia - verdadeiro para todas Validade - verdadeiro para todas as
as atribuicoes de valores logicos. interpretacoes.
Metodologia Tabela-verdade para determinar se Nao existe metodologia para de-
uma proposicao e uma tautologia. terminar se um predicado e valido.

Roteiro

Argumentos Validos
Definicao 10
Um argumento e uma sequencia de afirmacoes (premissas ou hipoteses)
que terminam com uma conclusao. Um argumento e dito valido se a
verdade das premissas implica na verdade da conclusao.
Um argumento com as premissas p1 , p2 , . . . , pn e conclusao q e valido

quando (p1 p2 . . . pn ) q for uma tautologia. O argumento
abaixo, por exemplo,
pq
p
q
e valido pois ((p q) p) q e uma tautologia (verifique isso).

Algumas Regras de Inferencia Importantes

Regra de Inferencia Nome
pq
p
Modus ponens
q
pq
q
Modus tollens
p
pq
qr
Silogismo hipotetico
pr
pq
p
Silogismo disjuntivo
q
p
Adicao
pq
pq
Simplificacao
p
p
q
Conjuncao
pq

Exerccio 8
Que regras de inferencia sao usadas nos argumentos abaixo?

a) Cangurus vivem na Australia e sao marsupiais. Portanto,
cangurus sao marsupiais.
b) Linda e uma otima nadadora. Se Linda e uma otima nadadora,
entao ela pode trabalhar como salva-vidas. Portanto, Linda
pode trabalhar como salva-vidas.
c) Se chover hoje a Universidade vai fechar. A Universidade nao
esta fechada hoje. Portanto, nao choveu hoje.

Seqencias de Demonstracao
Podemos usar uma sequencia de demonstracao para provar a

validade de argumentos. A sequencia tem a seguinte forma:
Passo Justificativa
1. p1 Hipotese
2. p2 Hipotese
3. p3 Inferida de (1) e (2)
4. p4 Hipotese
5. p5 Inferida de (3) e (4)
6. p6 Equivalencia Logica de (5)
..
.

Exemplo 23
Mostre que a conclusao t pode ser deduzida das seguintes
hipoteses:
(p q) (r p) (r s) (s t)
Solucao:
Passo Justificativa
1. p q Hipotese
2. p Simplificacao em (1)
3. r p Hipotese
4. r Modus tollens em (2) e (3)
5. r s Hipotese
6. s Modus ponens em (4) e (5)
7. s t Hipotese
8. t Modus ponens em (6) e (7)

Exemplo 24
Prove que o seguinte argumento e valido:
a (b c) [(a b) (d c)] b d
Passo Justificativa
1. a Hipotese
2. b c Hipotese
3. (a b) (d c) Hipotese
4. b Hipotese
5. c Modus ponens em (2) e (4)
6. a b Conjuncao em (1) e (4)
7. d c Modus ponens em (3) e (6)
8. c d Comutatividade em (7)
9. c d Equivalente a (8)
10. d Modus ponens em (5) e (9)

Exerccio 9
Prove que o seguinte argumento e valido:
(q p) p (q r ) r

Falacias Comuns
Falacias parecem regras de inferencia, mas sao baseadas em

contingencias e nao tautologias.
Falacia Nome
[(p q) q] p Afirmacao da conclusao
[(p q) p] q Negacao da hipotese

Exemplos de Falacias
Exemplo 24: O argumento a seguir e uma falacia. Se voce fizer

todos os exerccios do livro texto, voce aprendera matematica dis-
creta. Voce aprendeu matematica discreta. Entao, voce fez todos os
exerccios do livro texto.
Exemplo 25: O argumento a seguir e uma falacia. Se voce fizer

todos os exerccios do livro texto, voce aprendera matematica dis-
creta. Voce nao fez todos os exerccios do livro texto. Entao, voce
nao aprendeu matematica discreta.

Regras de Inferencia na Logica de Predicados
Regras de inferencia tambem podem ser aplicadas na logica

de predicados.
A abordagem e retirar os quantificadores, manipular as
expressoes predicadas, e depois coloca-las no lugar.

Particularizacao Universal
Se P(x) e verdadeira para todo x no domnio, entao podemos no-

mear um elemento do domnio por uma constante a tal que P con-
tinuara sendo verdadeira para essa constante.
Regra de Inferencia Nome

x P(x)
Particularizacao Universal
P(a)

Exemplo 26
Mostre que o seguinte argumento e valido: Todos os homens sao
mortais. Socrates e homem. Portanto, Socrates e mortal.
Solucao: Seja H(x) a sentenca x e homem, M(x) x e mortal e
s um smbolo constante para Socrates. Entao o argumento fica
[(x) (H(x) M(x)) H(s)] M(s)
e uma sequencia de demonstracao e
Passo Justificativa
1. (x) (H(x) M(x)) Hipotese
2. H(s) M(s) Particularizacao Universal em (1)
3. H(s) Hipotese
4. M(s) Modus ponens em (2) e (3)

Particularizacao Existencial
Se P(x) e verdadeira para algum x no domnio, entao podemos nomear

esse elemento especfico atraves de uma constante tal que P continuara
sendo verdadeira para essa constante.
Regra de Inferencia Nome Restricoes

x P(x)
Particularizacao Existencial A constante a nao pode ter
P(a) sido utilizada anteriormente
por alguma outra regra ou
hipotese.

Exemplo 27
Os seguintes passos seriam vAlidos em uma sequAa ncia de demons-

tracao
Passo Justificativa
1. x (P(x) Q(x)) Hipotese
2. yP(y ) Hipotese
3. P(a) Particularizacao Existencial em (2)
4. P(a) Q(a) Particularizacao Universal em (1)
5. Q(a) Modus Ponens em (3) e (4)

Exemplo 27
Os seguintes passos seriam vAlidos em uma sequAa ncia de demons-

tracao
Passo Justificativa
1. x (P(x) Q(x)) Hipotese
2. yP(y ) Hipotese
3. P(a) Particularizacao Existencial em (2)
Note que se os passos (3) e (4) fossem invertidos, nao haveria

razao para supor que esse a especfico e o que tem a propriedade P
como na hipotese (2).

Generalizacao Universal
Se a representar um elemento arbitrario no domnio que tem a propriedade

P, entao podemos generalizar que todo elemento no conjunto universo tem
a propriedade P.

P(a) para um a arbitrario
Generalizacao Universal P(a) nao pode ter si-
x P(x) do deduzida de nenhuma
hipotese na qual x e uma
variavel livre.

Exemplo 28
Mostre que
(x) [P(x) Q(x)] x P(x) x Q(x)
Passo Justificativa
1. (x) (P(x) Q(x)) Hipotese
2. x P(x) Hipotese
4. P(a) Particularizacao Universal em (2)
6. x Q(x) Generalizacao Universal em (5)

Generalizacao Existencial
A ideia e que se algo e nomeado como possuindo a propriedade P, entao

exsite alguma coisa com a propriedade P.

P(a)
Generalizacao Existencial Para ir de P(a) a x P(x), x
x P(x) nao pode aparecer em P(a).

Exemplo 29
Mostre o argumento x P(x) x P(x)
Passo Justificativa
1. x P(x) Hipotese
2. P(a) Particularizacao Universal (1)
3. x P(x) Generalizacao Existencial em (2)

Exemplo 30
Prove o argumento (x) [P(x) Q(x)] x P(x) x Q(x)
Passo Justificativa
1. (x)[P(x) Q(x)] Hipotese
2. P(x) Q(x) Particularizacao Universal (1)
3. P(x) Simplificacao em (2)
4. Q(x) Simplificacao em (2)
5. x P(x) Generalizacao Universal em (3)
6. x Q(x) Generalizacao Universal em (4)
7. x P(x) x Q(x) Conjuncao em (5) e (6)

Exerccio 10
Use regras de inferencia para mostrar que o seguinte argumento e

valido: Alguns alunos sao musicos. Todos os musicos sao sensveis.
Portanto, alguns alunos sao sensveis. Assumindo o domnio de
todas as coisas.

Referencias
Keneth H. Rosen. Discrete Mathematics and Its Applications.

Sexta Edicao. McGRAW-HILL International Edition, 2007.
Judith L. Gersting. Fundamentos Matematicos para a Ciencia
da Computacao. Quinta Edicao. LTC, 2004.
Leandro Balby Marinho. Slides fornecidos de anos anteriores,
2013.

Logica PDF

Enviado por

Dados do documento

Título original

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

Logica PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Logica Proposicional Exemplos de Aplicacoes Equivalencias Logicas Logica de Predicados Regras de Inferencia

Prof. Eanes Torres Pereira

Prof. Eanes Torres Pereira 1 / 63 UFCG CEEI

Por que estudar Logica?

A logica distingue argumentos validos de invalidos.

Prof. Eanes Torres Pereira 2 / 63 UFCG CEEI

2. Exemplos de Aplicacoes da Logica Proposicional

Prof. Eanes Torres Pereira 3 / 63 UFCG CEEI

Prof. Eanes Torres Pereira 3 / 63 UFCG CEEI

Letras para denotar variaveis proposicionais ou booleanas,

Prof. Eanes Torres Pereira 4 / 63 UFCG CEEI

Exemplo 3: Seja a proposicao p Hoje e Quarta. A negacao p e

Prof. Eanes Torres Pereira 5 / 63 UFCG CEEI

Exemplo 4: Seja p a proposicao Hoje e sexta e q a proposicao Esta

Prof. Eanes Torres Pereira 6 / 63 UFCG CEEI

Exemplo 5: Seja p a proposicao Ele cursara Calculo e q a proposicao

Prof. Eanes Torres Pereira 7 / 63 UFCG CEEI

Exemplo 6: O novo aluno nasceu no Uruguai ou Argentina.

Prof. Eanes Torres Pereira 8 / 63 UFCG CEEI

Exemplo 7: Se ele for eleito, aumentara o salario mnimo.

Diferente de if-then-else! Por quAa ?

Prof. Eanes Torres Pereira 9 / 63 UFCG CEEI

Implicacao: Converso, Contrapositivo e Inverso

Exerccio 1: Qual deles tem o mesmo valor logico da implicacao

Prof. Eanes Torres Pereira 10 / 63 UFCG CEEI

Operadores: Implicacao Bicondicional

Exemplo 8: Voce pode embarcar no aviao se e somente se comprou

Prof. Eanes Torres Pereira 11 / 63 UFCG CEEI

Quando a precedencia nao estiver explicitada atraves de

Exemplo 9: A expressao p q r significa p (q r ) e nao

Prof. Eanes Torres Pereira 12 / 63 UFCG CEEI

Podemos usar os operadores apresentados para construir proposicoes

Prof. Eanes Torres Pereira 13 / 63 UFCG CEEI

2. Exemplos de Aplicacoes da Logica Proposicional

Prof. Eanes Torres Pereira 14 / 63 UFCG CEEI

Exemplo 11: Abaixo as operacoes bit-a-bit OR (), AND () e XOR ()

Prof. Eanes Torres Pereira 14 / 63 UFCG CEEI

Busca Booleana na Web

Exemplo 12: Quais pecas de Shakespeare contem Brutus Cesar

Prof. Eanes Torres Pereira 15 / 63 UFCG CEEI

Busca Booleana na Web

Exemplo 12: Quais pecas de Shakespeare contem Brutus Cesar

Antonio e Cleopatra Julio Cesar A Tempestade Hamlet Othello Macbeth

Realiza-se as operacoes logicas na consulta a nvel de bits nos vetores

Prof. Eanes Torres Pereira 15 / 63 UFCG CEEI

2. Exemplos de Aplicacoes da Logica Proposicional

Prof. Eanes Torres Pereira 16 / 63 UFCG CEEI

Exemplo 12: Mostre que p p e uma tautologia e p p uma

Prof. Eanes Torres Pereira 16 / 63 UFCG CEEI

Exerccio 2: Use tabelas de verdade para determinar se as proposicoes

Prof. Eanes Torres Pereira 17 / 63 UFCG CEEI

Algumas Equivalencias Importantes

Prof. Eanes Torres Pereira 18 / 63 UFCG CEEI

Equivalencias Envolvendo Implicacao

Prof. Eanes Torres Pereira 19 / 63 UFCG CEEI

Utilizando Equivalencias Logicas

Exemplo 13: Mostre que (p q) p q utilizando equivalencias

(p q) (p q) (pela letra (b) Exerccio 2)

Prof. Eanes Torres Pereira 20 / 63 UFCG CEEI

Mostre que (p (p q)) p q utilizando equivalencias logicas.

(p (p q)) p (p q) (pela segunda lei de De Morgan)

Prof. Eanes Torres Pereira 21 / 63 UFCG CEEI

Mostre que (p q) (p q) e uma tautologia.