Lgica Matemtica

Prof. Rodrigo M. S. de Oliveira

ITEC Sala 216
www.lane.ufpa.br/rodrigo/logica/
Livro: Edgard de Alencar Filho, Iniciao lgica matemtica, Nobel, 2002

A Lgica tem, por objeto de estudo, as leis gerais do
pensamento, e as formas de aplicar essas leis
corretamente na investigao da verdade.

Na Grcia Antiga, 342 a.C, o filsofo Aristteles
sistematizou o conhecimento existente em Lgica,
elevando-o categoria de cincia.

Em sua obra chamada Organon (ferramenta para o
correto pensar), estabeleceu princpios to gerais e to
slidos que at hoje so considerados vlidos.
Lgica
AULA 01 CONCEITOS BSICOS
Lgica
Aristteles se preocupava com as formas de raciocnio que, a partir de
conhecimentos considerados verdadeiros, permitiam obter novos
conhecimentos.

A partir dos conhecimentos tidos como verdadeiros, caberia Lgica a
formulao de leis gerais de encadeamentos de conceitos e juzos que
levariam descoberta de novas verdades. Essa forma de encadeamento
chamada, em Lgica, de argumento.

Um argumento uma seqncia de proposies (afirmaes) na qual
uma delas a concluso e as demais so premissas.

O objeto de estudo da lgica determinar se a concluso de um
argumento ou no uma conseqncia lgica das premissas.

Proposio: Frases (idias) de sentido completo.

Ex: 1 Passei no vestibular
2 A lua cheia
3 Chove
4 No Chove


Valores lgicos: Verdadeiro (V)
Falso (F)
Lgica
Princpios

No contradio: uma proposio no pode ser verdadeira e falsa
ao mesmo tempo.
Terceiro excludo: uma proposio s pode ser verdadeira ou falsa.

Tipos de proposio
Simples: proposies que contm apenas um pensamento completo.
Ex: Hoje faz calor
Composta: proposies que contm mais de um pensamento
completo.

Ex: Hoje faz calor e chove
Notao

Letra minscula representa proposio simples
Letra maiscula representa proposio composta
p ~ p
V F
F V
Operaes Lgicas

1 Negao ( ~ ):

p: Chove na cidade.
~ p: No chove na cidade.


Tabela verdade da negao
2 Conjuo ( . ):

o ato de criar uma proposio composta a partir de duas ou
mais proposies, unindo-as pelo conectivo e.

Ex:
p: Lula inocente.
q: Maluf um santo.

p.q: Lula inocente e Maluf um santo.
p q p.q
V V V
V F F
F V F
F F F
Tabela Verdade:
Valores lgicos:
V: se p e q tm o valor lgico V
simultaneamente.

F: demais casos

3 Disjuno ( v ):

Ex:
p: Dirceu culpado.
q: Rubens veloz.

pvq: Dirceu culpado ou Rubens veloz.
p q p.q
p q pvq
V V V
V V V
V F F
V F V
F V F
F V V
F F F
F F F
Tabela Verdade:
Valores lgicos:
V: se p ou q tem o valor lgico V
(simultaneamente ou no).

F: demais casos

3 - Disjuno exclusiva ( v ):

P : Carlos mdico ou professor ( disjuno v)
Q: Jos acreano ou gacho ( disjuno exclusiva v )

p q p v q
V V F
V F V
F V V
F F F
Tabela Verdade:
Valores lgicos:
V: se p e q no tm o mesmo valor lgico.

F: demais casos

4 Condicional ( ): Se ... ento

Ex 1:
p: Est nevando
q: Est fazendo frio

p q: Se est nevando ento est fazendo frio

Ex 2:
p q: Se Jorge engenheiro, ento sabe matemtica
p q p q
V V V
V F F
F V V
F F V
Tabela - verdade
Valores lgicos:
F: se p verdadeira e q falsa

V: demais casos.
5 Bicondicional ( ): Se, e somente se

p: Um nmero par
q: Um nmero divisvel por 2

p q: Um nmero par se, e s se for divisvel por 2

Ex 2:

p q: O tringulo ABC eqiltero se, e somente se for
eqingulo.
p q p q
V V V
V F F
F V F
F F V
Tabela - verdade
Valores lgicos:
V: se p e q tm o mesmo valor lgico
F: se p e q tm o valores lgicos diferentes

AULA 02 TABELAS-VERDADE PARA
PROPOSIES COMPOSTAS
Dadas vrias proposies simples p, q, r, ..., estas
podem ser combinadas pelos conectivos lgicos
~, ., v, v, ,

resultando em proposies compostas P, Q, R, tais como:

P(p,q) = ~p . (p q)
Q(p,q) = (p ~ q) . q
R(p,q,r) = (p ~q v r) . ~(q . (p ~r))

Ento, conhecendo-se as tabelas verdades das operaes
fundamentais, mostradas na aula anterior, possvel construir a
tabela verdade de qualquer proposio composta.
Nmero de linhas de uma tabela verdade: 2
n

n = nmero de proposies simples

3 Construo da tabela-verdade de uma proposio composta

Ex: Se a proposio composta for formada por p, q, r, verificar
primeiro todas as combinaes (2
n
=

2
3
= 8).
p q 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 ...
2
n
/2 = 4 2
n
/4 = 2 2
n
/8 = 1
Seqncia de
repetio
n=3
... 2
n
/2
n-2
, 2
n
/2
n-1
, 2
n
/2
n

4 Exemplo

a) Construir a tabela verdade da proposio P(p, q) = ~(p . ~q)
1 forma de resoluo
p q ~q p . ~q ~(p . ~q)
V V F F V
V F V V F
F V F F V
F F V F V
Lembre-se que . == conjuno (e / and)
~ == negao (inverso / not)
Ex - Construir a tabela verdade da proposio:

P(p, q) = ~(p . q) v ~(q p)
Lembre-se que:
. == conjuno (e / and);
v == disjuno (ou / or);
~ == negao (inverso / not);
== se e somente se (if and only if).
p q p . q ~(p . q) q p ~(q p) ~(p . ~q) v ~(q p)
V V V F
V F F
V F F V
F V V
F V F V
F V V
F F F V
V F V
Ex - Construir a tabela verdade da proposio:

P(p, q, r) = p v ~ r q . ~ r
p q r ~r p v ~ r q . ~ r p v ~ r q . ~ r
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F F F V
F V F V V V V
F F V F F F V
F F F V V F F
Lembre-se que:
. == conjuno (e / and);
v == disjuno (ou / or);
~ == negao (inverso / not);
== se .... ento (if .... then ).
Ex - Construir a tabela verdade da proposio:

P(p, q, r) = ( p q ) . ( q r ) ( p r )
Lembre-se que:
. == conjuno (e / and);
v == disjuno (ou / or);
~ == negao (inverso / not);
== se .... ento (if .... then ).
p q r ( p q ) ( q r )
( p r )
( p q ) . ( q r )
P(p, q, r)
V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V
Ex - Construir a tabela verdade da proposio:

P(p, q, r) = ( p ( ~ q v r) ) . ~ ( q v ( p ~ r ) )
p q r ~ q ( ~ q v r) p ( ~ q v r) ~ r ( p ~ r ) q v ( p ~ r ) ~ ( q v ( p ~ r ) ) P(p, q, r)
V V V F V V F F V F F
V V F F F F V V V F F
V F V V V V F F F V V
V F F V V V V V V F F
F V V F V V F V V F F
F V F F F V V F V F F
F F V V V V F V V F F
F F F V V V V F F V V
Lembre-se que:
. == conjuno (e / and);
v == disjuno (ou / or);
~ == negao (inverso / not);
== se .... ento (if .... then ).
== se e somente se (if and only if).

Ex Para casa:

Exerccios
1 (a-h) e 2 (a-d) do livro (pginas 39 e 40).



Ambigidades para expresses sem parnteses:
Exemplo: Seja a proposio: p . q v r. Ser que (p . q) v r equivale a p . (q v r) ?
(p . q) v r
p q r (p . q) (p . q) v r
V V V V V
V V F V V
V F V F V
V F F F F
F V V F V
F V F F F
F F V F V
F F F F F
p . (q v r)
p q r (qvr) p . (q v r)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F
ANLISE DA PRECEDNCIA (quando no h parnteses):

1. ~ (negao)
2. . , v (e, ou)
3. (Se ... Ento)
4. (Se e somente se)


OBS: Geralmente as expresses vm com parnteses para
evitar possveis ambigidades, quando, por exemplo, os
conectivos lgicos so iguais.

Ex. Como interpretar a expresso:

p q s . ~r ?


E a expresso:
p . q v r ?



(ESTA PRECISA DE PARNTESES)
(ESTA NO PRECISA DE PARNTESES)
Ambigidades para expresses sem parnteses:
Padronizao da seqncia lgica
das operaes
Ex - Construir a tabela verdade da proposio:

P(p, q) = ( p ~q ) p q
LEMBRANDO A PRECED.:
1. ~ (negao)
2. . , v (e, ou)
3. (Se ... Ento)
4. (Se e somente se)
p q ~q ( p ~q ) ( q p ) ( p ~q ) p q

V V F F V F
V F V V V V
F V F V F F
F F V F V F
P(p, q) = ( p ~q ) (p q)
Observando a precedncia, temos:
Exemplo: determinar P(V,V) e P(V,F)

Pela tabela verdade, temos: P(V,V) = F e P (V,F) = V.
Ex Considere as proposies:
p: tg(t x) = ctg(x)
q: t < 2.
Determinar o valor lgico das seguintes proposies compostas:
(a) (~p . q ) v ( p . ~q )
p e q so proposies falsas. Logo:

p = F
q = F

~p = V
~q = V

(~p . q ) = (V . F) = F
( p . ~q ) = (F . V) = F

Portanto
(~p . q ) v ( p . ~q ) = (F) v (F) = F







p = F
q = F

~p = V
~q = V

(p q ) = (F F) = V

(p q) . ~p = V . V = V

Portanto
(p q) . ~p ~q = V V = V.


(b) (p q) . ~p ~q
Tautologia toda proposio composta cujo valor lgico
sempre verdade para quaisquer valores lgicos de suas
proposies simples.

