Aula 2 - Lógica Proposicional - V2

Lgica Proposicional
Aula 2
Prof. Msc. Angelo Darcy
Prof. Msc. Angelo Darcy Molin Brun Matemtica Discreta
Fatos Histricos
Aristteles (384 a.C.322 a.C.)
Filsofo grego. Produziu uma obra rica e
multifacetada.
Nela encontrado uma exaustiva compilao dos
conhecimentos do seu tempo, mas tambm, uma
filosofia que ainda hoje influncia a nossa maneira
de pensar.
Responsvel por escrever os primeiros grandes trabalhos de
lgica:
Coleo de regras para raciocnio dedutivo que podem ser
usadas em qualquer rea do conhecimento.
Fatos Histricos
Gottfried Wilhelm Leibniz (16461716)
Filsofo e matemtico alemo,
provavelmente mais conhecido por ter
inventado o clculo integral e
diferencial.
Prope o uso de smbolos para mecanizar o
processo de raciocnio dedutivo.
Fatos Histricos
George Boole (18151864)
Matemtico
e filsofo ingls.
Augustus De Morgan
(18061871), matemtico
ingls.
Propem as bases
da lgica simblica
moderna usando as
idias de Leibniz.
Atualidade
Pesquisa continua sendo aplicada em
reas como:
inteligncia artificial;
projeto de circuito lgico;
teoria de autmatos e computabilidade;
teoria de bancos de dados relacionais;
teoria de linguagens;
teoria de sistemas distribudos.
Lgica
A Lgica a base de todo raciocnio
matemtico e de todo raciocnio
automatizado.
Para entender matemtica, precisamos
entender o que torna um argumento
matemtico correto.
Chamado de Demonstrao
Forma de Argumento
Forma de Argumento
Conceito Central da lgica dedutiva
Argumento
Sequncia de afirmaes para demonstrar a
validade de uma assero.
Principais Tpicos
O que torna um argumento matemtico
correto;
Introduzir ferramentas para construir
esses argumentos.
Lgica Proposicional
As regras lgicas do um significado
preciso para as sentenas matemticas;
Proposies
Sentena declarativa, que pode ser
verdadeira ou falsa, mas no ambas.
Obs.: Sentena declarativa: Sentena que declara um fato.
Lgica Proposicional
Exemplos de Sentenas Declarativas
Braslia a capital do Brasil
So Paulo a capital do Rio de Janeiro
1 + 1 = 2
2 + 2 = 3
Exemplos
Sentena
Que horas so?
Leia isto cuidadosamente.
No so proposies por que no so
sentenas declarativas
Exemplos
Sentenas:
X + 1 = 2
X + Y = Z

No so proposies por que no so nem verdadeiras
nem falsas.
Podemos tornar estas sentenas proposies se
atribuirmos valores as variveis
Preposies Compostas
As sentenas matemticas so
construdas combinano-se um ou mais
proposies.
Novas proposies so criadas a partir de
proposies existentes usando
operadores lgicos.
Preposies Compostas
A partir deste momento, ser usando
letras minusculas para representar
afirmaes
p, q, r!
Exemplo
Encontre a negao da proposio
Hoje Sexta-Feira
Solues:
No o caso de hoje ser sexta-feira
Hoje no sexta-feira
No sexta-feira hoje
Preposies Compostas
Expresses Lgicas
Expresso Lgica Detalhe
~ ou : negao p lido como no p ou
negao de p
: e p q lido como p e q e
chamado de conjuno de p
e q.
: ou p q lido como p ou q e
chamado de disjuno de
p e q.
Exemplo
Dado a expresso p
Hoje Sexta-Feira.
Qual a negao da sentena?
p
Tabela-Verdade para uma Negao
p p
V F
F V
Sentenas em Linguagem Natual e
Algebra de Simbolos
Sentena
p = O sol est brilhando
q = Est chovendo
Exemplos
O sol est brilhando, mas est chovendo
Mas: - p q
O sol no est brilhando e no est
chovendo
Nem A nem B: A B - p q
Tabela-Verdade Para a Conjuno ()
p q pq
V V
V F
F V
F F
Tabela- Verdade para a Disjuno ()
p q pq
V V
V F
F V
F F
Exemplo
Qual a disjuno das proposies
p = O sol est brilhando
q = Est chovendo

