Escolar Documentos
Profissional Documentos
Cultura Documentos
~
Conectivo
Aproximadamente conjuno e
.
(I) Joo passou no vestibular e ganhou um carro
(II) Joo ganhou um carro e passou no vestibular
Significados
diferentes !!!!
Na matemtica p q diz a mesma coisa que
q p (ORDEM NO IMPORTA!!!!)
.
.
q p .
OBS: S considerada verdadeira
se p e q forem
TABELA
VERDADE
p q
V V V
V F F
F V F
F F F
q p .
Ex: Para cada sentena molecular d o valor verdade V ou F:
a) 2+2=4 ^ 7-1=6
b) 2+2=4 ^ 7+2=15
c) 2+3=8 ^ 7+2=9
d) 5+9=13 ^ 20-2=7
CONJUNO DAS SENTENAS ATMICAS p e q
conjuntivos
: CONJUNO
NA LINGUAGEM USUAL:
Exemplo 1: Maria disse ao namorado: ou eu, ou ela.
INCLUSIVO
OU
EXCLUSIVO
(exclusivo)
Exemplo 2: O cheque ser pago se contiver a assinatura de
Maria ou Joo. (inclusivo: e/ou)
Na matemtica:
o conectivo
v
corresponde ao ou inclusivo
q p v
p q p q
V V V
V F V
F V V
F F F
v
: DISJUNO INCLUSIVA
OBS: Para a sentena ser considerada verdadeira, basta uma das
sentenas seja!!!
Ex: Para cada sentena molecular
d o valor verdade V ou F:
a) 2
0
=1 2
2
=4
b) 3>1 20<5
c) 10<7 2+3=5
d) 2>7 7<5
e) 7 10
f) 12 9
s
s
v
v
v
v
q p v
: CONDICIONAL OU IMPLICAO q p
Exemplo 1:
p: choveu
q: o cho ficou molhado
A sentena: Se choveu, ento o cho ficou molhado
pode ser simbolizada por
Choveu
o cho ficou molhado
ou
Significa que se p for verdadeira, q obrigatoriamente
Ser verdadeira.
q p
q p
q p
PODE SER LIDA
p implica q
q se p
p condio suficiente para q
p condio necessria para q
RECPROCA DE
p q q p
Exemplo:
x par
x
2
par
RECPROCA: x
2
par
x par
EXERCCIOS:
1) Sendo p a sentena Paulo estuda e q a sentena Paulo passa no
Vestibular, simbolize as seguintes sentenas:
a) Paulo estuda ou Paulo passa no vestibular
b) Se Paulo estuda, ento Paulo passa no vestibular
c) Se Paulo passa no vestibular, ento Paulo estuda
d) Que Paulo estude condio suficiente para que Paulo passe no
vestibular
2) Apresente a recproca de cada condicional a diga se ela verdadeira
ou falsa:
a) Se dois ngulos so opostos pelo vrtice, ento so congruentes
b) Se dois nmeros reais so iguais, ento seus quadrados
So iguais
:BICONDICIONAL OU BI-IMPLICAO q p
QUANDO QUEREMOS DIZER QUE
p q
e
q p
So verdadeiras, escrevemos
SIMBOLIZA:
q p
) ( ) ( p q q p .
Sentena composta
q p
p q p q
V V V
V F F
F V F
F F V
PODE SER LIDA
p, se e somente, q
p condio necessria e suficiente para q
p equivalente a q
Ex: V ou F:
a) 5>2 8<20
b) 5+3=1 2>5
c) 7
2
=14 10-1=9
d) 3:2=1,5 3
2
=6
q p
O conectivo ~
Consideremos a sentena p: Maria bonita
A sentena:
Maria no bonita
simbolizada por ~p
PODE SER
apresentada
falso que Maria seja bonita
No verdade que Maria seja bonita
p ~p
V F
F V
Ex: V ou F:
a) 2+2=4
b) ~(2+2=4)
c) ~(5<2)
Exerccios
1) A e b so nmeros reais. Dizer a negao de:
a) a=b
b) a<b
c) a<=b
d) a>=b
e) a>b
OBS:
1) ~p^q uma conjuno, pois o ~s abrange o p;
2) ~(p^q) uma negao, pois o ~abrange p^q
3) Os conectivos tm prioridade sobre o .
v . e
e
Exerccios
2) Sendo p, q e r sentenas atmicas, obtenha as tabelas verdade das
seguintes sentenas moleculares:
a) ~(~p^q)
b) (p q)^(p r)
3) Se p V, q F e r F, dizer se cada uma das sentenas a seguir V ou F:
a) ~(p q) r ~p
b) ~(p ^ r) r ~q
c) (p q) ^ (r ~p)
d) (p r) (r ~r)
e) ~r ~p ~q
v
v
v
Tautologia e Contradio
DEF:
Sentenas que so sempre verdadeiras, independentemente
Do valor de verdade das sentenas so chamadas
Tautologias.
DEF:
Sentenas moleculares que so sempre falsas, so chamadas
contradies.
Como uma tautologia sempre verdadeira e uma
Contradio sempre falsa, tem-se:
Negao de uma tautologia sempre uma contradio
enquanto
a negao de uma contradio sempre uma tautologia
Exerccios
1) Usando tabelas verdade, verifique que:
a) A sentena molecular ~(p^q) ~p ~q uma tautologia
b) A sentena molecular ~p ^ p uma contradio