Ex: p p (se p ento p)

p p (p se e somente se p - princpio de identidade)

~ (p . ~ p ) ( no{p e no p} - princpio da no contradio)

p v ~ p (p ou no p - princpio do terceiro excludo)

TAUTOLOGIAS, CONTRADIES E CONTINGNCIAS
Ser ou no ser ? : eis uma proposio tautolgica?
Note: ser no uma proposio e Hamlet fez uma pergunta, e no uma proposio.
Exemplos de proposies tautolgicas:
a) p v ~ (p . q)
p

q p . q ~(p . q) p v ~ (p . q)
V V V F V
V F F V V
F V F V V
F F F V V
b) p . q (p q)
p q p . q p q p . q (p q)

V V V V V
V F F F V
F V F F V
F F F V V
p q r ~q p . r ~ q v r p . r ~ q v r

V V V F V V V
V V F F F F V
V F V V V V V
V F F V F V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F V V
c) p . r ~ q v r
Exemplos de proposies tautolgicas:
Princpio de Substituio para as tautologias

Se P(p , q, r, ...) uma tautologia, ento ela V (verdade) para quaisquer
valores de p, q, r, ... .

Portanto, substituindo as proposies simples em P por proposies
compostas, tais como

p = P
0
, q = Q
0
, r = R
0
, ...,

bvio que P(P
0
, Q
0
, R
0
, ...) continuar sendo uma tautologia, quaisquer
que sejam as proposies P
0
, Q
0
, R
0
, ...

Ex: ~ (p . ~ p ) uma tautologia .

Fazendo p = P
0
= p v ~ r q . ~ r, ento

~ ( (p v ~ r q . ~ r) . ~ (p v ~ r q . ~ r) )

tambm uma tautologia (pelo princpio acima), poupando a ns o esforo de
montar a tabela-verdade associada.
Contradio


toda proposio composta que sempre F (falsa) para quaisquer valores lgicos
de suas proposies simples.

Pode ser obtida a partir da negao de uma tautologia.
Portanto, P uma tautologia se, e s se, ~ P uma contradio.

O princpio da substituio tambm aplicvel s contradies.
p ~ p p . ~ p

V F F
F V F
Exemplos de contradies:

a) p . ~ p
Portanto, dizer que uma proposio pode ser simultaneamente verdadeira e
falsa sempre falso.
p ~ p p ~ p

V F F
F V F
b) p ~ p
Exemplos de contradies:
c) ~ p . ( p . ~ q )

~ p.( p.~ q ) = ~ p . p . ~q = (~ p . p) . ~ q

= ( contradio ).~ q = contradio
p q p . q p v q ~ (p v q) ( p . q ) . ~ ( p v q )

V V V V F F
V F F V F F
F V F V F F
F F F F V F
d) ( p . q ) . ~ ( p v q )

Exemplos de contradies:
p ~ p p ~ p
V F F
F V V
p q p v q p v q p
V V V V
V F V V
F V V F
F F F V
toda proposio composta que apresenta tanto o valor V como o valor F em
sua tabela-verdade, ou seja, toda proposio composta que no uma
tautologia e nem uma contradio.

Ex:

CONTINGNCIA
a) p ~ p
b) p v q p
a) (p q) (p q v r)

b) (q p) (p q)

c) ~( (p q) (p q v r) )

Exerccios: classificar as seguintes proposies em
TAUTOLGICA, CONTRAVLIDA OU CONTINGENTE
(Tautolgica)
(Contingente)
(Contravlida / contradio)
p q r (p q) q v r p q v r A(p,q,r)
V V V V V V V
V V F V V V V
V F V F V V V
V F F F F F V
F V V V V V V
F V F V V V V
F F V V V V V
F F F V F V V
a) A(p,q,r) = (p q) (p q v r)
(Tautolgica)
Solues
p q (q p) (p q) (q p) p q)
V V V V V
V F V F F
F V F V V
F F V V V
b) B(p,q) = (q p) (p q)
(Contingente)
Solues
c)


C(p,q,r) = ~( (p q) (p q v r) ) = ~( A(p,q,r) ) = ~( tautologia )

C(p,q,r) = contradio !
Solues
IMPLICAO LGICA
Uma proposio P implica logicamente (ou simplesmente implica) uma
proposio Q se, quando Q verdadeira (V), P tambm verdadeira (V). Ou
seja, chega-se a uma nova concluso a partir da afirmao de um fato.

A notao para implicao lgica :

P(p, q, r, ...) Q(p, q, r, ...)

(P implica em Q)

Ou seja, no haver a implicao lgica se P e Q tiverem os
valores lgicos V e F respectiva e simultaneamente.
PERGUNTAS:

Toda proposio implica uma tautologia ? SIM.
Somente uma contradio pode implicar uma outra contradio? SIM

2. Propriedades

Reflexiva: P(p, q, r, ...) P(p, q, r, ...)
P implica P

Transitiva: Se P Q e Q R, ento P R

Se P implica Q e Q implica R, ento P implica R.

p q p.q pvq p q
V V V V V
V F F V F
F V F V F
F F F F V
Perguntas:

p.q pvq ? sim
pvq p.q ? no
p.q pq ? sim
pq p.q ? no







Exemplo:
p q p.q pvq p q
V V V V V
V F F V F
F V F V F
F F F F V
(i) Adio: p p v q e q p v q

(ii) Simplificao: p . q p e p . q q
REGRAS DE INFERNCIA
p q p q p q q p
V V V V V
V F F F V
F V F V F
F F V V V
Vamos considerar as proposies:
p q, p q , q p

Perguntas:
p q p q ? SIM
p q q p ? SIM
p q p q ? NO
p q p v q ~ p (p v q) . ~ p
V V V F F
V F V F F
F V V V V
F F F V F
(p v q) . ~ p
REGRA DO SILOGISMO DISJUNTIVO
Silogismo (do grego antigo , "conexo de idias",
"raciocnio"; composto pelos termos "com" e "clculo")
um termo filosfico com o qual Aristteles designou a argumentao
lgica perfeita, constituda de trs proposies declarativas que se
conectam de tal modo que a partir das primeiras duas, premissas,
possvel deduzir uma concluso.
Silogismo Disjuntivo
Considere a proposio
(p v q) . ~ p q
Pela linha 3, verifica-se que
( p ou q e no p Logo, q )
Exemplo:

Ele tem mais que 18 anos ou ele de menor.
Ele no tem mais que 18 anos.
Logo ele de menor.

(p q) . p
REGRA MODUS PONENS (em Latim: modo de afirmar)
Considere a proposio
(p q) . p q
Pela linha 1, verifica-se que
( se p ento q e p, logo, q )
Exemplo:

Se chover, ento fico em casa. Choveu. Logo fico em casa.
p q p q (p q) . p
V V V V
V F F F
F V V F
F F V F
(p q) . ~q ; ~p
REGRA MODUS TOLLENS (em Latim: modo que nega)
Considere as proposies:
(p q) . ~q ~p
Pela linha 4, verifica-se que
( se p ento q e no p, logo, no q )
Exemplo:

Se h fumaa, ento h fogo. No h fogo. Logo no h fumaa.
p q p q ~q (p q) . ~q ~p
V V V F F F
V F F V F F
F V V F F V
F F V V V V
Pergunta: ~ p p q ? (SIM)
Pergunta: q p q ? (SIM)
Existe muita semelhana entre a definio de implicao lgica e a operao
condicional.

Se (P ento Q) for Tautolgica, ou seja

P Q = Tautologia

Ento P Q

(P implica em Q).


Obs1. Se P Q tautolgica, ento nunca ocorre o par P=V ; Q=F. Logo P Q.

Obs2. Isto pode ser tambm confirmado observando as tabelas anteriores para os
exemplos mostrados.
Relao entre implicao lgica (),
condicional () e a Tautologia
Exemplo: dada a proposio { p . q (p q) }
p q p . q p q p . q (p q)

V V V V V
V F F F V
F V F F V
F F F V V
Pergunta-se: p . q implica em (p q) ?







SIM, pois { p . q (p q) } tautolgica.
Exemplo: dada a proposio { (p q) . p q }
Pergunta-se: (p q) . p implica em q ?







