Retirado dos arquivos: Apostila Raciocnio Lgico 1 (www.concurseirosdobrasil.net).pdf; at!ria anotada e caderno da "#$; Raciocnio Lgico (www.concursosfederais).

co ;

.
PROPOSIO

Raciocnio Lgico

Proposio: trata-se de uma sentena, algo que ser declarado por meio de palavras ou smbolos e cujo contedo poder ser declarado verdadeiro ou falso - !ma proposio verdadeira, uma proposio falsa " falsa
Princpio da Identidade Princpio da No-Contradio Princpio do Terceiro

verdadeira

"

- #en$uma proposio poder ser verdadeira e falsa ao mesmo tempo - !ma proposio ou ser verdadeira ou ser falsa: no $ outra possibilidade
Exc !do

PROPOSIO SI"PLES Possui apenas um objeto de estudo %& 'uciana " brasileira

(omente para )%(P% * contagem pelo predicado: Pedro e

Pulo so analista do (%+,-% PROPOSIO CO"POST# .uas ou mais proposi/es ligadas por conectivos 0operadores1 e 012 ou 012 se ento 0$12 se somente se 0%1 %& 'uciana " brasileira e gac$a .ica: Para se recon$ecer uma proposio l3gica: 45 6rase declarativa 75 (ujeito e Predicado definidos 85 9(entido completo: No representam proposi/es a1 6rase e&clamativa: +om dia; b1 6rase <nterrogativa: =ue $oras so> c1 6rase imperativa: 6aa isso

d1 9(entena aberta: * frase declarativa que resulta em uma pergunta, porque no possui termos definidos: & ? @ A B 2 %le " alto 0o termo ele no " especfico1 e1 Parado&o * sem sentido completo, frase impessoal: %ssa frase " falsa 2 %ssa proposio " falsa &S'"(OLOS )TILI*#+OS N# L,-IC# "#TE".TIC#
n%o e ou se ... ent%o se e so ente se tal que i plica equivalente e&iste e&iste u e so ente u qualquer que se'a

$ % / 0 0/ 1

&OPER#+ORES L,-ICOS )onjuno e 23 p C C 6 6 4 C 6 C 6 e 23 5 6 6 6

p e q DD p, 7a8 q DD Tanto p co7o p !ma conjuno s3 ser verdadeira quando ambas as partes que a comp/em tamb"m forem verdadeiras % falsa nos demais casos (e as proposi/es p e 4 forem representadas como conjuntos, por meio de um diagrama, a conjuno 9p 4: corresponder E inter8eo do conjunto p com o conjunto 4 Feremos:

.isjuno o! 23 p 4 o! 23 o! ... o! 2 - - 9

C C 6 6

C 6 C 6

5 5 5 6

3 6 5 5 6

Proposio composta no conectivo 9o! 23: sendo verdadeira no permite concluso, pois temos trGs possibilidades de resultado !ma disjuno ser falsa quando as duas partes que a comp/em forem ambas falsas % nos demais casos ser verdadeira (e as proposi/es p e 4 forem representadas como conjuntos, por meio de um diagrama, a disjuno 9p 4: corresponder E !nio do conjunto p com o conjunto 4 Feremos

O(S.

o! - incluso

o! ... o! - e&cluso

+i8:!no exc !8i9a 0o! ... o!3 .etermina que uma sentena " necessariamente verdadeira, e a outra necessariamente falsa -mbas nunca podero ser ao mesmo tempo verdadeiras2 ambas nunca podero ser ao mesmo tempo falsas Hu p ou 4 vice-versa (e p for verdade, 4 necessariamente " falso, e

)%(P% * no faI distino entre ou e ou ou %& O cu azul ou a mata verde. Ou o cu azul ou a mata verde.

)ondicional 8e ... ento 2$3 p C C 6 6 4 C 6 C 6 8e ... ento 2$3 5 6 5 5

p denominada de antecedente e q de conseqente

(e p ento q (e 7 " impar, ento Jrio " -lto A C

(e 7 " impar A C 6

, ento Jrio " -lto A C ou

(e as proposi/es p e 4 forem representadas como conjuntos, por meio de um diagrama, a proposio condicional 9p $ 4: corresponder E inc !8o do conjunto p no conjunto 4 0p est contido em 41 Feremos:

!ma condio 8!;iciente gera um re8! tado nece88<rio Pedro ser rico " condio 8!;iciente para Jaria ser m"dica Podemos reescrever essa sentena assim: (e Pedro for rico, ento Jaria " m"dica Jaria ser m"dica " condio nece88<ria para que Pedro seja rico Podemos reescrever essa sentena assim: (e Pedro for rico, ento Jaria " m"dica %&press/es e4!i9a ente8 a Se p ento 4:

(e -, + +, se =uando -, + - implica +

- " condio suficiente para + + " condio necessria para - somente se +

Fodo - " +

- proposio condicional 9Se c$ove, ento faI frio: tamb"m pode ser dita das seguintes maneiras: Se c$ove, faI frio 6aI frio, 8e c$ove =!ando c$ove, faI frio )$over i7p ica faIer frio )$over " 8!;iciente para faIer frio 6aIer frio " nece88<rio para c$over )$ove 8o7ente 8e faI frio Toda veI que c$ove, faI frio +icondicional 8e 8o7ente 8e 2%3 p C C 6 4 C 6 C 8e 8o7ente 8e 2%3 5 6 5 con;ir7ar >>>

(e as proposi/es p e 4 forem representadas como conjuntos, por meio de um diagrama, a proposio bicondicional 9p % 4: corresponder E ig!a dade dos conjuntos p e 4

O(S !ma proposio bicondicional 9p se e somente se 4: equivale a proposio composta: 9se p ento 4 e se 4 ento p:, ou seja: p % 4 " a mesma coisa que 0p $ 41 04 $ p1 (o tamb"m e&press/es: e4!i9a ente8 a bicondicional as seguintes

- 8e e 8 8e + Se - ento + e 8e + ento - 8o7ente 8e + e + 8o7ente 8e - ? 8!;iciente para + e + " 8!;iciente para + " nece88<rio para - e - " nece88<rio para + Todo - ? + e todo + ? Todo - ? + e reciprocamente T#(EL# 5ER+#+E Ta@e a 9erdade p 4 C C 6 6 An B x varia/es
a) p q A 77 A @ b) 0p q1 $ p A 77 A @ c) 0p $ q1 % 2r $ s1 A 7@ A 4K

e 23 conjun o 5 6 6 6 Hnde:

o! 23 disjun o 5 5 5 6

8e ... ento 2$3 condiciona l 5 6 5 5

C 6 C 6

8e 8o7ente 8e 2%3 bicondicion al 5 6 5 6

n A nmero de proposi/es

xA nmero de lin$as ou quantidade de

 Fautologia: o valor l3gico da proposio composta " sempre verdadeiro, independentemente dos valores das proposi/es que a comp/em serem C ou 6 )ontradio: o valor l3gico da proposio composta " sempre falso, independentemente dos valores das proposi/es serem C ou 6 )ontingGncia: o que no for uma tautologia ou uma contradio " uma contingGncia, o valor l3gico da proposio composta depende dos valores l3gicos das proposi/es que a comp/em NE-#O +# PROPOSIO SI"PLES 2 3 23 p C 6 -: p p 6 C D

7 " par No ? 9erdade que 7 " par C ;a 8o 4!e 7 " par

-: 7 no ? par

. +!p a negao " igual a a;ir7ao: p A p

Loje no compro nada No fui a lugar nenD!7 No ten$o nada a declarar )asos especiais 4 -: @ ? 8 A M +: 7 O 8 -: @ ? 8 N M p B F H 7 =uantificador 7 4 p: Todo - " + p: # g!7 - no " + Exi8te - no + p E G I +: 7 P 8

Pe o 7eno8 !7 - no " + Ex. p: Os jogadores do ECV so craques.

p: Algum jogador do ECV no craque.

7 7 p: # g!7 - " + p: Todo - no " + p: NenD!7 - " + 7 8 p: NenD!7 - " + p: # g!7 - " + Todo troca por a g!7 e nega a frase NenD!7 troca por a g!7 e con8er9a a frase O(S. p: ningu"m p: algu"m

NE-#O +# PROPOSIO CO"POST# 2 3 23 Proposio - + - + -$+ - %+ Fodo - " + #en$um - " + -lgum - " + -lgum - no " + )onjuno e 23 2p 43 J p 4 -: 7 " par e 8 " impar -: 7 no " par o! 8 no " impar .isjuno o! 23 2p 43 J p 4 -: 7 " par o! 8 " impar -: 7 no " par e 8 no " impar O(S. ne7 A e ? no #egao da proposio - ou + -e + - e + Q 0- e +1 ou 0+ e -1 R -lgum - no " + -lgum - " + #en$um - " + #en$um - no " + 0ou Fodo " +1

 -: 7 no " par ne7 8 no " impar )ondicional 8e ... ento 2$3 2p $ 43 J p 4 -: Se corro ento canso -: )orro e no canso O(S. +: Se estudo, no vejo )arlos e fico deprimida +: %studo e vejo )arlos o! no fico deprimida - =uando no se sabe qual " a proposio - H! + 9Feste de Lip3tese: %& H +rasil possui embai&ada em -dub e no em Jarrocos 0- +1 0 - +1 0- +1 0 - +1 - + - + - + - +

+icondicional 8e 8o7ente 8e 2%3 2p % 43 J K 2p e 43 o! 24 e p3 L -: )omo 8e 8o7ente 8e ten$o fome -: )omo e no ten$o fome o! ten$o fome e no como

O(S. - negao de uma tautologia " sempre uma contradio, enquanto a negao de uma contradio " sempre uma tautologia PROPOSIMES LO-IC#"ENTE E=)I5#LENTES (o ditas proposi/es equivalentes quando compostas pelas mesmas proposi/es simples e os resultados de suas tabelasverdade so idGnticos

!ma conseqSGncia prtica da equivalGncia l3gica " que ao trocar uma dada proposio por qualquer outra que l$e seja equivalente, estamos apenas mudando a maneira de diIG-la - equivalGncia l3gica entre duas proposi/es, p e 4, pode ser representada simbolicamente como: p 4, ou simplesmente por p B 4 .a definio de equivalGncia l3gica pode-se demonstrar as seguintes equivalGncias: 'eis associativas 2# (3 C # 2( C3 2# (3 C # 2( C3 'eis distributivas # 2( C3 2# (3 2# C3 # 2( C3 2# (3 2# C3 'ei da dupla negao 2 #3 B # %quivalGncias +sicas: 4- p 4 B 4 p 7- p 4 B 4 p 8- p % 4 B 4 % p @- p % 4 B 2p $ 43 24 $p3 %quivalGncias da condicional: p $ 4 B p 4 p$4B4$p 2p 43 B p 4 2p 43 B p 4 2p $ 43 B p 4 %quivalGncias entre 9nenD!7: e 9todo: Todo - no " + A NenD!7 - " + NenD!7 - no " + A Todo - " + %quivalGncias teis p 2p 43 B p

p 2p 43 B p PROPOSIMES C#TE-,RIC#S (o as proposi/es formadas com os termos todo, a g!7 e nenD!7 Todo # ? ( * afirmam que o conjunto - est contido em +, ou seja, todo elemento de - " elemento de + -teno: diIer que Todo # ? ( no " o mesmo que diIer Todo ( ? # %& Fodo gac$o " brasileiro N Fodo brasileiro " gac$o (e a proposio " verdadeira temos d!a8 representa/es possveis: o conjunto - dentro do conjunto + igual ao conjunto + o conjunto -

Hs valores l3gicos das outras proposi/es categ3ricas so os seguintes: #en$um - " + * " necessariamente falsa -lgum - " + * " necessariamente verdadeira -lgum - no " + * " necessariamente falsa NenD!7 # ? ( * os conjuntos - e + so disjuntos, isto ", - e + no tem elementos em comum .iIer que NenD!7 # ? ( " logicamente equivalente a diIer que NenD!7 ( ? # %& #en$um diplomata " analfabeto B #en$um analfabeto " diplomata (e a proposio " verdadeira temos a representao possvel: no $ elementos em comum entre os dois conjuntos

Hs valores l3gicos das outras proposi/es categ3ricas so os seguintes:

Fodo - " + * " necessariamente falsa -lgum - " + * " necessariamente falsa -lgum - no " + * " necessariamente verdadeira # g!7 # ? ( * o conjunto - tem pelo menos um elemento em comum com o conjunto + =uando diIemos que # g!7 # ? ( pressupomos que nem todo - " + .iIer que # g!7 # ? ( " logicamente equivalente a diIer que # g!7 ( ? #. %& -lgum m"dico " poeta B -lgum poeta " m"dico -lgum - " + A Pelo menos um - " + A %&iste um - que " + # g!7 m"dico " poeta Pe o 7eno8 !7 m"dico " poeta Exi8te !7 m"dico que " poeta (e a proposio " verdadeira temos 4!atro representa/es possveis: $ elementos em comum entre os dois conjuntos o conjunto - dentro do conjunto +

o conjunto + dentro do conjunto igual ao conjunto +

o conjunto -

Hs valores l3gicos das outras proposi/es categ3ricas so os seguintes: #en$um - " + * " necessariamente falsa Fodo - " + * " indeterminada, pois pode ser verdadeira 0em 8 e @1, e falsa 0em 4 e 71 -lgum - no " + * " indeterminada, pois pode ser verdadeira 0em 4 e 71, e falsa 0em 8 e @1 # g!7 # no ? ( * o conjunto - tem pelo menos um elemento que no pertence ao conjunto + .iIer que # g!7 # no ? ( " logicamente equivalente a diIer que # g!7 # ? no ( e logicamente equivalente a diIer que # g!7 no ( ? #. %&

-lgum fiscal no " $onesto B -lgum fiscal " no $onesto B -lgum no $onesto " fiscal -teno: .iIer que # g!7 # no ? ( no significa o mesmo que diIer que # g!7 ( no ? #. Todo # no ? ( " equivalente NenD!7 # ? ( NenD!7 # no ? ( " equivalente Todo # ? ( - negao de Todo # ? ( " # g!7 # no ? ( 0e viceversa1 - negao de # g!7 # ? ( " NenD!7 # ? ( 0e viceversa1 (e a proposio " verdadeira temos trN8 representa/es possveis: $ elementos em comum entre os dois conjuntos o conjunto + dentro do conjunto -

no $ elementos em comum entre os dois conjuntos

Hs valores l3gicos das outras proposi/es categ3ricas so os seguintes: Fodo - " + * " necessariamente falsa #en$um - " + * " indeterminada, pois pode ser verdadeira 0em 81, e falsa 0em 4 e 71 -lgum - " + * " indeterminada, pois pode ser verdadeira 0em 4 e 71, e falsa 0em 81