Você está na página 1de 72

Lgica em Computao

.: Calculo Proposicional :.
Prof. Lus Rodrigo
{luisrodrigoog@gmail.com}
[http://lrodrigo.ddns.net/]

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Petrpolis, 26 de Fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1.0
Proposio
e Conectivos

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Petrpolis, 26 de Fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1.0
Proposio Simples
Uma proposio simples (ou enunciado, ou sentena), uma
declarao que exprime um pensamento com sentido completo.
A Lua um satlite da Terra.
Scrates um homem.
Eu estudo Lgica.
Todos os homens so mortais.

Elas so constitudas por (i) um sujeito, (ii) um verbo, (iii) e seus


complementos.

Proposies como se no chover, vou praia, ou vou aprender


a dirigir e comprar um carro so chamadas proposies
compostas, e so o resultado de operaes sobre proposies
simples.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 3 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Proposio Simples
O valor lgico (VL) associa a cada proposio simples:
verdadeiro - V - T
falso - F

Logo, podemos dizer que:


A Lua o satlite da Terra.
Pedro lvares Cabral descobriu o Brasil.
So verdadeiras, e valor lgico V;

J as proposies:
Dante escreveu Os Lusadas.
O Brasil uma monarquia.
So claramente falsas, e portanto assumem o valor lgico F.
Prof. Luis Rodrigo
Lgica em Computao
luisrodrigoog@gmail.com Slide 4 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Proposio Simples
O objeto de estudo da Lgica examinar o relacionamento entre as
proposies, em decorrncia dos seus valores lgicos.

De acordo com os Princpios da Lgica, podemos afirmar que:

Toda proposio necessariamente verdadeira ou falsa, no


existindo outra possibilidade.
Nenhuma proposio pode ser verdadeira e falsa
simultaneamente.
Toda proposio verdadeira sempre verdadeira, no
podendo ser ora verdadeira ora falsa.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 5 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Proposio Simples
Em linguagem simblica, costumamos representar as proposies
simples pelas letras p, q, r, s, t, etc.

Assim, se fizermos as seguintes representaes:


p A Lua o satlite da Terra.
q Pedro lvares Cabral descobriu o Brasil.
r Dante escreveu Os Lusadas.
s O Brasil uma monarquia.

Podemos escrever:
VL [ p ] = V
VL [ q ] = V
VL [ r ] = F
VL [ s ] = F
Prof. Luis Rodrigo
Lgica em Computao
luisrodrigoog@gmail.com Slide 6 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Proposio Compostas e Conectivos
As proposies compostas so obtidas combinando proposies
simples atravs dos conectivos.

A Lgica dispe de cinco conectivos:


e,
ou,
no,
se ento,
se e somente se.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 7 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Proposio Compostas e Conectivos
Exemplos de proposies compostas:

Joo magro e Jos alto.


Mrio foi ao cinema, Joo foi ao teatro e Marcelo ficou em
casa.
Maria foi praia ou ao mercado.
Mrio foi ao cinema ou Marcelo ficou em casa.
A Lua no o satlite da Terra.
Se a chuva continuar a cair, ento o rio vai transbordar.
Se Joo estudar, ser aprovado.
Joo ser aprovado se e somente se estudar.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 8 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Proposio Compostas e Conectivos
A ao de combinar proposies chamada operao

Os conectivos so chamados operadores e so representados por


smbolos abaixo:

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 9 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Proposio Compostas e Conectivos

Para determinar se uma proposio composta verdadeira ou falsa,


dependeremos de duas coisas:

1o) do valor lgico das proposies componentes; e

2o) do tipo de conectivo que as une.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 10 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Operaes e
Conectivos

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Petrpolis, 26 de Fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1.0
Conjuno
Conjunes so proposies compostas que possuem o conectivo e

Simbolicamente, esse conectivo pode ser representado por .

Por exemplo, a sentena:


Marcos mdico e Maria estudante

Pode ser representada por: pq.

onde:
p = Marcos mdico
q = Maria estudante.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 12 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Conjuno

Uma conjuno somente ser verdadeira, se ambas as proposies


componentes forem verdadeiras.

Logo a sentena:
Marcos mdico e Maria estudante,

Ser verdadeira se:


Marcos mdico Verdade
Maria estudante Verdade
Se pelo menos uma das sentena for Falsa a conjuno ser Falsa.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 13 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Conjuno
Essas concluses podem ser resumidas em uma pequena tabela,
denominada tabela-verdade

Tabela verdade:
de fcil construo e de fcil entendimento.
contem todos os valores (V e F) que as posies podem assumir
assim como o Valor Lgico da proposio composta.
a quantidade de linhas da tabela verdade igual a dois (2) elevado
a quantidade de sentenas que formam a posio composta.
a quantidade de linhas = 2^n+1

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 14 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Conjuno

Retomemos nossas proposio


Marcos mdico e Maria estudante

Ela pode ser decomposta nas premissas:


p = Marcos mdico
q = Maria estudante.

Como temos apenas duas premissas, p q pq


nossa tabela verdade ter 22+1linhas, V V V
ou seja 5 linhas V F F
F V F
F F F
Prof. Luis Rodrigo
Lgica em Computao
luisrodrigoog@gmail.com Slide 15 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Conjuno

Um conjuno s ser verdadeira,


quando ambas as partes que a
compem tambm forem p q pq
verdadeiras. E falsa nos demais V V V
casos. V F F
F V F
F F F

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 16 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Conjuno

Se as proposies p e q forem representadas como conjuntos, em vez


da tabela utilizamos um diagrama;

A conjuno p e q corresponder interseo do conjunto p com o


conjunto q.

Teremos:

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 17 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Construindo uma tabela verdade
A quantidade de possibilidade de valores de uma tabela verdade
depende da quantidade de sentenas que compes a proposio;

A quantidade de possibilidade dado por 2^n onde n a


quantidade de proposies

A quantidade de linhas da tabela igual a quantidade de


possibilidades mais (2^n+1)

A quantidade de colunas, tambm depende da quantidade de


proposies.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 18 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Construindo uma tabela verdade
Por exemplo, quando trabalhamos com proposies formadas por
duas premissas, nossa tabela ser formada por trs colunas
2 para as premissas
1 para concluso

Supondo uma sentena formada por:


2 sentenas ( p , q )
e 1 conectivo ( ^ )

Nossa Tabela ter:


Linhas = 2^n+1 = 2^2 +1 = 4 +1 = 5
Colunas = 2 sentenas + 1 Concluso = 3

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 19 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Construindo uma tabela verdade
Para as colunas temos as seguintes regras:
1. Dispor as proposies componentes em ordem alfabtica.
2. Dispor as operaes na ordem de precedncia (???)
3. A ultima coluna ser a concluso

p q pq

ps: O segundo passo ser estudado no futuro

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 20 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Construindo uma tabela verdade
Para as linhas temos as seguintes regras:
1. Alternar V e F para a coluna do ltimo
componente.
2. Alternar VV e FF para a coluna do penltimo
componente.
3. Alternar VVVV e FFFF para a coluna do
antepenltimo componente.
4. Prosseguir dessa forma, se houver mais p q pq
componentes, sempre dobrando o numero de Vs
e Fs para cada coluna esquerda. V V V
V F F
F V F
F F F
Prof. Luis Rodrigo
Lgica em Computao
luisrodrigoog@gmail.com Slide 21 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Disjuno

Recebe o nome de Disjuno toda proposio composta em que as


partes estejam unidas pelo conectivo ou.

Simbolicamente, representaremos esse conectivo por .

Por exemplo, temos a sentena:


Marcos mdico ou Maria estudante

Que a representaremos por:


pq

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 22 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Disjuno

Uma disjuno ser falsa quando as duas partes que a


compem forem falsas!

E nos demais casos, a disjuno ser verdadeira!

Desta forma, a tabela verdade da Disjuno ser:


p q pq
V V V
V F V
F V V
F F F

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 23 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Disjuno

Se as proposies p e q forem representadas como


conjuntos por meio de um diagrama, a disjuno p ou
q corresponder unio do conjunto p com o
conjunto q,

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 24 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Disjuno Exclusiva
H um tipo de proposio composta, bem parecido com a disjuno
que acabamos de ver, mas com uma pequena diferena.

Comparemos as duas sentenas abaixo:


Te darei uma bola OU te darei uma bicicleta
OU te darei uma bola OU te darei uma bicicleta
A diferena sutil, mas importante.