O sol est brilhando ou est chovendo
Proposies
e (), ou (), e desigualdades
Sejam trs nmeros reais representados
por a, b, e x.
x " a # x < a x = a
a " x " b # x $ a x " b
Proposies
Sejam os predicados:
p: x > 0; q: x < 3; r: x = 3
x " 3 # q r
0 < x < 3 # p q
0 < x " 3 # p ( q r)
Proposies Mais Complexas
p q p q p q (p q) E
V V
V F
F V
F F
E = (p q) (p q)
Proposies Mais Complexas
p q p q p q (p q) E
V V V V F F
V F V F V V
F V V F V V
F F F F V F
E = p q = p xor q (ou exclusivo)
Equivalncia Lgica
Duas proposies P e Q so equivalentes
logicamente se e somente se os valores-
verdade obtidos forem idnticos para cada
combinao possvel das variveis que
formam as proposies.
Equivalncia Lgica
As proposies p q e q p possuem
os mesmos valores-verdade.
p q p q q p
V V V V
V F F F
F V F F
F F F F
Equivalncia Lgica
Como verificar se duas proposies P e Q
so equivalentes logicamente?
Construa a tabela da verdade para P .
Construa a tabela da verdade para Q usando os
mesmos valores de variveis para as afirmaes que
formam a proposio.
Verifique se as tabelas da verdade de P e Q so
idnticas para cada combinao de valores-verdade.
Se forem, P e Q so equivalentes logicamente, caso
contrrio no.
Exemplo
Responda as proposies abaixo, se so
ou no so equivalentes.
(p) # p
(pq) # pq
(pp) # p
Continuao
Tautologia e Contradies
Tautologia uma proposio que
sempre verdadeira independente dos
valores-verdade das afirmaes que
compem a proposio.

Contradio uma proposio que
sempre falsa independente dos valores-
verdade das afirmaes que compem a
proposio.
Tautologias e Contradies
De acordo com essas definies, a
verdade de uma tautologia ou falsidade de
uma contradio se devem a estrutura
lgica da proposio em si e so
independentes dos significados das
afirmaes que compem a proposio.
Tautologias e Contradies
1. Mostre que a proposio p p uma
tautologia e que a proposio p p
uma contradio.
2. Se t uma tautologia e c uma
contradio mostre que pt # p e pc #
c.
Equivalncia Lgica
Comutatividade pq # qp pq # qp
Associatividade (pq)r # p (q r) (pq)r # p (q r)
Distributividade p (q r) #
(p q) (p r)
p (q r) #
(p q) (p r)
Identidade pt # p pc # p
Negao p p # t p p # c
Dupla negao (p) # p
Idempotncia pp # p pp # p
De Morgan (p q) # pq (p q) # pq
Limite universal p t # t pc # c
Absoro p(pq) # p p(pq) # p
Negaes t # c c # t
Exccios
Mostre que (p ((pq)) # pq
Utilizando a tabela-verdade
(p (pq) # pq
p q p q pq p ((pq) (p ((pq)) pq
V V F F F V F F
V F F V F V F F
F V V F V V F F
F F V V F F V V
Exemplos
p q p pq (pq) FINAL
V V F F V V V
V F F F V V V
F V V V F V F
F F V F V F F
Proposies Condicionais ou
Implicao
Sejam p e q proposies
Se p ento q (ou p implica q) representado
simbolicamente por
p % q
p chamado de hiptese e q de concluso
Essa sentena chamada de condicional.
Proposies Condicionais ou
Implicao
Sobre o uso tpico de uma proposio
condicional ou implicao:
Este tipo de sentena usado tanto em
linguagem natural quanto em raciocnio
matemtico para dizer que a verdade da
proposio q (concluso) esta& condicionada
verdade da proposio p (hiptese).
Proposio Condicional
Promessa de Poltico
Se eu for eleito, ento vou diminuir os
impostos.
% um conectivo lgico binrio para o
qual podem ser definidos valores-
verdade. (Se-Ento)
p q p!q
V V V
V F F
F V V
F F V
Se hoje estiver ensolarado ento ns
iremos praia.
Implicao tpica de uma conversac ja& que
h uma relao entre a hiptese e a
concluso.
Obs.: Implicao no considerada vlida
quando o dia estiver ensolarado e ns no
formos praia.
Sequncia de execuo das proposies
, , , %
Construa a tabela da verdade para a
sentena p q % p.
p q q p p q p q ! p
V V F F V F
V F V F V F
F V F V F V
F F V V V V
Mostre que p q % r # (p % r) (q % r)
p q r p q p ! r q ! r pq!r (p ! r) (q ! r)
V V V V V V V V
V V F V F F F F
V F V V V V V V
V F F V F V F F
F V V V V V V V
F V F V V F F F
F F V F V V V V
F F F F V V V V
possvel representar p % q em termos
dos conectivos , , ?
Sim
p % q # p q
Negao
(p % q) # (pq)
# (p) q
# pq

Contrapositiva
A proposio contrapositiva de (p % q) (q % p)
p%q # q%p Verdade?
p % q: Se hoje Pscoa ento amanha'
segunda-feira.
q % p: Se amanha' no segunda-feira
ento hoje no Pscoa.
Sentenas Literais
Original: Se hoje Pscoa ento amanha'
segunda-feira.
Oposta: Se amanha' segunda-feira ento
hoje Pscoa.
Inversa: Se hoje no Pscoa ento
amanha' no segunda-feira.
Oposta
A proposio oposta de (p%q) (q%p).
p % q # q % p Verdade?

No
Inversa
A proposio inversa de (p % q) (p % q).
p % q # p % q Verdade?

No
Exerccio
Considere que p e q so proposies:
p: Eu compei um bilhete de loteria esta
semana.
q: Eu ganhei um milho de dlares
Expresse Cada uma dessas proposies:
a) p b) p q
c) p q d) p q
Exerccio
Faa a tabela-verdade da seguinte
expresso:
E: ((p q) (p q))