SIM, pois {(p q) . p q } tautolgica.
p q p q (p q) . p (p q) . p q
V V V V V
V F F F V
F V F F V
F F V F V
Exerccio: Verificar se a seguinte implicao lgica
correta:
0 : = x p
y x q = :
q y x r ~ : = =
p q r (p q) ~q ( p q ) . ~q ~p A(p,q,r)
V V V V F F F V
V V F V F F F V
V F V F V F F V
V F F F V F F V
F V V V F F V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
A(p,q,r) = ( p q ) . ~q ~p
Como A(p,q,r) tautolgica, a implicao lgica correta (vlida).
0 ) 0 ( = = = = x y x y x x
.
Equivalncia Lgica (PQ)
Uma proposio (composta) P equivale logicamente (ou
simplesmente equivale) a uma proposio (composta) Q, se
estas proposies P e Q possuem a mesma tabela verdade.
P(p, q, r, ...) Q(p, q, r, ...)
Notao:
Pergunta: Duas proposies quaisquer que so ambas
tautolgicas (ou ambas contraditrias) so equivalentes?
SIM, so logicamente equivalentes,
pois possuem a mesma tabela-
verdade.
Pergunta: sabendo que P Q, correto afirmar que P Q ?
Pergunta: sabendo que P Q, correto afirmar que P Q ?
SIM, pois Q e P so sempre verdade simultaneamente
NO, pois P Q no garante que P e Q tenham a mesma tabela-verdade.
Reflexiva: P(p, q, r, ...) P(p, q, r, ...)
Simtrica: Se P Q , ento Q P
Transitiva: Se P Q e Q R, ento P R
Equivalncia Lgica (PQ)
As perguntas e respostas anteriores levam s seguintes
propriedades:
p ~ p ~ ~ p
V F V
F V F
Ex. 1. ~ ~ p p (dupla negao de p)
~ ~ p p
dupla negao de p equivale a p
p ~ p ~ p p
V F V
F V F
Ex 2. ~ p p p (regra de Clavius)
Equivalncia Lgica (PQ)
~ p p p
Traduo da regra de Clavius: se no p ento p equivale a p.

Pela traduo acima, segue esta Interpretao lgica:

se no (ocorre) p, ento (ocorre) p.
e se (ocorre) p, (obviamente ocorre) p (implcito)
# Ento (sempre ocorre) p. #

lgico ento que ~ p p equivale a p (~ p p p)
Equivalncia Lgica (PQ)
p q p . q p p . q p q
V V V V V
V F F F F
F V F V V
F F F V V
Ex. 3 p p . q p q (regra da absoro)

idnticas
Traduo: se p, ento p e q equivale a se p ento q

Pela traduo acima, segue esta Interpretao lgica:

se (ocorre) p, ento (ocorrem) p e q (p p . q )
mas se (ocorre) p, ento (obviamente ocorre) p (no h informao aqui)
# Ento se (ocorre) p, (ocorre) q #
p q p q ~ p ~ p v q
V V V F V
V F F F F
F V V V V
F F V V V
Ex. 4 p q ~ p v q
Equivalncia Lgica (PQ)
idnticas
Traduo: Se p ento q equivale a no p ou q
Interpretao:

(1) Se (ocorre) p ento (ocorre) q
(2) no (ocorre) p ou (ocorre) q
# Assim existem apenas duas possibilidades:
No (ocorre) p ou (ocorre) p. Mas se p (ocorre), ento q (ocorre) (1). Logo:
p q ~ p v q
p q p . q p p . q p q p p . q p q
V V V V V V
V F F F F V
F V F V V V
F F F V V V
p p . q p q (regra da absoro)
Relao entre equivalncia lgica () e
bicondicional ()

P Q
SE, E SOMENTE SE,
P Q FOR t (tautolgica).


Exemplo:
A bicondicional (p . ~q c) (p q), onde c uma
proposio contraditria (sempre F), tautolgica:
Mtodo de demonstrao por absurdo
p q ( p . ~ q c) ( p q)
V V V F F V V F V V V V
V F V V V F F F V V F F
F V F F F V V F V F V V
F F F F V F V F V F V F
1 3 2 1 4 1 5 1 2 1
p . ~q c p q
(Mtodo de demonstrao por absurdo)
Ex: Se algo um peixe e no nada, temos um absurdo. Isto
equivale a dizer que se algo um peixe ento ter que nadar.
lgebra das Proposies
a) Idempotente: p . p p
b) Comutativa: p . q q . p
c) Associativa: (p . q) . r p . (q . r)
d) identidade: p . t p e p . c c
Propriedades da conjuno (E)
a) Idempotente: p v p p
b) Comutativa: p v q q v p
c) Associativa: (p v q) v r p v (q v r)
d) identidade: p v t t e p v c p
Quais as proposies neutras para a conjuno e para a disjuno?
Tautologia e Contradio, respectivamente.
Propriedades da disjuno (OU):
t - Tautologia
c - contradio
Propriedades da conjuno e da disjuno:

a) Distributiva:
(1) p . (q v r) (p . q) v (p . r)
(2) p v (q . r) (p v q) . (p v r)

Exemplos:
(1):
Cheguei em casa e irei ler jornal ou ver televiso

Cheguei em casa e irei ler jornal ou cheguei em casa e irei ver televiso

(2):
Chove ou faz vento e frio Chove ou faz vento e chove ou faz frio.
Operaes envolvendo E e OU - Propriedades
Propriedades da conjuno e da disjuno:

a) Distributiva:
(1) p . (q v r) (p . q) v (p . r)

Operaes envolvendo E e OU - Propriedades
p q r (q v r) p . (q v r) (p . q) (p . r) (p . q) v (p . r)
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F
Propriedades da conjuno e da disjuno:

a) Distributiva:
(2) p v (q . r) (p v q) . (p v r)

Operaes envolvendo E e OU - Propriedades
p q r (q . r) p v (q . r) (p v q) (p v r) (p v q) . (p v r)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F
Propriedades da conjuno e da disjuno:

b) Absoro:
p . (p v q) p
p v (p . q) p

c) Regras de DE MORGAN:

~ (p . q) ~ p v ~ q
~ (p v q) ~ p . ~ q
Operaes envolvendo E e OU - Propriedades
(i): No verdade que a neve fria e verde A neve no fria ou a neve no verde.
(ii): No verdade que Carlos baiano ou carioca Carlos no baiano e no carioca.
p q (p v q) p . (p v q)
V V V V
V F V V
F V V F
F F F F
P q (p . q) p v (p . q)
V V V V
V F F V
F V F F
F F F F

Algumas Aplicaes da regra de DE MORGAN

(i) Definio da disjuno a partir da conjuno e da negao:

p . q ~ (~ p v ~ q)

(ii) Definio da conjuno a partir da disjuno e da negao:

p v q ~ (~ p . ~ q)
p q ~p ~q ~(p . q) ~ p v ~ q ~ (p v q) ~ p . ~ q
V V F F F F F F
V F F V V V F F
F V V F V V F F
F F V V V V V V
REGRAS DE DE MORGAN
~ (p . q) ~ p v ~ q
~ (p v q) ~ p . ~ q
p + q ( ~ p . ~ q ) - Negao conjunta
p | q ( ~ p v ~ q ) - Negao disjunta
OS CONECTIVOS DE SCHEFFER (+ , | )
p q ~p ~q ~p . ~q p + q
V V F F F
V F F V F
F V V F F
F F V V V
Negao CONJUNTA:
p q ~p ~q ~p v ~q p | q
V V F F F
V F F V V
F V V F V
F F V V V
Negao DISJUNTA:

SO VLIDAS, PORTANTO, AS SEGUINTES RELAES:

p . q ~ (~ p v ~ q) ~ ( p | q)

E

p v q ~ (~ p . ~ q) ~ ( p + q)
~ (p . q) ~ p v ~ q
~ (p v q) ~ p . ~ q
REGRAS DE DE MORGAN
p + q ( ~ p . ~ q )
p | q ( ~ p v ~ q )
CONECTIVOS DE SCHEFFER
5. A Bicondicional e a sua Negao

Sabe-se que p q (p q) . (q p).

Lembrando que p q ~ p v q, temos

p q (~ p v q) . (~ q v p).

Logo a negao da bicondicional :

~ (p q) ~( (~ p v q) . (~ q v p) )

Aplicando DE MORGAN ( ~ (r . s) ~r v ~s ),temos:
~ (p q)
~(~ p v q) v ~(~ q v p) (~ ~p . ~ q) v (~~ q . ~ p),

e assim:
~ (p q) (p . ~ q) v (q . ~ p)

Tambm so vlidas as seguintes equivalncias:

~ (p q) p ~ q ~ p q









OBS: A bicondicional no idempotente
(p p no equivale a p), mas comutativa e
associativa.

5. A Bicondicional e a sua Negao
p q ~p ~q ~ (p q) p ~ q ~ p q p p
V V F F F F F V
V F F V V V V V
F V V F V V V V
F F V V F F F V
A Propriedade associativa da Bicondicional
( p q ) r p ( q r )
p q r p q ( p q ) r q r p (q r )
V V V V V V V
V V F V F F F
V F V F F F F
V F F F V V V
F V V F F V F
F V F F V F V
F F V V V F V
F F F V F V F
p q ~p ~q p q ~q ~p ~ p ~ q q p
V V F F V V V V
V F F V F F V V
F V V F V V F F
F F V V V V V V
Dada uma condicional p q:

(i) sua proposio recproca : q p
(ii) sua proposio contrria : ~ p ~ q
(iii) sua proposio contrapositiva : ~q ~p

Logo
p q ~q ~p e q p ~p ~q
O Operador Condicional - propriedades
Tabelas-verdade
recproca contrria contrapositiva
OBS: A condicional p q no idempotente, no comutativa
e nem associativa.

p p no equivale a p (no idempotente)
p q no equivale a q p (no comutativa)
(p q) r no equivale a p (q r) (no associativa)
p q r p q ( p q ) r q r p (q r )
V V V V V V V
V V F V F F F
V F V F V V V
V F F F V V V
F V V V V V V
F V F V F F V
F F V V V V V
F F F V F V V
Diferentes
Negao: Exemplos:

1) Qual a negao, em portugus, da proposio simples Os
preos so altos?

Resposta: Os preos no so altos.

Obs: Os preos no so altos no equivale a os preos so
baixos. Lembre-se que os preos podem estar na mdia de
mercado.

2) Qual a negao, em portugus, da proposio simples Satie
e Vincent tiraram excelente?

Resposta: Satie e Vincent no tiraram excelente.

Obs: Satie e Vincent no tiraram excelente no equivale a
Satie e Vincent foram reprovados.

Eles podem ter obtido INS, REG ou BOM.

3) Qual a negao, em portugus, da
proposio composta:
Rosas so vermelhas e violetas so azuis ?


P: (p . q)

p: Rosas so vermelhas
q: violetas so azuis

Aplicando DE MORGAN:
~P ~ (p . q) ~ p v ~ q

As rosas no so vermelhas ou as violetas no so
azuis.
Outra possibilidade:
No verdade que: as rosas so vermelhas e as
violetas so azuis.

Mtodo Dedutivo
uma alternativa mais eficiente para
demonstrao de implicaes ou equivalncias
lgicas, utilizando as ferramentas essenciais das
equivalncias lgicas bsicas, tais como as vistas
em lgebra das proposies.
Mtodo: Caminho para se chegar a um fim
Induo: Do particular para o universal
Deduo: Do universal para o particular
Implicao Lgica
PARA UMA PROPOSIO IMPLICAR OUTRA, A
CONDICIONAL DEVER SER TAUTOLGICA.
NOTAO:

c uma proposio que sempre F (contradio)
t uma que sempre V (tautologia)
- Demonstrar as implicaes:

(1) (i) c p e (ii) p t

Res: (i) c p ~c v p t v p t
(ii) p t ~p v t t
p q ~ p v q
(2) p . q p (Simplificao)
Res: p . q p ~ (p . q) v p ~ p v ~ q v p (~ p v p) v ~ q
t v ~ q t

(3) p p v q (Adio)