Na primeira sentena se a primeira parte for verdade, isso no


impedir que a segunda parte tambm o seja.

J na segunda proposio, se for verdade que te darei uma bola,


ento no ser dada a bicicleta. E vice-versa.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 25 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Disjuno Exclusiva
A segunda estrutura apresenta duas situaes mutuamente excludentes

Apenas uma delas pode ser verdadeira, e a restante ser


necessariamente falsa.

Ambas nunca podero ser, ao mesmo tempo, verdadeiras;

Ambas nunca podero ser, ao mesmo tempo, falsas.

Este tipo de construo uma Disjuno Exclusiva

A presena dos dois conectivos ou, determina que uma sentena


necessariamente verdadeira, e a outra, necessariamente falsa.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 26 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Disjuno Exclusiva

Uma Disjuno Exclusiva s ser verdadeira se houver


uma das sentenas verdadeira e a outra falsa.

Nos demais casos, a disjuno exclusiva ser falsa.


O smbolo que designa a disjuno exclusiva o V.
p q pq
E a tabela-verdade ser,: V V F
V F V
F V V
F F F

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 27 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Condicional
So exemplo de sentenas condicionais:
Se Pedro mdico, ento Maria dentista.
Se amanhecer chovendo, ento no irei praia.
Se nasci em Petrpolis, ento sou petropolitano.

S h uma forma da sentena ser falsa, quando a primeira parte for


verdadeira e a segunda for falsa.

Suponha o sentena:
Se nasci em Petrpolis, ento sou carioca.

A primeira parte verdadeira, mas a segunda falsa, logo a


condicional falsa

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 28 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Condicional
Independentemente dos exemplos utilizados, a primeira parte da
condicional uma condio que deve ser suficiente para obteno de
um resultado necessrio.

Se algum afirmar que:


Pedro ser rico condio suficiente para Maria ser mdica

Ento podemos reescrever essa sentena, usando o formato da


condicional.
Se Pedro for rico, ento Maria mdica

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 29 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Condicional
A sentena condicional :
Se p, ento q

representada por uma seta:


p!q

Na proposio Se p, ento q,
a proposio p denominada de antecedente,
enquanto a proposio q dita conseqente.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 30 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Condicional

Uma Condicional s ser falsa quando houver a


condio suficiente, mas o resultado necessrio no
se confirmar.

Ou seja, quando a primeira parte for verdadeira, e a


segunda for falsa.
p q p!q
Nos demais casos, a condicional ser verdadeira. V V V
V F F
F V V
F F V

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 31 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Condicional

Se as proposies p e q forem representadas como


conjuntos por meio de um diagrama, a proposio
condicional Se p ento q corresponder incluso
do conjunto p no conjunto q (p est contido em q):

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 32 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Bicondicional
Este conectivo pode ser representado como:
se e somente se

So de proposies Bicondicionais:
Eduardo fica alegre se e somente se Mariana sorri.

As sentenas abaixo possuem o mesmo significado


Eduardo fica alegre somente se Mariana sorri e Mariana
sorri somente se Eduardo fica alegre.
Se Eduardo fica alegre, ento Mariana sorri e se Mariana
sorri, ento Eduardo fica alegre.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 33 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Bicondicional
A Bicondicional uma conjuno entre as duas proposies
condicionais:

Eduardo fica alegre somente se Mariana sorri e Mariana sorri


somente se Eduardo fica alegre.

Se Eduardo fica alegre, ento Mariana sorri e se Mariana sorri,


ento Eduardo fica alegre.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 34 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Bicondicional
H duas situaes em que a bicondicional ser verdadeira:

Quando antecedente e consequente forem, ambos,


Verdadeiros

Quando antecedente e consequente forem, ambos, Falsos

Nos demais casos, a bicondicional ser falsa.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 35 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Bicondicional

Uma Bicondicional:
p se e somente se q

representada por:
pq
p q pq
E sua tabela verdade ser:
V V V
V F F
F V F
F F V

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 36 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Condicional

Se as proposies p e q forem representadas como


conjuntos por meio de um diagrama, a proposio
bicondicional p se e semente se q corresponder
igualdade dos conjunto p e q:

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 37 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Partcula No - Negao
Este partcula, um operador unrio que permite negar uma
proposio

Negar uma proposio, significa inverter o seu valor lgico.