((p q) (p q))
p q q p q p q (p q) (p q) FINAL
V V F F V F V
V F V V V V F
F V F F V F V
F F V F F F V
Proposio Condicional:
Somente Se
A sentena p somente se q significa que
(acrescentado verbos):
p [pode ocorrer] somente se q [ocorre].
Logo Se q no ocorre ento p no pode
ocorrer
Se q ento p # Se p ento q ou p%q
Somente Se
Se q ento p # Se p ento q ou p%q.
Exemplo:
48 divisvel por 6 somente se (48 divisvel
por 3 # Se 48 divisvel por 6 ento 48
divisvel por 3
Bicondicional
A sentena bicondicional entre p e q
expressa como:
p se e somente se q
Sendo representada por:
p(q
Bicondicional
p q p"q
V V V
V F F
F V F
F F V
p ( q # (p % q) (q % p)
p q (p ! q) (q ! p) p " q (p ! q) (q ! p)
V V V V V V
V F F V F F
F V V F F F
F F V V V V
Este programa est correto se somente se ele
produz a resposta correta para todos os
possveis valores de dados de entrada.

Bicondicional
p(q # (pq)(qp)?
Continuao
Condio Necessria e
Condio Suficiente
r uma condio suficiente para s:
Se r ento s
Logo a condio de r suficiente para garantir a
condio de s
r uma condio necessria para s:
Se no r ento no s # se s ento r
Logo Se r no ocorrer ento s tambm no pode
ocorrer a ocorrncia de r necessria para se ter
a ocorrncia de s.
Condio Necessria e
Condio Suficiente
Considere a sentena condicional p % q
Se Joo elegvel para votar ento ele tem
pelo menos 16 anos.
p: Joo elegvel para votar.
q: Joo tem pelo menos 16 anos.

Condio Necessria e
Condio Suficiente
A verdade de p suficiente para garantir a
verdade de q, ou seja:
Joo ser elegvel para votar condio suficiente
para que ele tenha pelo menos 16 anos.
A condio q necessria para a condio p ser
verdadeira, ou seja:
Joo ter pelo menos 16 anos condio necessria
para que ele seja elegvel para votar.
Argumentos Vlidos e Invlidos
Alguns fatos sobre argumentos do ponto
de vista da matemtica e da lgica:
Um argumento no uma disputa.
Um argumento uma sequncia de
comandos que termina numa concluso.
Um argumento ser vlido significa que a
concluso pode ser obtida necessariamente
das afirmaes que precedem .
Argumento (definio)
Um argumento uma sequncia de
afirmaes.
Todas as afirmaes, exceto a ltima, so
chamadas de premissas ou suposies ou
hipteses.
A ltima afirmao chamada de
concluso.
Se Scrates um ser humano ento
Scrates mortal .
Ento
Scrates um ser humano logo ele
mortal.
Forma Simblica
Se p ento q;
Se p logo q.
A forma de um argumento vlida se:
Para todas as combinaes de argumentos
que levam premissas verdadeiras ento a
concluso tambm verdadeira.
Validade de um Argumento
Passos:
Identifique as premissas e concluso do argumento.
Construa a tabela da verdade identificando as colunas das
premissas e da concluso
Identifique as linhas onde todas as premissas so verdadeiras
(linhas crticas)
Para cada linha crtica verifique se a concluso do argumento
verdadeira.
Se for para todas as linhas crticas ento a forma do argumento
vlida.
Se existir pelo menos uma linha crtica com concluso falsa ento a
forma do argumento invlida.
Analisar Validade
p (q r);
r;
Logo pq
Argumento Valido
Premissas Concluso
p q r q r p (q r) r pq
V V V V V F V
V V F V V V V
V F V V V F V
V F F F V V V
F V V V V F V
F V F V V V V
F F V V V F F
F F F F F V F
Analisar Validade
p % q r;
q%pr;
Logo p%r;
Argumento Invlido
Premissas Concluso
p q r r q r pr p % q r q%pr p%r
V V V F V V V V V
V V F V V F V F F
V F V F F V F V V
V F F V V F V V F
F V V F V F V F V
F V F V V F V F V
F F V F F F V V V
F F F V V F V V V
Exerccio
p % q;
q % r;
r % p;
Logo pqr
Argumentos vlidos: Modus Ponens

Seja o seguinte argumento:
p % q;
p;
Logo q.

Se o ltimo dgito de um no 0 ento este no divisvel
por 10.
O ltimo dgito deste no 0.
Logo Este no divisvel por 10.
Argumentos vlidos: Modus Tollens

Seja o seguinte argumento:
p % q;
q;
Logo p.

Se Zeus humano ento Zeus mortal.
Zeus no mortal.
Logo Zeus no humano.
Argumentos vlidos: Modus Tollens

Um argumento vlido que tem essa forma
chamado de modus tollens em Latim e
que significa mtodo de negar.

Argumentos vlidos: Silogismo hipottico

Forma do argumento:
p % q;
q % r
Logo p%r.
Argumentos vlidos: Silogismo hipottico

Premissas Concluso
p q r p % q q%p p%r
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V V V V
F V F V F V
F F V V V V
F F F V V V
Argumentos Vlidos
Dilema: Prova por diviso em casos

Raciocnio cuja premissa alternativa, de
tal forma que qualquer dos seus termos
conduz mesma consequncia.
p q;
p % r;
q%r;
Logo r.

Argumentos Vlidos

Premissas Concluso
p q r pq p%r q%r r
V V V V V V V
V V F V F F F
V F V V V V V
V F F V F V F
F V V V V V V
F V F V V F F
F F V F V V V
F F F F V V F
Argumentos Vlidos

x positivo ou x negativo;
Se x positivo ento x2 > 0;
Se x negativo ento x2 > 0;
Logo x2>0.
Uso de proposies em especificaes

Traduzir sentenas numa linguagem
natural, como o portugus, em expresses
lgicas uma parte importante da
especificao de sistemas computacionais
(hardware e software).
Profissionais que fazem a especificao
de tais sistemas computacionais devem
traduzir requisitos expressos numa
linguagem natural em uma especificao
precisa e no ambgua.
Essa especificao pode ser usada como
base para o desenvolvimento do sistema.

Requisito:
(a) Uma resposta automtica no pode
ser enviada se o sistema de arquivos est
cheio.
Proposies:
a = Uma resposta automtica no pode ser enviada.
b = O sistema de arquivos est cheio.
Traduo do requisito para a proposio:
(a) b % a

Requisitos:
(a) A mensagem de diagnstico
armazenada no buffer ou a mensagem de
diagnstico retransmitida.
(b) A mensagem de diagnstico no
armazenada no buffer.
(c) Se a mensagem de diagnstico
armazenada no buffer ento a mensagem de
diagnstico retransmitida.

Proposies:
p = A mensagem de diagnstico
armazenada no buffer.
q = A mensagem de diagnstico
retransmitida.

Traduo dos requisitos para as
proposies:
(a) pq
(b) p
(c) p % q

Falcias
Erro no raciocnio que resulta num
argumento invlido.
Falcias comuns:
Usar uma premissa vaga ou ambgua;
Assumir como verdadeiro o que deve ser provado;
Concluir uma premissa sem uma argumentao
adequada;
Erro oposto;
Erro inverso.
Falcias
Como mostrar que um argumento
invlido?
Construir a tabela verdade e achar uma linha
crtica com a concluso falsa.
Achar um argumento com premissas
verdadeiras e concluso falsa.
Para um argumento ser vlido, qualquer argumento da
mesma forma que tem premissas verdadeiras deve ter
uma concluso verdadeira.
Erro Oposto
Se Zeca um gnio ento Zeca senta na
primeira carteira na sala de aula;
Zeca senta na primeira carteira na sala de
aula;
Logo Zeca um gnio.
Erro Oposto
A forma geral do argumento acima :
p % q;
q;
Logo p.
Erro Oposto
Premissas Concluso
p q p%q q p
V V V V V
V F F F V
F V V V F
F F V F F
Erro Inverso
Se as taxas de juros subirem ento todos os
preos das aes iro cair;
As taxas de juros no esto subindo;
Logo as aes no iro cair.
Erro Inverso
A forma geral do argumento acima :
p % q;
p;
Logo q.
Erro Inverso
Premissas Concluso
p q p%q p q
V V V F F
V F F F V
F V V V F
F F V V V
Aplicao Circuito Lgico
Uma chave pode estar em uma de duas
possveis posies:
Chave fechada: corrente pode passar.
Chave aberta: h interrupo de corrente.
Aplicao: Circuito lgico
Uma chave pode estar em uma de duas possveis posies:
Fechada Aberta
Exemplo de uma chave num circuito:
+
!
Lmpada acende sse corrente passa por ela.
Isto acontece, sse a chave est fechada.
Observe que nesse modelo est sendo assumido que a bateria tem sempre
energia e a chave e a lmpada nunca falham.
Consideraes como essas so importantes sempre que um modelo
proposto.
UFMG/ICEx/DCC MD
Fundamentos da Logica Logica Proposicional 81

Fechada Aberta
+
!
proposto.
UFMG/ICEx/DCC MD

Circuito Lgico
Fechada Aberta
+
!
proposto.
UFMG/ICEx/DCC MD

Monte a Tabela-Verdade
Sejam os circuitos abaixo e os possveis comportamentos:
Q P
!
+
Chaves Lmpada
P Q Estado
Fechada Fechada Acesa
Fechada Aberta Apagada
Aberta Fechada Apagada
Aberta Aberta Apagada
P
Q +
!
Chaves Lmpada
P Q Estado
Fechada Aberta Acesa
Aberta Fechada Acesa
UFMG/ICEx/DCC MD

Monte a Tabela-Verdade
Sejam os circuitos abaixo e os possveis comportamentos:
Q P
!
+
Chaves Lmpada
P Q Estado
Fechada Aberta Apagada
Aberta Fechada Apagada
P
Q +
!
Chaves Lmpada
P Q Estado
Fechada Aberta Acesa
Aberta Fechada Acesa
UFMG/ICEx/DCC MD

FIM!

Aula 2 - Lógica Proposicional - V2

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

Aula 2 - Lógica Proposicional - V2

Enviado por

Direitos autorais:

Formatos disponíveis

Lgica Proposicional

Fundamentos da Logica Logica Proposicional 81

Fundamentos da Logica Logica Proposicional 81

Fundamentos da Logica Logica Proposicional 81

Fundamentos da Logica Logica Proposicional 82

Fundamentos da Logica Logica Proposicional 82

Você também pode gostar