Res: p p v q ~ p v (p v q) (~ p v p) v q t v q t

(4) (p q) . p q (Modus ponens)

Res: (p q) . p (~p v q) . p (~p . p) v (q . p) c v (q .
p) q. p

E, pela regra da Simplificao: q . p q
Exemplos - Implicao Lgica
(5) (p q) . ~ q ~p (Modus tollens)

Res: (p q) . ~ q (~p v q) . ~ q
(~p . ~q) v (q . ~q)
(~p . ~q) v c ~p . ~q ~ p

(6) (p v q) . ~ p q (silogismo disjuntivo)

Res: (p v q) . ~ p (p . ~p) v (q . ~ p)
c v (q . ~ p) q . ~ p q
Exemplos - Implicao Lgica
(7) p . q p v q

Res: Usando a regra da Simplificao (2) seguida da regra da
Adio (3) , temos:

p . q p p v q


(8) p q p

Res: p (q p) ~ p v (q p) ~ p v (~q v p)
(~ p v p) v ~q t v ~q t
Exemplos - Implicao Lgica
(2) p . q p
(3) p p v q
(9) p q p . r q
Res: (p q) (p . r q) ~(p q) v (p . r q)
~(~p v q) v (~(p . r) v q)
(p . ~q) v (~p v ~r v q)
(p . ~q) v ~p v ~r v q
(p . ~q) v (~p v q) v ~r
(p . ~q) v ~(p . ~q) v ~r
t v ~r t
Exemplos - Implicao Lgica
(11) p q p . ~q c (reduo a absurdo)

Res: p . ~q c ~(p . ~q) v c ~(p . ~q)
~p v q p q

(12) p q p v q q

Res: p v q q ~(p v q) v q (~p . ~q) v q
(~p v q) . (~q v q)
(~p v q) . t ~p v q p q

Demonstrar as equivalncias
(13)(p q) . (p ~q) ~ p

Res: (p q) . (p ~q) (~p v q) . (~p v ~q)
~p v (q . ~q) ~p v c ~p


(14)p . q r p (q r)

Res: p (q r) ~p v (q r) ~p v (~ q v r)
(~p v ~ q ) v r ~ (p . q) v r p . q r
Demonstrar as equivalncias
Ateno: Procure usar os conectivos
(~, . e v) Forma normal / Cannica.
O Mapa de Karnaugh.
O mapa de Karnaugh um mtodo sistemtico, rpido e seguro
para realizar a minimizao de expresses lgicas.

As expresses so obtidas na forma normal (E / OU /NEGAO)

usual usar a chamada notao compacta.
p
1 0
0 1

NOTAO COMPACTA

1- Valores lgicos 2 Negao de p


p
p p
V 1
F 0
NOTAO COMPACTA

3 Conjuno ( p e q ) 4 Disjuno ( p ou q )


p q pq
1 1 1
1 0 0
0 1 0
0 0 0
p q p+q
1 1 1
1 0 1
0 1 1
0 0 0
AB BC +
= ~( A . B ) v ( ~B . C )
Exemplo:
ab ba +
= ~( a . b ) v ( ~b . a )
Mintermos: parcelas da soma lgica
contendo todos os tomos da proposio
composta (neste caso a e b).
Obs:
A operao lgica E chamada de produto lgico.
Note que o seu elemento neutro o valor lgico 1 (V).
A operao lgica OU chamada de soma lgica.
Note que o seu elemento neutro o valor lgico 0 (F).
A.1 = A | A + 0 = A
A.0 = 0 | A + 1 = 1


E:
:OU
O Mapa de Karnaugh.
O mapa de Karnaugh consiste em uma matriz de clulas, que nada
mais do que uma outra representao para a tabela-verdade de uma
expresso lgica.

Cada quadrado no mapa corresponde a um dos mintermos (ou
elementos tabela-verdade) da expresso.

Exemplo: passar a funo f(a,b) da tabela-verdade abaixo para o mapa de
Karnaugh.
a b f (a,b)
0 0 0
0 1 1
1 0 1
1 1 1
0 1
0 0 1
1 1 1
b
a
TABELA VERDADE
MAPA DE KARNAUGH
O Mapa de Karnaugh.
De modo geral, o mapa para
funes de duas variveis
f(A,B) tem a forma:
Para trs variveis
f(A,B,C) :
Para quatro variveis f(A,B,C) :
O Mapa de Karnaugh.
OBS: O mapa desenhado de modo a que os mintermos de
clulas adjacentes, tanto horizontal quanto verticalmente,
sejam diferentes somente no valor de uma varivel; isto ,
em uma das clulas, h uma varivel que negada, e na
clula adjacente, a mesma varivel no negada, com as
demais variveis mantidas. Por isso, os valores dos
produtos AB e CD devem seguir a seqncia 00, 01, 11, 10 !!
O Mapa de Karnaugh.
Exemplo: Mapear e simplificar a seguinte expresso na
forma cannica:

. . ( , , ) . . . . ABC ABC AB F C C A B = + +
0 0 0 1 1 1 1 0
0 1 0 1 0
1 0 0 1 0
A
B C
( , , ) . . A B F B C B A C C = +
Exemplo: Mapear a seguinte expresso:

O Mapa de Karnaugh.
O 1 superior direito pertence a dois pares
ao mesmo tempo. So permitidos grupos
superpostos
Deve-se sempre agrupar 1s adjacentes para formar os maiores grupos
possveis no mapa.
Deve-se primeiro tentar formar octetos; se no for possvel, deve-se
verificar se possvel formar quadras, caso contrrio formam-se os pares.
O Mapa de Karnaugh.
Exemplo: Mapear e simplificar a seguinte expresso lgica:

AB
C

00

01

11

10

0

1
A
. . . . . . . . . . S ABC ABC ABC ABC ABC = + + + +
1
1
1
1
1
0 0
0
S = A + B.C
Expresso
Simplificada:
O Mapa de Karnaugh.
Roteiro para Uso do Mapa de Karnaugh:

1. Escreva 1 nas clulas do mapa que correspondam aos
produtos presentes na expresso lgica.
2. Envolver os grupos de 1, 2, 4, 8, ... , 2
n
clulas com 1,
superpondo os grupos onde for possvel, para formar os
maiores grupos possveis de 1s. obrigatrio envolver todos
os 1s presentes no mapa.
3. Eliminar grupos redundantes, se houver.
4. Para cada grupo de 1s formado, o termo minimizado
correspondente dado pelo produto (AND) das variveis que
mantm o mesmo valor em todos os quadrados do grupo.
5. Escrever a expresso booleana, como uma soma lgica
(OR) dos produtos correspondentes aos grupos envolvidos.
Exemplo: Mapear e simplificar a seguinte expresso lgica:
AB
C D

00

01

11

10
0 0
01
1 1
1 0
. . . . . . . . . . . .
. . . . . . . . . . . .
S ABC D ABC D ABC D ABC D
ABC D ABC D ABC D ABC D
= + + + +
+ + + +
1
1
1
1
1
1
1
1
0 0 0
0
0
0
0 0
. . . S C D B A D D A = + +
. . . . . . . . . . . S ABC AC D ABC ABC ABC D = + + + +
Exemplo: Mapear e simplificar a seguinte expresso lgica:
AB
C D

00

01

11

10
0 0
01
1 1
1 0
1
0
1 1
1
1
1
1
1
0
0 0
0
0
0 0
. . . . AC D S B AB D = + +
Argumentos e uso de Regras de inferncia
Definio : Argumento

Sejam P
1
, P
2
, ..., P
n
e Q proposies quaisquer, simples ou compostas.

Chama-se argumento afirmao de que uma dada seqncia finita (conjunto)
P
1
, P
2
, ..., P
n
tem como conseqncia ou acarreta uma proposio Q.

NOTAO:

P
1
, P
2
, ..., P
n
| Q

premissas concluso
Argumento
(i) P
1
, P
2
, ..., P
n
acarretam Q
(ii) Q decorre de P
1
, P
2
, ..., P
n

(iii) Q se deduz de P
1
, P
2
, ..., P
n

(iv) Q se infere de P
1
, P
2
, ..., P
n

P
1
, P
2
, ..., P
n
| Q
Argumentos e uso de Regras de inferncia
Interpretaes:
Um argumento composto de duas premissas e uma
concluso chamado silogismo.
A Validade de um argumento:
Argumentos e uso de Regras de inferncia
P
1
, P
2
, ..., P
n
| Q
observada, e somente se, a concluso Q
verdadeira todas as vezes que as premissas P
1
, P
2
, ...,
P
n
so simultaneamente verdadeiras.
Ou seja: se Q for V quando (P
1
. P
2
. ... . P
n
) for V, ento o
argumento ser VLIDO. Isto , a Verdade das premissas
compatvel com a Veracidade da concluso. Caso contrrio,
temos um SOFISMA.

OBS: TODO ARGUMENTO TEM UM VALOR LGICO
ASSOCIADO. SE O ARGUMENTO FOR VLIDO ESTE VALOR
SER V. SE FOR UM SOFISMA, TEMOS F.
Critrio de validade de um argumento

obvio que um argumento

P
1
, P
2
, ..., P
n
| Q

vlido se, e somente se, a condicional:

( P
1
. P
2
. ... . P
n
) Q

tautolgica.

A condicional chamada de condicional associada ao
argumento .
Ento: qual a diferena entre Implicao e argumentao?
Basicamente, um argumento possui um valor lgico associado.
A implicao apenas uma relao lgica.
1. Regra da Adio (AD)

p p

p v q q v p

Aqui so mostrados os argumentos bsicos vlidos, os quais so
usados para se fazer inferncias nos passos de uma deduo ou
demonstrao de um argumento mais complexo. Cada premissa escrita
em uma linha, sendo a concluso escrita na ltima linha e isolada por um
trao.
Argumentos Fundamentais e Regras de inferncia
2. Regra da Simplificao (SIMP)

p . q p . q

p q

3. Regra da Conjuno (CONJ)
p p
q q

p . q q . p
4.Regra da Absoro (ABS)
p q

p (p . q)
Argumentos Fundamentais e Regras de inferncia
5. Modus Ponens (MP)
p q
p