Exemplos de Negaes:
Joo mdico. Negativa: Joo no mdico.
Maria estudante. Negativa: Maria no estudante.

Caso a sentena original j possua uma negativa, ento para negar a


negativa, teremos que excluir a partcula no.
Joo no mdico. Negativa: Joo mdico.
Maria no estudante. Negativa: Maria estudante.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 38 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Partcula No - Negao
Podem-se empregar, tambm, como equivalentes de "no A", as
seguintes expresses:
No verdade que A.
falso que A.

Da as seguintes frases so equivalentes:


Lgica no fcil.
No verdade que lgica fcil.
falso que lgica fcil.

Os smbolo que representam a negao so:


uma pequena cantoneira ()
ou um sinal de til (~), antecedendo a frase.
usaremos o til (~)
Prof. Luis Rodrigo
Lgica em Computao
luisrodrigoog@gmail.com Slide 39 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio conjuntiva
Negando uma proposio conjuntiva:
~(p q)
Para negar uma proposio conjuntiva devemos:
1) Negaremos a primeira parte (~p);
2) Negaremos a segunda parte (~q);
3) Trocaremos e por ou.

Traduzindo para a linguagem da lgica, dizemos que:

~(p q) = ~p V ~q

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 40 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio conjuntiva
A igualdade das duas proposies pode ser comprovada, por meio da
comparao das tabelas verdades

Primeiro vamos calcular ~(p q):

p q (p q) ~(p q)
V V V F
V F F V
F V F V
F F F V

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 41 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio conjuntiva
Em seguida calculamos ~ p V ~ q:

p q ~p ~q ~pV~q
V V F F F
V F F V V
F V V F V
F F V V V

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 42 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio conjuntiva
Por meio da comparao da ultima coluna, ou do resultado, de
ambas as tabelas podemos concluir que as proposies:
~(p q)
~p V ~q
Possuem o mesmo resultado lgico

Quando duas proposies possuem em suas coluna resultado os


mesmos valores podemos dizer que elas so equivalentes

Logo, para provar a equivalncia lgica entre das proposies


devemos comparar a ultima coluna de suas tabelas verdade.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 43 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio disjuntiva
Para negar uma proposio no formato de disjuno (p ou q)

1) Negaremos a primeira parte (~p);


2) Negaremos a segunda parte (~q);
3) Trocaremos OU por E.

Ou seja:
~(p V q) = ~p ~q

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 44 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio conjuntiva
Construindo as tabelas verdade temos:

p q pVq ~(pVq) p q ~p ~q ~p^~q


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

~(pVq) ~p^~q
F F
F F
F F
V V
Prof. Luis Rodrigo
Lgica em Computao
luisrodrigoog@gmail.com Slide 45 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio condicional
Para negar uma proposio condicional (p ! q)

1) Mantm-se a primeira parte; e


2) Nega-se a segunda parte.

Ou seja:
~(p!q) = p~q

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 46 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio condicional

Por exemplo:
A preposio Se chover, ento levarei o guarda-chuva

Realizando a negao:
Mantendo a primeira parte: Chove E
Negando a segunda parte: eu no levo o guarda-chuva.

O Resultado final ser:


Chove e eu no levo o guarda-chuva.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 47 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio conjuntiva
Construindo as tabelas verdade temos:

p q p!q ~(p!q) p q p ~q p^~q


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

~(pVq) ~p^~q

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 48 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Negando uma proposio - Resumindo
Resumindo as equivalencias

Proposio Negao Equivalencia


(p^q) ~(p^q) ~p V ~q
(pVq) ~(pVq) ~p ^ ~q
(p!q) ~(p!q) p ^ ~q
(pq) ~(pq) (p^~q)V(q^~q)

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 49 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Odem de
precedncia

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Petrpolis, 26 de Fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1.0
Ordem de Precedencia

Com o uso dos conectivos podemos criar proposies compostas


como por exemplo:

Se o deficit persistir e a arrecadao no aumentar, ento ou


aumentamos os impostos ou haver inflao

Que pode ser representadas pelas letras proposicionais:


p o deficit persistir
q a arrecadao aumentar
r aumentamos os impostos
s haver inflao

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 51 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedencia

Se o deficit persistir e a arrecadao no aumentar, ento ou


aumentamos os impostos ou haver inflao

