Professional Documents
Culture Documents
RACIOCNO LGICO I
Lgica das Proposies (Diagramas Lgicos)
Condicional: Se ... ento... cujo smbolo
1. Introduo
Bicondicional: ...se e somente se...
A lgica uma maneira precisa de representar um cujo smbolo
raciocnio. A lgica apresenta um encadeamento de
ideias que conduzem, de maneira inequvoca, a uma Negao: no cujo smbolo ou ~
determinada concluso. Exemplos:
p q pvq
2.3 Tabela Verdade (Diagramas Lgicos) V V V
V F V
H muitos problemas em se verificar o valor lgico de F V V
uma proposio simples. F F F
Por exemplo, considere a proposio:
Se representarmos as proposies p e q por conjuntos,
Braslia a capital da Argentina.
a disjuno inclusiva corresponde a UNIO.
Nota-se logo que trata de uma proposio falsa.
F F
Condicional
e)
p q p p q ~p ~p q
q V V
V V V V F
V F F F V
F V V F F
F F V
f)
Se representarmos as proposies p e q por conjuntos, p q ~p ~q ~p ~q
a condicional corresponde a INCLUSO V V
V F
F V
F F
g)
pq
p q q p ~p p ~p p ~q
V V
Bicondicional V F
p
F V
p q
F F
q
V V V h)
V F F p q ~q ~p q p ~q ~p ~q
F V F
V V
F F V
V F
F V
Se representarmos as proposies p e q por conjuntos,
a bicondicional corresponde a IGUALDADE F F
~( P Q) ~P ~Q
3.Equivalncias Lgicas
Para verificar essas regras basta preencher as tabelas
Contrapositiva verdade abaixo.
(P Q) (~Q ~P)
P Q P Q ~P ~Q ~P ~Q
Para verificar a equivalncia preencha a tabela a seguir V V
e verifique que os valores lgicos correspondentes a P V F
Q so idnticos aos valores lgicos de ~Q ~P F V
F F
P Q P Q ~Q ~P ~Q ~P
V V Verifique que os valores lgicos correspondentes a ~P
V F ~Q so contrrios aos valores lgicos de P Q,
F V indicando assim que uma a negao da outra.
F F
P Q PQ ~P ~Q ~P ~Q
Alm da contrapositiva, existe outra equivalncia para V V
P Q. V F
F V
P Q ~PVQ F F
Para verificar essa equivalncia preencha os valores Assim como na tabela anterior, verifique que os valores
lgicos da tabela abaixo. lgicos correspondentes a ~P ~Q so contrrios aos
valores lgicos de P Q, indicando assim que uma a
P Q ~P
P ~P Q negao da outra.
Q
As regras citadas acimas so conhecidas como leis de
V V
Morgan.
V F
F V Exemplos:
F F
A negao da proposio:
Portanto : Paulo rico ou brasileiro :
~(Paulo rico) e ~(Paulo brasileiro), ou seja
V V
V F
F V
F F
Resumo
Equivalncias
P Q ~Q ~P
P Q ~P Q
Negaes
~( P Q) ~P ~Q
~( P Q) ~P ~Q
~(P Q) P ~Q
~(P Q) P Q
O smbolo significa equivalncia. No confunda
com
Exerccios
d) P6.
p q ~q p ~q p q pq ~(p ~p ~q ~p ~q
V V F F q)
V F V V V V V F F F F
F V F V V F V F F V F
F F V V F V V F V F F
F F F V V V V
e)
p q ~p ~p q P7.
V V F V p q pq ~(p ~p ~q ~p ~q
V F F V
F V V V q)
F F V F V V V F F F F
V F F V F V V
f) F V F V V F V
p q ~p ~q ~p ~q F F F V V V V
V V F F V
V F F V V P8.
F V V F F a) F
F F V V V b) V
c) F
d) V
g)
P q q p ~p pv~p pq
e) V
f) V
V V V F V V g) F
V F F F V F
F V F V V F P.9 C
F F V V V F
P10.
OBS: 1. E
2. C
3. C
P11. D
P12. E
P13. A
RACIOCNIO LGICO II
Lgica de Argumentao
1. INTRODUO que se l:
O poder de argumentao de uma pessoa avaliada A1, A2, A3,... An, acarretam B
de acordo com a dificuldade que se tem em contrariar
os seus argumentos. De maneira semelhante, em ou
LGICA MATEMTICA, uma boa ARGUMENTAO
feita quando a CONCLUSO facilmente validada B decorre de A1, A2, A3...An
pelos argumentos anteriores ou PREMISSAS.
ou
Por exemplo:
B se deduz de A1, A2, A3...An
1) Se for segunda feira, ento, Joana acorda cedo.
2) Hoje Joana no acordou cedo. ou ainda
Observao:
2. Argumento As premissas e a concluso de um argumento,
Conjunto de enunciados dos quais um a formuladas em uma linguagem estruturada, permitem
CONCLUSO e os demais so PREMISSAS. que o argumento possa ter uma anlise lgica
apropriada para a verificao de sua validade.
2.1 Definio formal
Chama-se ARGUMENTO toda a afirmao de que uma
dada sequencia finita A1, A2,..., An de proposio tem
como consequncia ou acarreta uma proposio final
B, onde as proposies A1, A2,..., An chamam-se
premissas e a ltima B chama-se, concluso.
A1^A2^,..., ^An B
uma tautologia que ser indicado como segue
A1^A2^,..., ^An B
P7. Verifique se o argumento a seguir vlido: a) Paula filha de Paulete e Flvia filha de
Fernanda.
Se Felipe dorme, ento, Rex fica latindo. b) Paula filha de Paulete e Ana filha de Alice.
Se Rex est latindo, ento, Xanim fica miando. c) Paula no filha de Paulete e Ana filha de
Felipe est acordado. Alice.
Logo, Rex no est latindo e Xanim no est miando. d) nia filha de Elisa ou Flvia filha de
Fernanda
P8. O silogismo abaixo vlido? e) Se Ana filha de Alice, Flvia filha de
Fernanda
Se Bernado vai padaria, ento, Ricardo toma caf
da manh.
Ricardo no tomou caf da manh. P14. (ESAF) Ricardo, Rogerio e Renato so irmos.
Portanto, Bernado no foi padaria. Um deles mdico, outro msico, e o outro
professor. Sabe-se que
P9. Analise a validade da argumentao do ponto de
vista da lgica:
1) ou Ricardo mdico, ou Renato mdico
Se cachorro no mia, gato no late. 2) ou Ricardo professor, ou Rogrio msico
Se gato no late, ento, rato no muge. 3) ou Renato msico, ou Rogrio msico
4) ou Rogrio professor , ou Renato professor.
Se rato no muge, ento, leo feroz.
Leo no feroz.
Portanto, as profisses de Ricardo, Rogerio e Renato
Logo, cachorro mia.
so respectivamente
P10. Verifique se o argumento a seguir vlido:
a) professor, mdico, msico
Joo gosta de Maria ou Maria gosta de Joo. b) mdico, professor, msico
Se Ricardo gosta de Maria, ento, Joo no gosta de c) professor, msico, mdico
Maria. d) msico, mdico, professor
Astrogildo vai fazer compras se e somente se Ricardo e) mdico, msico, professor
gosta de Maria.
Maria no gosta de Joo.
Logo, Astrogildo no ir fazer compras. P15. (ESAF) Se Iara no fala italiano, ento Ana fala
alemo. Se Iara fala italiano, ento ou Ching fala
P11. (ESAF) Se Vera viajou, nem Camile nem Carla chins ou Dbora fala dinamarqus. Se Dbora fala
foram ao casamento. Se Carla no foi ao casamento, dinamarqus, Elton fala espanhol. Mas Elton fala
Vanderlia viajou. Se Vanderlia viajou o navio espanhol se somente se no for verdade que Francisco
afundou. Ora, o navio no afundou. Logo, no fala francs. Ora, Francisco no fala francs e
Ching no fala chins. Logo,
a) Vera no viajou e Carla no foi ao casamento.
b) Camile e Carla no foram ao casamento. a) Iara no fala italiano e Dbora no fala dinamarques
c) Carla no foi ao casamento e Vanderlia no b) Ching no fala chins e Dbora fala dinamarqus
viajou c) Francisco no fala francs e Elton fala espanhol
d) Carla no foi ao casamento ou Vanderlia d) Ana no fala alemo ou Iara fala italiano
viajou e) Ana fala alemo e Dbora fala dinamarqus
e) Vera e Vanderlia no viajaram
P16. (ESAF) Um crime foi cometido por uma e apenas
P12. (ESAF) Se Beraldo briga com Beatriz, ento uma pessoa de um grupo de cinco suspeitos: Arnaldo,
Beatriz briga com Bia. Se Beatriz briga com Bia, ento Celso, Edu, Juarez e Tarso. Perguntados sobre quem
Bia vai ao bar. Se Bia vai ao bar, ento Beto briga com era o culpado, cada um deles respondeu:
Bia. Ora, Beto no briga com Bia. Logo,
Arnaldo: Sou inocente
a) Bia no vai ao bar e Beatriz briga com Bia. Celso: Edu o culpado
b) Bia vai ao bar e Beatriz briga com Bia. Edu: Tarso culpado
c) Beatriz no briga com Bia e Beraldo no briga Juarez: Arnaldo disse a verdade
com Beatriz. Tarso: Celso mentiu
d) Beatriz briga com Bia e Beraldo briga com
Beatriz. Sabendo-se que apenas um dos suspeitos mentiu e
e) Beatriz no briga com Bia e Beraldo briga com que todos outros disseram a verdade pode-se concluir
Beatriz que o culpado
a) Mrio
b) Marcos
c) Mara
d) Manuel
e) Maria
GABARITO
P1. d
P2. c
P3. e
P4. b
P5. d
P6. a
P7. Invlido.
P11. e
P12. c
P13. b
P14. e
P15. a
P16. e
P17. c