q
6. Modus Tollens (MT)
p q
~ q

~p
7. Silogismo Disjuntivo
(SD)

p v q p v q
~ q ~ p

p q
8.Silogismo Hipottico
(SH)

p q
q r

p r
9. Dilema Construtivo (DC)

p q
r s
p v r

q v s
10.Dilema Destrutivo (DD)

p q
r s
~q v ~s

~p v ~r
Argumentos Fundamentais e Regras de inferncia
1. Regra da Adio (AD)

p p

p v q q v p

Exemplos do uso das regras de inferncia:




p ~ p
(a) (b)
p v ~q (AD) q v ~p (AD)

p . q p v q
(c) (d)
(p . q) v r (AD) (r . s) v (p v q) (AD)

Ganhei na mega-sena.
(f)
Ganhei na mega-sena ou sonhei. (AD)


1. Regra da adio Dada uma
premissa qualquer, dela se pode
deduzir a sua disjuno com
qualquer outra proposio (esta
ltima no precisa ser premissa):

(a) (p v q) . r p . ~ q
(b)
p v q (SIMP) ~ q (SIMP)
Exemplos do uso das regras de inferncia:
(c) x > 0 . x 1 Ela alta e inteligente.
(d)
x 1 (SIMP) Ela alta (SIMP).
2.Regra de Simplificao
Se uma premissa a
conjuno de duas
proposies, P . Q, pode-se
deduzir P (ou Q):
2. Regra da Simplificao
(SIMP)

p . q p . q

p q

3. Regra da Conjuno Se duas proposies P, Q
so premissas, ento pode-se deduzir a sua
conjuno P . Q.

p v q p v q
(a) ~r (b) q v r

(p v q) . ~r (CONJ) (p v q) . (q v r) (CONJ)
x > 0
x > 5

(x > 0) . (x > 5) (CONJ)
(c)
3. Regra da Conjuno
(CONJ)
p p
q q

p . q q . p
Exemplos do uso das regras de inferncia:
4.Regra da Absoro No caso de uma condicional ser
premissa, pode-se inferir uma outra condicional na qual o
antecedente tambm far parte da conseqncia:


(a) ~ p . r q

~ p . r ~ p . r . q (ABS)

4.Regra da Absoro (ABS)
p q

p (p . q)
(b)

Se voc profissional, far isso
direito!
___________________________
Se voc profissional ento ser
profissional e far isso direito!
(ABS)
(c) x = 2 x < 3

x = 2 ( x = 2 . x < 3 )

Exemplos do uso das regras de inferncia:
Exemplos do uso das regras de inferncia:
5. Regra Modus ponens Tambm
chamada de Regra da separao. Se uma
condicional uma premissa e o
antecedente da mesma tambm uma
premissa, ento pode-se deduzir que a
conseqncia desta condicional tambm
verdade
5. Modus Ponens (MP)
p q
p

q
~ p ~ q
(a) ~ p

~q (MP)
~ p v r s . ~ q
(b) ~ p v r

s . ~ q (MP)
noite, todos os gatos so pardos.
(c) noite.

Todos os gatos so pardos.
Exemplos do uso das regras de inferncia:
6.Regra Modus tollens Se uma
condicional uma premissa e o seu
conseqente for negado, ento
pode-se concluir a negao do seu
antecedente.
6. Modus Tollens (MT)
p q
~ q

~p
~ p ~ q
(a) q

p (MT)
~ p v r s . ~ q
(b) ~ s v q

p . ~ r (MT)
(c) Se ferradura desse sorte, burro no teria que levar carga.

Burro tem que levar carga.

Ferradura no d sorte. (MT)
fs ~ bc
(c) bc

~fs (MT)
Exemplos do uso das regras de inferncia:
7.Regra do Silogismo disjuntivo
A partir da afirmao de uma
disjuno P v Q, se uma
dessas duas proposies for
negada, pode-se deduzir a outra:
(p . q) v r
(a) ~ r

p . q (SD)

7. Silogismo Disjuntivo
(SD)
p v q p v q
~ q ~ p

p q
~ p v ~ q
(b) p

~ q (SD)
~(p q) v r
(c) ~ ~ (p q)

r (SD)
(d)
Voc estude ou vai se dar mal na prova.
Voc no estudou.
_____________________________________
Voc vai se dar mal na prova.
Exemplos do uso das regras de inferncia:
8.Regra do Silogismo hipottico:

Dadas duas condicionais, p q e
qr, esta regra permite concluir
uma terceira condicional: p r.
8.Silogismo Hipottico (SH)

p q
q r
____________________
p r
(a)

(p q) r
r (q .s)
____________________
(p q) (q .s) (SH)
(b)

|x| = 0 x = 0
x = 0 x+a = a
____________________
|x| = 0 x+a = a (SH)
(c)

Se isto pula, isto sapo
Se isto sapo, isto verde
_____________________________
Se isto pula, isto verde. (SH)
Exemplos do uso das regras de inferncia:
9.Regra do Dilema construtivo:

Temos 3 premissas: duas
condicionais e a disjuno de seus
antecedentes. A concluso a
disjuno das conseqentes das
condicionais.
9. Dilema Construtivo (DC)

p q
r s
p v r

q v s
(a)

(p . q) ~r
s t
s v (p . q)

~r v t
(b)

x < y x = 2
x y x > 2
x < y v x y

x = 2 v x > 2
(DC)
(DC)
Exemplos do uso das regras de inferncia:
10.Regra do Dilema destrutivo:

Temos 3 premissas: duas
condicionais e a disjuno da
negao de seus conseqentes. A
concluso negao a disjuno das
antecedentes das condicionais.
10.Dilema Destrutivo (DD)

p q
r s
~q v ~s

~p v ~r
(a)

~q r
p ~s
~r v ~~s

~~q v ~p
(b)

x + y = 7 x = 2
x y = 2 x = 3
x 2 v x 3

x + y 7 v x y 2
(DD)
(DD)
Exerccios
1. Determinar a concluso associada s
seguintes premissas.
x = y . y = z
( x = y . y = z ) x = z
_________________

p q
(a) p

q (MP)
x = z
Exerccios
2. Determinar a concluso associada s seguintes
premissas.
x + y = y
x 0 x + y y
_________________
x = 0
Modus Tollens (MT)
p q
~ q

~p
Exerccios
3. Determinar a concluso associada s seguintes
premissas.
x < 6 v x + y < 10
10 x + y
_________________

x < 6
Silogismo Disjuntivo
(SD)
p v q p v q
~ q ~ p

p q
Exerccios
4. Determinar a concluso associada s seguintes
premissas.
x.y = 6 x.y + 5 = 11

x.y + 5 = 11 y = 2
_________________

x.y = 6 y = 2
Silogismo Hipottico (SH)

p q
q r
____________________
p r
Exerccios
5. Determinar a concluso associada s seguintes
premissas.
x = 5 v x < y

x = 5 x > 3

x < y z < 2
_________________

Dilema Construtivo (DC)

p q
r s
p v r

q v s
x > 3 v z < 2
Exerccios
6. Determinar a concluso associada s seguintes
premissas.
y 9 v y 18

x = 2 y = 9

x = 8 y = 18
_________________
x 2 v x 8
Dilema Destrutivo (DD)

p q
r s
~q v ~s

~p v ~r
Validade de Argumentos Por Regras de Inferncia
1 p

q (P)
2 p . r (P)
3 p 2 SIMP
4 q 1,3 - MP
Ex - Verificar a validade do argumento:
p

q , p . r | q
Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
p

. q, p v r s | p

. s
1 p

. q (P)
2 p v r s (P)

3 p 1 (SIMP)
4 p v r 3 (AD)
5 s 4,2 (MP)
6 p. s 3,5 (CONJ)


Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
p

(q r) , p q, p | r
1. p

(q r)
2. p q
3. p

4. (q r) 1,3 (MP)
5. q 2,3 (MP)
6. r 4,5 (MP)


Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
p

q, p . q r , ~ (p . r) | ~p
1. p

q
2. (p . q) r
3. ~ (p . r)

4. p

(p . q) 1 (ABS)
5. p r 4,2 (SH)
6. p p . r 5 (ABS)
7. ~p 6,3 (MT)


Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
p

q, q r, s t, p v s | r v t
1. p

q
2. q r
3. s t
4. p v s

5. p r 1,2 (SH)
6. r v t 5,3,4 (DC)


Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
p . q

r, r s, t ~u, t, ~s v u | ~(p . q)
1. p . q

r
2. r s
3. t ~u
4. t
5. ~s v u
6. ~u 4,3 (MP)
7. ~s 6,5 (SD)
8. ~r 7,2 (MT)
9. ~(p . q) 8,1 (MT)


Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
p

q, q r, r s, ~s, p v t | t
1. p

q
2. q r
3. r s
4. ~s
5. p v t
6. p r 1,2 (SH)
7. p s 6,3 (SH)
8. ~p 7,4 (MT)
9. t 8,5 (SD)


Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
p

q, p v (r . q), s ~r, ~(p . q) | ~s . r
1. p

q
2. p v (r . q)
3. s ~r
4. ~(p . q)
5. p

p . q 1 (ABS)
6. ~p 5,4 (MT)
7. (r . q) 6,2 (SD)
8. r 7 (SIMP)
9. ~s 8,3 (MT)
10. ~s . r 9,8 (CONJ)




Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
1. x = y x = z
2. x y x < z
3. z x v y > z
4. y z . x z

5. x z 4 (SIMP)
6. x y 5,1 (MT)
7. x < z 6,2 (MP)
8. y > z 7,3 (SD)



| y > z
Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
1. x + 8 = 12 v x 4
2. x = 4 . y < x
3. x + 8 = 12 . y < x y + 8 < 12

4. x = 4 2 (SIMP)
5. x + 8 = 12 4,1 (SD)
6. y < x 2 (SIMP)
7. y + 8 = 12 5,6,3 (MP)



|
y + 8 <12
Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
1. x + 2 < 6 x < 4
2. y < 6 v x + y 10
3. x + y < 10 . x + 2 < 6