E a proposio, acima, pode ser representada da seguinte forma:

pqrs
Antes de determinarmos o valor (V/F) de uma proposio composta
devemos determinar a precedncia dos conectivos

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 52 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia

A ordem de precedncia dos conectivos :


1.
2. ,
3.
4.
Essa ordem de precedncia indica que:
A negao a primeira a ser executada;
em seguida, as operaes de conjuno e disjuno na ordem em
que estiverem dispostas;
depois deve ser executada a operao de condicionamento, e,
por fim, a de bicondicionamento.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 53 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia

Padronizaremos o processo de avaliao do valor de uma


proposio da seguinte forma:

1) Percorra a expresso da esquerda para a direita, executando as


operaes de negao, na ordem em que aparecerem.
2) Percorra novamente a expresso, executando as operaes de
conjuno e disjuno, na ordem em que aparecerem.
3) Percorra outra vez a expresso, executando desta vez as
operaes de condicionamento, na ordem em que aparecerem.
4) Percorra uma ltima vez a expresso, da esquerda para a direita,
executando as operaes de bicondicionamento, na ordem em
que aparecerem.

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 54 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia

Dessa forma, as operaes da expresso:

pqrs

Sero executadas na seguinte ordem:

pqrs
2 1 4 3

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 55 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Em alguns casos podemos utilizar parntese para facilitar a
indicao da precedncia das proposies e evitar mal
entendidos.
Por Exemplo: (pq(rs)) t

Quando utilizamos parnteses, podemos utilizar o seguinte algoritmo:


(1) Percorra a expresso at encontrar o primeiro ).
(2) Volte at encontrar o ( correspondente, delimitando
assim um trecho da expresso sem parnteses.
(3) Execute o Algoritmo Ordem de Precedncia sobre a
expresso delimitada.
(4) Elimine o par de parnteses encontrado.
(5) Repita o processo

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 56 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia

Aplicando o algoritmo anterior proposio a seguir

(pq(rs)) t

Obteremos a seguinte ordem

(pq(rs)) t
4 3 1 2 6 5

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 57 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Tabela
Verdade

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Petrpolis, 26 de Fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1.0
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:

pqpq

p q pq pq pqpq
V V
V F
F V
F F

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 59 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:

pqpq

p q pq pq pqpq
V V V
V F V
F V V
F F F

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 60 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:

pqpq

p q pq pq pqpq
V V V V
V F V F
F V V F
F F F F

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 61 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:

pqpq

p q pq pq pqpq
V V V V V
V F V F F
F V V F F
F F F F V

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 62 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
(p q) ((p r) r)

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 63 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
(p q) ((p r) r)
p q r pq pr r (p r) r ((p r) r) (p q) ((p r) r)

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

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 64 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
(p q) ((p r) r)

p q r pq pr r (p r) r ((p r) r) (p q) ((p r) r)

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

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 65 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
(p q) ((p r) r)

p q r pq pr r (p r) r ((p r) r) (p q) ((p r) r)

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

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 66 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
(p q) ((p r) r)

p q r pq pr r (p r) r ((p r) r) (p q) ((p r) r)

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

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 67 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
(p q) ((p r) r)

p q r pq pr r (p r) r ((p r) r) (p q) ((p r) r)

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

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 68 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
(p q) ((p r) r)

p q r pq pr r (p r) r ((p r) r) (p q) ((p r) r)

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

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 69 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia
Desenvolva a tabela verdade da expresso proposicional:
(p q) ((p r) r)

p q r pq pr r (p r) r ((p r) r) (p q) ((p r) r)

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

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 70 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Ordem de Precedncia

Desenvolva a tabela verdade das expresses proposicionais:


(pq(rs)) t
pqrs
~(p v ~q)
(p~q) V (q~p)
(p ~q) (q v ~r)
p v ~r q ^ ~r
p (q s ^ r)

Prof. Luis Rodrigo


Lgica em Computao
luisrodrigoog@gmail.com Slide 71 de 72 Petrpolis, 26 de fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1
Prof. Luis Rodrigo
Lgica em Computao
luisrodrigoog@gmail.com Petrpolis, 26 de Fevereiro de 2016
http://luisrodrigoog.ddns.net/ - http://lrodrigo.ddns.net/
Verso: 1.0