Sei sulla pagina 1di 13

Retirado dos arquivos: Apostila Raciocnio Lgico 1 (www.concurseirosdobrasil.net).pdf; matria anotada em caderno da FGV; Raciocnio Lgico (www.concursosfederais).

com;

.
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. - Uma proposio verdadeira, uma proposio falsa falsa.
Princpio da Identidade Princpio da No-Contradio Princpio do Terceiro

verdadeira

- Nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo. - Uma proposio ou ser verdadeira ou ser falsa: no h outra possibilidade.
Excludo

PROPOSIO SIMPLES Possui apenas um objeto de estudo. Ex. Luciana brasileira.

. Somente para CESPE contagem pelo predicado: Pedro e


Pulo so analista do SEBRAE. PROPOSIO COMPOSTA Duas ou mais proposies ligadas por conectivos (operadores) e (); ou (); se ... ento (); se somente se (). Ex. Luciana brasileira e gacha. Dica: Para se reconhecer uma proposio lgica: 1 Frase declarativa 2 Sujeito e Predicado definidos 3 Sentido completo No representam proposies a) Frase exclamativa: Bom dia! b) Frase Interrogativa: Que horas so? c) Frase imperativa: Faa isso.

d) Sentena aberta frase declarativa que resulta em uma pergunta, porque no possui termos definidos: x + 4 = 7 ; Ele alto (o termo ele no especfico). e) Paradoxo sem sentido completo, frase impessoal: Essa frase falsa ; Essa proposio falsa. SMBOLOS UTILIZADOS NA LGICA MATEMTICA
no e ou se ... ento se e somente se tal que implica equivalente existe existe um e somente um qualquer que seja

OPERADORES LGICOS Conjuno e () p V V F F q V F V F e () V F F F

p e q // p, mas q // Tanto p como p Uma conjuno s ser verdadeira quando ambas as partes que a compem tambm forem verdadeiras. E falsa nos demais casos. Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a conjuno p q corresponder interseo do conjunto p com o conjunto q. Teremos:

Disjuno ou () p q ou () ou ... ou ( - - v

V V F F

V F V F

V V V F

) F V V F

Proposio composta no conectivo ou () sendo verdadeira no permite concluso, pois temos trs possibilidades de resultado. Uma disjuno ser falsa quando as duas partes que a compem forem ambas falsas. E nos demais casos ser verdadeira. Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a disjuno p q corresponder unio do conjunto p com o conjunto q. Teremos

OBS.

ou - incluso

ou ... ou - excluso

Disjuno exclusiva (ou ... ou) Determina que uma sentena necessariamente verdadeira, e a outra necessariamente falsa. Ambas nunca podero ser ao mesmo tempo verdadeiras; ambas nunca podero ser ao mesmo tempo falsas. Ou p ou q vice-versa. Se p for verdade, q necessariamente falso, e

. CESPE no faz distino entre ou e ou ... ou. Ex. O cu


azul ou a mata verde. Ou o cu azul ou a mata verde. Condicional se ... ento () p V V F F q V F V F se ... ento () V F V V

p denominada de antecedente e q de conseqente


Se p ento q. Se 2 impar, ento Mrio Alto. = V

Se 2 impar = V F

, ento Mrio Alto = V ou

Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a proposio condicional p q corresponder incluso do conjunto p no conjunto q (p est contido em q). Teremos:

Uma condio suficiente gera um resultado necessrio. Pedro ser rico condio suficiente para Maria ser mdica. Podemos reescrever essa sentena assim: Se Pedro for rico, ento Maria mdica. Maria ser mdica condio necessria para que Pedro seja rico. Podemos reescrever essa sentena assim: Se Pedro for rico, ento Maria mdica Expresses equivalentes a Se p ento q:

Se A, B B, se A. Quando A, B. A implica B.

A condio suficiente para B. B condio necessria para A. A somente se B

Todo A B.