4. x + 2 < 6 3 (SIMP)
5. x < 4 4,1 (MP)
6. x + y < 10 3 (SIMP)
7. y < 6 6,2 (SD)
8. x < 4 . y < 6 5,7 (CONJ)




| x < 4 . y < 6
Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
1. x < y v y < x
2. y < x x > 6
3. x < y x < 7
4. ( x > 6 v x < 7) y 11
5. y > 11 v x < 0

6. x > 6 v x <7 1,2,3 (DC)
7. y 11 6,4 (MP)
8. x < 0 7,5 (SD)
9. x < 0 v y < 12 8 (AD)




|
x < 0 v y < 12
Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
1. x = 5t/6 sen(x) = 1/2
2. x = t/6 v x = 5t/6
3. sen(x) = 1/2 cosc(x) = 2
4. x = t/6 sen(x) = 1/2

5. sen(x) = 1/2 v sen(x) = 1/2 1,2,4 (DC)
6. sen(x) = 1/2 5 (Equiv. Lg.)
7. cosc(x) = 2 6,3 (MP)
8. cosc(x) = 2 v cos(x) = 3
1/2
/2 7 (AD)







|
cos(x) = 3
1/2
/2
v
cosec(x) = 2
Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
1. x + 2y = 5 v 3x + 4y = 11.
2. x > y v x 2 y < 2 v y < 1.
3. 3x + 4 y = 11 x = 1.
4. x > y v x 2.
5. x + 2y = 5 x = 1.

6. x = 1 v x = 1 1,5,3 (DC)
7. x = 1 6 (Eq.Lg.)
8. y < 2 v y < 1 4,2 (MP)
9. x = 1 . (y < 2 v y < 1) 7,8 (CONJ).




|
x = 1
.
( y < 2 v y < 1 )
Validade de Argumentos Por Regras de Inferncia
Ex - Verificar a validade do argumento:
1. 2x
2
- 10x + 12 = 0 . x < 4.
2. x
2
5x + 6 = 0 x = 2 v x = 3.
3. x = 2 x
2
= 4.
4. x = 3 x
2
= 9.
5. 2x
2
- 10x + 12 = 0 x
2
5x + 6 = 0

6. 2x
2
- 10x + 12 = 0 1 (SIMP)
7. x
2
5x + 6 = 0 6,5 (MP)
8. x = 2 v x = 3 7,2 (MP)
9. x
2
= 4 v x
2
= 9 8,3,4 (DC).




|
x
2
= 4
v
x
2
= 9
VALIDADE DE ARGUMENTOS MEDIANTE
REGRAS DE INFERNCIA E EQUIVALNCIAS
Algumas vezes, no possvel verificar argumentos apenas
com as regras de inferncia vistas anteriormente.

Nestes casos, necessrio substituir proposies, total ou
parcialmente, por expresses lgicas equivalentes. Isto
conhecido por regra da substituio.
EQUIVALNCIAS NOTAVEIS:
1.Idempotncia (ID)

p . p p
p v p p
2. Comutao (COM)

p . q q . p
p v q q v p
EQUIVALNCIAS NOTAVEIS:
3. Associao (ASSOC)

p . (q . r) (p . q) . r
p v (q v r) (p v q) v r
4. Distribuio (DIST)

p . (q v r) (p . q) v (p . r)
p v (q . r) (p v q) . (p v r)
5. Dupla Negao (DN)

p ~~p
EQUIVALNCIAS NOTAVEIS:
6. De Morgan (DM)

~(p . q) ~p v ~q
~(p v q) ~p . ~q
7. Condicional (COND)

p q ~p v q
8. Contraposio (CP)

p q ~q ~p
9. Bicondicional (BiCond / BIC)

p q (p q ) . (q p )

p q (p . q ) v (~p . ~q )
EQUIVALNCIAS NOTAVEIS:
10. Exportao-Importao (EI)

( p . q ) r p (q r )
if (p && q) {
r;
}
if (p) {
if (q) {
r;
}}

Ex - Verificar a validade do argumento:
p

q, r ~q | p

~r
1 p

q
2 r ~q

3 ~~q ~r 2 (CP)
4 q ~r 3 (DN)
5 p

~r 1,4 (SH)


Exemplos
Ex - Verificar a validade do argumento:
p

v q r . s , ~s | ~q
1 p

v q r . s
2 ~ s

3 ~r v ~s 2 (AD)
4 ~(r . s) 3 (DM)
5 ~(p

v q) 4,1 (MT)
6 ~p

. ~q 5 (DM)
7 ~q 6 (SIMP)



Exemplos
Ex - Verificar a validade do argumento:
( p

v ~q ) v r , ~p v (q . ~p ) | q r
1 ( p

v ~q ) v r
2 ~p v (q . ~p )

3 (~p v q) . (~p v ~p) 2 (DIST)
4 (~p v q) . ~p 3 (ID)
5 ~p 4 (SIMP)
6 p

v (~q v r ) 1 (ASSOC)
7 (~q v r ) 5,6 (SD)
8 q r 7 (COND)




Exemplos
Ex - Verificar a validade do argumento:
1 p

q
2 q s
3 t v ( r . ~s )

4 (q s) . (s q) 2 (BIC)
5 q s 4 (SIMP)
6 p s 1,5 (SH)
7 ( t v r ) . ( t v ~s) 3 (DIST)
8 ( t v ~s) 7 (SIMP)
9 ( ~s v t) 8 (COM)
10 s t 9 (COND)
11 p t 6,10 (SH).





Exemplos
|
p

t
Ex - Verificar a validade do argumento:
1 x > y

x > z
2 z 6 ~ (x > y z < 7 )
3 x > z z < 7

4 x > y z < 7 1,3 (SH)
5 (x > y z < 7 ) z > 6 2 (CP)
6 z > 6 5,4 (MP)
7 z > 6 v z < y 6 (AD)












Exemplos
| z > 6 v z < y
Ex - Verificar a validade do argumento:
1 ~(p . q)
2 ~q r
3 ~p r
4 s ~r

5 ~p v ~q 1 (DM)
6 r v r 5,2,3 (DC)
7 r 6 (ID)
8 ~~r 7 (DN)
9 ~s 4,8 (MT)













Exemplos
|
~s
Ex - Verificar a validade do argumento:
1 ~(p v ~r)
2 p v q
3 r s
4 q . s t . s

5 ~p . ~~r 1 (DM)
6 ~p . r 5 (DN)
7 ~p 6 (SIMP)
8 q 7,2 (SD)
9 r 6 (SIMP)
10 s 9,3 (MP)
11 q . s 8,10 (CONJ)
12 t . s 11,4 (MP)
13 s . t 12 (COM)
















Exemplos
|
s . t
Ex - Verificar a validade do argumento:
1 x < y y > 4
2 y = 6 x + y = 10
3 y > 4 . x + y = 10

4 ( x < y y > 4 ) . (y > 4 x < y ) 1 (BIC)
5 y > 4 x < y 4 (SIMP)
6 y > 4 3 (SIMP)
7 x < y 6,5 (MP)
8 (y = 6 x + y = 10) . (x + y = 10 y = 6 ) 2(BIC)
9 x + y = 10 3 (SIMP)
10 x + y = 10 y = 6 8 (SIMP)
11 y = 6 9,10 (MP)
12 x<y . y=6 7,11 (CONJ)



















Exemplos
|
x<y . y=6
Ex - Verificar a validade do argumento:
1 x < y . y < z x < z
2 ( y < z x < z ) z = 3
3 x < y

4 x < y ( y < z x < z) 1 EI
5 y < z x < z 3,4 MP
6 z = 3 5,2 MP











Exemplos
| z=3
Ex - Verificar a validade do argumento:
1 x = 1 y < x
2 y < x y = 0
3 ~(y = 0 v x 1)

4 x = 1 y = 0 1,2 (SH)
5 y 0 . x = 1 3 (DM)
6 y 0 5 (SIMP)
7 x = 1 5 (SIMP)
8 y = 0 7,4 (MP)
9 y 0 . y = 0 6,8 (CONJ)








Exemplos
|
x < y
ABSURDO !!
:: PREMISSAS
INCONSISTENTES ::
Demonstrao indireta (por absurdo)
A Validade de um argumento qualquer:
P
1
, P
2
, ..., P
n
| Q
pode ser verificada atravs da incluso de ~Q
como uma premissa. O resultado encontrado
um absurdo (uma contradio), caso o
argumento seja vlido. Isto :
P
1
, P
2
, ..., P
n
, ~Q | ABSURDO /
CONTRADIO
Para todo argumento vlido.
Ex OU SEJA, ARGUMENTO A SEGUIR VLIDO:
1 x = 1 y < x
2 y < x y = 0

3 ~(y = 0 v x 1)
4 x = 1 y = 0 1,2 (SH)
5 y 0 . x = 1 3 (DM)
6 y 0 5 (SIMP)
7 x = 1 5 (SIMP)
8 y = 0 7,4 (MP)
9 y 0 . y = 0 6,8 (CONJ)








Exemplo
|
y = 0 v x 1
:: ARGUMENTO
VLIDO ::
POR ABSURDO !
Demonstrao condicional
Exportao-Importao (EI)

( p . q ) r p (q r )
A Validade de um argumento na forma:
P
1
, P
2
, ..., P
n
| A Q
pode ser verificada atravs do argumento equivalente:
P
1
, P
2
, ..., P
n
, A | Q
Ex - Verificar a validade do argumento por demonstrao
Condicional (DC):
1 p v (q r)
2 ~r
3 q

4 p v (~q v r) 1 COND
5 (p v ~q) v r 4 ASS
6 p v ~q 5,2 SD
7 p 6,3 SD











Exemplos
|
p
p v (q r), ~r | q p
Sentenas Abertas
Chama-se sentena aberta em um conjunto A uma
expresso p(x) tal que p(x
a
) uma proposio falsa (F) ou
verdadeira (V) para todo x
a
e A. O conjunto A chamado
conjunto universo.



.
a
.
d
.
c
.
b
.
e
p(x) sentena aberta
p(a), p(b), ..., p(f) proposies
f
.
X
a
= a, b, ..., f - um valor da varivel x.

Se x
a
e A tal que p(a) uma
proposio verdadeira (V), diz-se que
x
a
satisfaz ou verifica p(x).
A
Sentenas Abertas
Chama-se sentena aberta em um conjunto A uma
expresso p(x) tal que p(x
a
) uma proposio falsa (F) ou
verdadeira (V) para todo x
a
e A. O conjunto A chamado
conjunto universo.



A
.
a
.
b
.
e
p(x) sentena aberta
p(a), p(b), ..., p(f) proposies
X
a
= a, b, ..., f - um valor da varivel x.

Se x
a
e A tal que p(x
a
) uma
proposio verdadeira (V), diz-se que
x
a
satisfaz ou verifica p(x).
.
c
f
.
.
d
Supondo que p(c), p(d) e p(f)
verifiquem p(x) de forma exclusiva em
A, diz-se que o conjunto V
p
o
conjunto verdade de p(x).
V
p
V
p
= {x | xeA . p(x) } =
{c,d,f}
Conjuntos de nmeros (reviso da matemtica)
Conjunto dos Nmeros Naturais:
N = { 0, 1, 2, 3, 4, 5, 6, ...}
Conjunto dos Nmeros Naturais com zero excludo:
N* = N {0} = {1, 2, 3, 4, 5, 6, ...}
Conjunto dos Nmeros Inteiros:
Z = {..., -3, -2, -1, 0, 1, 2, 3, ...}
Conjunto dos Nmeros Racionais:
Q = {a/b | a e Z; b e Z* }
Conjunto dos Nmeros Irracionais:
I = R Q = { , t, ...}, sendo R o conjunto dos
nmeros Reais.
2
Sentenas Abertas
Exemplos Determinar o conjunto verdade das
seguintes sentenas abertas:
(a) x + 1 > 8 em N.
Vp = { x | x e N . x + 1 > 8 } = { x e N | x > 7 }
Vp = { x e N | x 8 } = {8, 9, 10, ....} c N , (Condio possvel).

(b.1) x + 7 < 5 em N.
Vp = | c N
(b.2) x + 7 < 5 em Z.
Vp = { x e Z | x < -2 }
Vp = { x e Z | x -3 }
Vp = {-3, -4, -5, -6, ...} c Z
(b.3) x + 7 < 5 em R.
Vp = { x e R | x < -2 }
(Condio impossvel).
Sentenas Abertas
Exemplos Determinar o conjunto verdade das
seguintes sentenas abertas:
(c.1) x + 5 > 3 em N.
Vp = { x | x e N . x + 5 > 3 } = N c N (condio universal).
(c.2) x + 5 > 3 em Z.
Vp = { x | x e Z . x + 5 > 3 }
Vp = { x e Z | x > -2 }
Vp = { x e Z | x -1 }
Vp = {-1, 0, 1, 2 ...} c Z

(c.3) x + 5 > 3 em R.
Vp = { x | x e R . x + 5 > 3 }
Vp = { x e R | x > -2 }
(Z inteiros)
Sentenas Abertas
Exemplos Determinar o conjunto verdade das
seguintes sentenas abertas:
(d) x divisor de 10 em N.
Vp = { x | x e N . x divisor de 10 } = { 1,2,5,10 } c N.
(e.1) x
2
2x > 0 em Z.
Vp = { x | x e Z . x
2
2x > 0 }
Vp = Z {0, 1, 2}.
(e.2) x
2
2x > 0 em R.
Vp = { x | x e R . x
2
2x > 0 }
Vp = { x e R | x < 0 . x > 2 }.
(Z inteiros)
x
2
2x
. . .
x
Produto cartesiano (reviso da matemtica)
Definio: Dados dois conjuntos A e B, o produto cartesiano
(ou produto direto) dos dois conjuntos (escrito como A B) o
conjunto de todos os pares ordenados cujo primeiro elemento
pertence a A e o segundo a B.
A
.
1
.
2
B
.
3
.
4
A B = {1,2} {3,4}
A B = {(1,3), (1,4), (2,3),(2,4)}

B A = {3,4} {1,2}
B A = {(3,1), (3,2), (4,1),(4,2)}
A B B A
1 2
3
4
. .
. .
A B
A
B
Sentenas Abertas 2 variveis
Chama-se sentena aberta em AB uma expresso
p(x,y) tal que p(x
a
,

y
b
) uma proposio falsa (F) ou
verdadeira (V) para todo o par ordenado (x
a
,y
b
) e AB. O
conjunto AB chamado conjunto universo.
Conjunto-Verdade de uma sentena aberta com duas
variveis

Definio: Chama-se conjunto-verdade de uma sentena aberta
p(x,y) em A x B, o conjunto de todos os pares ordenados (x
a
,

y
b
) e
AxB tais que p(x
a
,

y
b
) sempre uma proposio verdadeira (V).
V
p
= { (x, y) | x e A . y e B . V( p(x, y) ) = V }
V
p
= { (x, y) e A x B | p(x, y) }
ou
Sentenas Abertas 2 variveis
Exemplos Determinar o conjunto verdade das
seguintes sentenas abertas:
(a) x < y em AB, sendo A = {1,2,3,4} e B{1,3,5}.
Vp = { (x,y) | x e A . y e B . x < y }
Vp = { (1,3), (1,5), (2,3), (2,5), (3,5), (4,5)} c AB.
(b) x divide y em AB, sendo A = {2,3,4,5} e B{3,6,7,10}.
Vp = { (x,y) | x e A . y e B . x divide y }
Vp = { (2,6), (2,10), (3,3), (3,6), (5,10)} c AB.
Sentenas Abertas 2 variveis
Exemplos Determinar o conjunto verdade das
seguintes sentenas abertas:
(c) 2x + y = 10 em N*N* (N* - Naturais {0})
Vp = { (x,y) | x e N* . y e N* . 2x + y = 10 }
Vp = { (1,8), (2,6), (3,4), (4,2)} c N*N*.
(d) x
2
+ y
2
= 1 em ZZ (Z - Inteiros)
Vp = { (x,y) | x e Z . y e Z . x
2
+ y
2
= 1 }
Vp = { (0,1), (1,0), (0,-1), (-1,0)} c ZZ.
Sentenas Abertas n variveis
Chama-se sentena aberta em C = A
1
A
2
...A
n
uma
expresso p(x
1
,x
2, ...,
x
n
) tal que p(x
a1
,

x
a2
,..., x
an
) uma
proposio falsa (F) ou verdadeira (V) para todo o
elemento (x
a1
,

x
a2
,..., x
an
) e C. O conjunto C chamado
conjunto universo.
Conjunto-Verdade de uma sentena aberta com n
variveis

Definio: Chama-se conjunto-verdade de uma sentena aberta
p(x
a1
,

x
a2
,..., x
an
) em C = A
1
A
2
...A
n
, o conjunto de todos os
pontos (x
a1
,

x
a2
,..., x
an
) e C, tais que p(x
a1
,

x
a2
,..., x
an
) sempre
uma proposio verdadeira (V), ou seja:
V
p
= { (x
1
, x
2,
.,

x
n
) | x
1
eA
1
. x
2
eA
2
.. . x
n
e A
n
. p(x
1
, x
2,
.,

x
n
) }
1. Conjuno
Sejam p(x) e q(x) sentenas abertas em A.
Seja a sentena S(x) = p(x) . q(x).
Operaes lgicas sobre sentenas abertas
Conjunto verdade de S(x):
V
S
= V
p.q
= V
p
V
q.


Ou seja: V
S
= V
p.q
= { x e A | p(x) } { x e A | q(x) }
A
V
p V
q
V
p.q
=

V
s
= V
p
V
q

Diagrama de Venn
1. Conjuno
Sejam as sentenas abertas em Z (inteiros).
p(x) = x
2
+ x -2 = 0.
q(x) = x
2
- 4 = 0.
Encontrar V
p . q.
Operaes lgicas sobre sentenas abertas
Exemplo:
V
p
= { x e Z | x
2
+ x -2 = 0 } = {-2, 1}. V
q
= { x e Z | x
2
- 4 = 0 } = {-2, 2}.
V
p . q
= { x e Z | p(x) . q(x) } = V
p
V
q
= {-2, 1} {-2, 2} = {-2}
p(x) = x
2
+ x -2 = 0
p(x)
x
q(x) = x
2
- 4 = 0.
x
q(x)
1. Conjuno
Seja o conjunto H, composto pelos humanos.

Sejam as sentenas abertas:

x engenheiro ; x professor.
x engenheiro . x professor.
Nova sentena aberta, verificada por humanos
engenheiros e professores simultaneamente.
Operaes lgicas sobre sentenas abertas
Exemplo:
1. Conjuno
Seja R o conjunto dos nmeros Reais.
Sejam as sentenas abertas:

x > 2 ; x < 8.
x > 2 . x < 8
Operaes lgicas sobre sentenas abertas
Exemplo:

2 < x < 8
x x > 2 x < 8 x > 2 . x < 8
1.999 F V F
7.999 V V V
e V V V
... ... ... ...
Tabela verdade infinita!
1. Conjuno
Seja n o conjunto dos nmeros naturais.
Seja a sentena aberta:

2x + y = 8 . 5x 3y = 9
2x + y = 8 . 5x 3y = 9
Operaes lgicas sobre sentenas abertas
Exemplo:

x = 3 . y = 2
Seja n o conjunto dos nmeros naturais.
Sejam as sentenas abertas:
Exemplo:
3 | x . 5 | x 15 | x
x | y . y | x x = y
2. Disjuno
Sejam p(x) e q(x) sentenas abertas em A.
Seja a sentena S(x) = p(x) v q(x).
Operaes lgicas sobre sentenas abertas
Conjunto verdade de S(x):
V
S
= V
p v q
= V
p
V
p.


Ou seja: V
S
= V
p v q
= { x e A | p(x) } { x e A | q(x) }
A
V
p V
q
V
p v q
=

V
s

= V
p
V
p