A proposio condicional Se chove, ento faz frio tambm pode ser dita das seguintes maneiras: Se chove, faz frio. Faz frio, se chove. Quando chove, faz frio. Chover implica fazer frio. Chover suficiente para fazer frio. Fazer frio necessrio para chover. Chove somente se faz frio. Toda vez que chove, faz frio. Bicondicional se somente se () p V V F q V F V se somente se () V F V confirmar !!!

Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a proposio bicondicional p q corresponder igualdade dos conjuntos p e q.

OBS. Uma proposio bicondicional p se e somente se q equivale a proposio composta: se p ento q e se q ento p, ou seja: p q a mesma coisa que (p q) (q p) So tambm expresses: equivalentes a bicondicional as seguintes

A se e s se B. Se A ento B e se B ento A. A somente se B e B somente se A. A suficiente para B e B suficiente para A. B necessrio para A e A necessrio para B. Todo A B e todo B A. Todo A B e reciprocamente. TABELA VERDADE Tabela verdade p q V V F F 2n = x variaes.
a) p q = 22 = 4 b) (p q) p = 22 = 4 c) (p q) (r s) = 24 = 16

e () conjun o V F F F Onde:

ou () disjun o V V V F

se ... ento () condiciona l V F V V

V F V F

se somente se () bicondicion al V F V F

n = nmero de proposies.

x= nmero de linhas ou quantidade de

Tautologia: o valor lgico da proposio composta sempre verdadeiro, independentemente dos valores das proposies que a compem serem V ou F. Contradio: o valor lgico da proposio composta sempre falso, independentemente dos valores das proposies serem V ou F. Contingncia: o que no for uma tautologia ou uma contradio uma contingncia, o valor lgico da proposio composta depende dos valores lgicos das proposies que a compem. NEGAO DA PROPOSIO SIMPLES ( ) () p V F A: p p F V /

2 par No verdade que 2 par falso que 2 par

A: 2 no par

. Dupla negao igual a afirmao: p = p


Hoje no compro nada. No fui a lugar nenhum. No tenho nada a declarar. Casos especiais 1 A: 4 + 3 = 9 B: 2 > 3 A: 4 + 3 9 p = > 2 Quantificador 2.1 p: Todo A B. p: Algum A no B. Existe A no B. p < B: 2 3

Pelo menos um A no B. Ex. p: Os jogadores do ECV so craques.

p: Algum jogador do ECV no craque.


2.2 p: Algum A B. p: Todo A no B. p: Nenhum A B. 2.3 p: Nenhum A B. p: Algum A B Todo troca por algum e nega a frase. Nenhum troca por algum e conserva a frase. OBS. p: ningum p: algum

NEGAO DA PROPOSIO COMPOSTA ( ) () Proposio A B A B AB A B Todo A B Nenhum A B Algum A B Algum A no B Conjuno e () (p q) p q A: 2 par e 3 impar. A: 2 no par ou 3 no impar. Disjuno ou () (p q) p q A: 2 par ou 3 impar. A: 2 no par e 3 no impar. OBS. nem = e + no Negao da proposio A ou B Ae B A e B [ (A e B) ou (B e A) ] Algum A no B Algum A B Nenhum A B Nenhum A no B (ou Todo A B)

A: 2 no par nem 3 no impar. Condicional se ... ento () (p q) p q A: Se corro ento canso. A: Corro e no canso. OBS. B: Se estudo, no vejo Carlos e fico deprimida. B: Estudo e vejo Carlos ou no fico deprimida. - Quando no se sabe qual a proposio A OU B. Teste de Hiptese. Ex. O Brasil possui embaixada em Adub e no em Marrocos. (A B) ( A B) (A B) ( A B) A B A B A B A B

Bicondicional se somente se () (p q) [ (p e q) ou (q e p) ] A: Como se somente se tenho fome. A: Como e no tenho fome ou tenho fome e no como.

OBS. A negao de uma tautologia sempre uma contradio, enquanto a negao de uma contradio sempre uma tautologia. PROPOSIES LOGICAMENTE EQUIVALENTES So ditas proposies equivalentes quando compostas pelas mesmas proposies simples e os resultados de suas tabelasverdade so idnticos.