2. Disjuno
Sejam as sentenas abertas em Z (inteiros).
p(x) = x
2
+ x -2 = 0.
q(x) = x
2
- 4 = 0.
Encontrar V
p v q.
Operaes lgicas sobre sentenas abertas
Exemplo:
V
p
= { x e Z | x
2
+ x -2 = 0 } = {-2, 1}. V
q
= { x e Z | x
2
- 4 = 0 } = {-2, 2}.
V
p . q
= { x e Z | p(x)vq(x) } = V
p
V
q
= {-2, 1} {-2, 2} = {-2, 1, 2}
p(x) = x
2
+ x -2 = 0
p(x)
x
q(x) = x
2
- 4 = 0.
x
q(x)
3. Negao
Seja p(x) uma sentena aberta em A.
Seja a sentena S(x) = ~p(x).
Operaes lgicas sobre sentenas abertas
Conjunto verdade de S(x):
V
S
= V
~p
= CA V
p.


Ou seja: V
S
= V
~p
= CA { x e A | p(x) }
A
V
p
V
~p
=

V
s

= CA V
p

CA V
p
:
complemento
em relao a A
do conjunto V
p
3. Negao
Seja n o conjunto dos nmeros naturais.
Seja a sentena aberta p(x) em N:

p(x): 2x + y = 8 . 5x 3y = 9
Operaes lgicas sobre sentenas abertas
Exemplo:
V
p
= { 3 , 2 }
O conjunto verdade de ~p(x) :
V
~p
= CN V
p
= N { 3, 2 }
2x + y = 8
5x 3y = 9
3. Negao
Seja n
N
o conjunto
n
N
={Ana, Roberto, Paulo, Alberto}

Seja a sentena aberta p(x) em N
N
:
p(x): Nomes iniciados por A
Operaes lgicas sobre sentenas abertas
Exemplo:
V
p
= { Ana, Alberto }
O conjunto verdade de ~p(x) :
V
~p
= CN
N
V
p
= N
N
{ Ana, Alberto }
V
~p
= {Roberto, Paulo} = {Paulo, Roberto}
4. Condicional
Sejam p(x) e q(x) sentenas abertas em A.
Seja a sentena S(x) = p(x) q(x)
~p(x) v q(x)

Operaes lgicas sobre sentenas abertas
Conjunto verdade de S(x):
V
S
= V
pq
= CA V
p
V
q.


Ou seja: V
S
= V
pq
= CA { x e A | p(x) } { x e A | q(x) }
A
V
p
V
pq
=

V
s

= CA V
p
V
q

V
q
4. Condicional
Sejam as sentenas abertas em Z (inteiros).
p(x) = x
2
+ x -2 = 0.
q(x) = x
2
- 4 = 0.
Encontrar V
p q.
Operaes lgicas sobre sentenas abertas
Exemplo:
V
p
= { x e Z | x
2
+ x -2 = 0 } = {-2, 1}. V
q
= { x e Z | x
2
- 4 = 0 } = {-2, 2}.
V
p q
= { x e Z | p(x)q(x) } = ( CZ V
p
) V
q
= ( Z - {-2, 1} ) {-2, 2}
p(x) = x
2
+ x -2 = 0
p(x)
x
q(x) = x
2
- 4 = 0.
x
q(x)
V
p q
= Z {1}
5. Bicondicional
Sejam p(x) e q(x) sentenas abertas em A.
Seja a sentena S(x) = p(x) q(x)
S(x) [ ~p(x) v q(x) ] . [ ~q(x) v p(x) ]

Operaes lgicas sobre sentenas abertas
Conjunto verdade de S(x):
V
S
= V
p q
= [ CA V
p
V
q
] [ CA V
q
V
p
]
.

A
V
p
V
q
CA V
p
V
q

CA V
q
V
p

A
V
q
V
p

=
A
V
q
V
p
V
p q

5. Bicondicional Sejam as sentenas abertas em Z (inteiros).
p(x) = x
2
+ x -2 = 0 ; q(x) = x
2
- 4 = 0.
Encontrar V
p q.
Operaes lgicas sobre sentenas abertas
Exemplo:
V
p
= { x e Z | x
2
+ x -2 = 0 } = {-2, 1}.
V
q
= { x e Z | x
2
- 4 = 0 } = {-2, 2}.
V
p q
= { x e Z | p(x)q(x) } = ( CZ V
p
V
q
)

( CZ V
q
V
p
) =

V
p q
= [ ( Z - {-2, 1} ) {-2, 2} ] [ ( Z - {-2, 2} ) {-2, 1} ]

V
p q
= [ Z - {1} ] [ Z - {2} ]
p(x) = x
2
+ x -2 = 0
p(x)
x
q(x) = x
2
- 4 = 0.
x
q(x)
V
p q
= Z {1, 2}
Quantificadores Universais
Seja p(x) uma sentena aberta em A (A | ) .
Seja V
p
o conjunto verdade de p(x):
V
p
= { x | x e A . p(x) }.
Considere o caso em que V
p
= A.

Nestas condies:
.
x
V
p
= A
Para todo o elemento x em A,
p(x) verdadeiro.

Para todo x e A, p(x).

( x e A) ( p(x) )
( x e A) ( p(x) )
x e A, p(x)
x, p(x)
Notaes lgicas:
Note que a omisso de A
em x, p(x) indica que
V
p
=A.
Quantificadores Universais
( x e A) ( p(x) )
x e A, p(x)
x, p(x)
p(x) Sentena aberta em A.
( x e A) ( p(x) ) proposio: Verdadeira se V
p
= A
Falsa se V
p
A.
Ou seja: se p(x) exprimir uma condio universal em A,
( x e A) ( p(x) ) Verdadeira. Caso contrrio,
( x e A) ( p(x) ) Falsa.
antes de p(x): operao lgica Quantificao
universal.
O smbolo chamado de quantificador universal.
Quantificadores Universais
Exemplo:
Sejam o universo finito: A = {3, 5, 7} e a sentena
aberta p(x): x primo. Pode-se escrever:
( x e A) ( p(x) )

3 primo . 5 primo .
7 primo
Exemplo:
Especifique um conjunto universo no qual p(y): y
mortal exprime uma condio universal.
( y e A) ( p(y) )
A: Conjunto dos seres vivos.
Com:
Quantificadores Universais
Exemplo:
Seja p(x): 2x > x. Em qual(is) conjunto(s) universo
p(x) expressa uma condio universal? Especificar as
proposies associadas em termos do quantificador
universal.
(a) N
(b) R
(c) N*
(d) Z*
( x e N*) ( 2x > x )
Vp ={1, 2, 3 ...} = N*
Contra-exemplos:
(a) {0} c N
(b) { x | x e R . x 0 }
(c) |
(d) { -1, -2, -3 ... } c Z*.
Quantificadores Universais
Exemplo:
Dada a proposio ( n e N) ( n + 5 > 3 ), especificar o
seu valor lgico. Justificar a resposta.
Verdadeiro, pois no h contra-exemplos no
conjunto N (que tornem p(n) = n + 5 > 3 falsa).
Ou seja, Vp = n.
Exemplo:
Dada a proposio ( x e R) ( x
2
0), especificar o seu
valor lgico. Justificar a resposta.
Verdadeiro, pois no h contra-exemplos no
conjunto R (que tornem p(n) = x
2
0 falsa).
Ou seja, Vp = R.
Quantificadores Existenciais
Seja p(x) uma sentena aberta em A (A | ) .
Seja V
p
o conjunto verdade de p(x):
V
p
= { x | x e A . p(x) }.
Considere o caso em que V
p
A . V
p
c A.

Nestas condies:
Existe x em A tal que p(x)
verdadeiro.

Existe x e A, p(x).

( x e A) ( p(x) )
( x e A) ( p(x) )
x e A, p(x)
x, p(x)
Notaes lgicas:
A
.
x
Vp
Note que a omisso de A
em x, p(x) indica que
V
p
|.
Quantificadores Existenciais
( x e A) ( p(x) )
x e A, p(x)
x, p(x)
p(x) Sentena aberta em A.
( x e A) ( p(x) ) proposio: Verdadeira se V
p
|.
Falsa se V
p
= |.
Ou seja: se p(x) exprimir uma condio possvel em A,
( x e A) ( p(x) ) Verdadeira. Caso contrrio,
( x e A) ( p(x) ) Falsa.
antes de p(x): operao lgica Quantificao
Existencial.
O smbolo chamado de Quantificador Existencial.
Quantificadores Existenciais
Exemplo:
Sejam o universo finito: A = {3, 4, 5} e a sentena
aberta p(x): x par. Pode-se escrever:
( x e A) ( p(x) )

3 par v 4 par v 5 par
Exemplo:
Especifique um conjunto universo no qual p(y): y vive
na lua exprime uma condio possvel.
( y e A) ( p(y) )
A = |.
Com:
Observe que: A Vp, com Vp = {4}.
Ou seja, ( y e A) ( p(y) ) FALSA, pois Vp = |.
Quantificadores Existenciais
Exemplo:
Seja p(x): x > x
2
. Em qual(is) conjunto(s) universo
p(x) expressa uma condio possvel? Especificar as
proposies associadas em termos do quantificador
existencial.
(a) N
(b) R
(c) N*
(d) Z*
( x e R) ( x > x
2
)
Vp ={ x | x e R . x > 0 . x < 1 }
Contra-exemplos:
(a) {0, 1, 2 ...} = N.
(b) { x | x e R . ( x 0 v x 1 ) }
(c) {1, 2, 3 ...} = N*
(d) Z*
Negao de proposies com quantificador.
Exemplo:
Seja a proposio (x) ( x fala Espanhol).
.
x
V
p
= A
- Quantificador universal - Quantificador existencial
A
.
x
Vp
Para negar esta condio, basta
haver um nico ponto y e A, tal
que p(y) seja FALSO!
.
y
V
p
A
A
A sua negaco ~(x) ( x fala Espanhol)
( x) ( x fala no Espanhol) Nem todos falam espanhol.
(! y e A) ( ~p(y) )
Unicidade: !
Negao de proposies com quantificador.
Exemplo:
Seja a proposio ( x e A ) ( p(x) ).
A sua negaco ~( x e A ) ( p(x) )
( x e A ) ( ~ p(x) ).
Exemplo:
Seja a proposio ( x e A ) ( p(x) ).
A sua negaco ~( x e A ) ( p(x) )
( x e A ) ( ~ p(x) ).
Segundas regras de
De Morgan