Uma conseqncia prtica da equivalncia lgica que ao trocar uma dada proposio por qualquer outra que lhe seja equivalente, estamos apenas mudando a maneira de diz-la. A equivalncia lgica entre duas proposies, p e q, pode ser representada simbolicamente como: p q, ou simplesmente por p = q. Da definio de equivalncia lgica pode-se demonstrar as seguintes equivalncias: Leis associativas (A B) C A (B C) (A B) C A (B C) Leis distributivas A (B C) (A B) (A C) A (B C) (A B) (A C) Lei da dupla negao ( A) = A Equivalncias Bsicas: 1- p q = q p 2- p q = q p 3- p q = q p 4- p q = (p q) (q p) Equivalncias da condicional: p q = p q pq=qp (p q) = p q (p q) = p q (p q) = p q Equivalncias entre nenhum e todo Todo A no B = Nenhum A B Nenhum A no B = Todo A B Equivalncias teis p (p q) = p

p (p q) = p PROPOSIES CATEGRICAS So as proposies formadas com os termos todo, algum e nenhum. Todo A B afirmam que o conjunto A est contido em B, ou seja, todo elemento de A elemento de B. Ateno: dizer que Todo A B no o mesmo que dizer Todo B A. Ex. Todo gacho brasileiro. Todo brasileiro gacho. Se a proposio verdadeira temos duas representaes possveis: o conjunto A dentro do conjunto B igual ao conjunto B o conjunto A

Os valores lgicos das outras proposies categricas so os seguintes: Nenhum A B necessariamente falsa Algum A B necessariamente verdadeira Algum A no B necessariamente falsa Nenhum A B os conjuntos A e B so disjuntos, isto , A e B no tem elementos em comum. Dizer que Nenhum A B logicamente equivalente a dizer que Nenhum B A. Ex. Nenhum diplomata analfabeto. = Nenhum analfabeto diplomata. Se a proposio verdadeira temos a representao possvel: no h elementos em comum entre os dois conjuntos

Os valores lgicos das outras proposies categricas so os seguintes:

Todo A B necessariamente falsa Algum A B necessariamente falsa Algum A no B necessariamente verdadeira Algum A B o conjunto A tem pelo menos um elemento em comum com o conjunto B. Quando dizemos que Algum A B pressupomos que nem todo A B. Dizer que Algum A B logicamente equivalente a dizer que Algum B A. Ex. Algum mdico poeta. = Algum poeta mdico. Algum A B = Pelo menos um A B = Existe um A que B Algum mdico poeta. Pelo menos um mdico poeta. Existe um mdico que poeta Se a proposio verdadeira temos quatro representaes possveis: h elementos em comum entre os dois conjuntos o conjunto A dentro do conjunto B

o conjunto B dentro do conjunto A igual ao conjunto B

o conjunto A

Os valores lgicos das outras proposies categricas so os seguintes: Nenhum A B necessariamente falsa Todo A B indeterminada, pois pode ser verdadeira (em 3 e 4), e falsa (em 1 e 2) Algum A no B indeterminada, pois pode ser verdadeira (em 1 e 2), e falsa (em 3 e 4) Algum A no B o conjunto A tem pelo menos um elemento que no pertence ao conjunto B. Dizer que Algum A no B logicamente equivalente a dizer que Algum A no B e logicamente equivalente a dizer que Algum no B A. Ex.

Algum fiscal no honesto. = Algum fiscal no honesto. = Algum no honesto fiscal. Ateno: Dizer que Algum A no B no significa o mesmo que dizer que Algum B no A. Todo A no B equivalente Nenhum A B Nenhum A no B equivalente Todo A B A negao de Todo A B Algum A no B (e viceversa) A negao de Algum A B Nenhum A B (e viceversa) Se a proposio verdadeira temos trs representaes possveis: h elementos em comum entre os dois conjuntos o conjunto B dentro do conjunto A

no h elementos em comum entre os dois conjuntos

Os valores lgicos das outras proposies categricas so os seguintes: Todo A B necessariamente falsa Nenhum A B indeterminada, pois pode ser verdadeira (em 3), e falsa (em 1 e 2) Algum A B indeterminada, pois pode ser verdadeira (em 1 e 2), e falsa (em 3)

Potrebbero piacerti anche