Você está na página 1de 11

RACIOCNIO LGICO-QUANTITATIVO

FORMAO DE CONCEITOS & DISCRIMINAO DE ELEMENTOS

O que uma Proposio?


Chamaremos de proposio ou sentena, a todo conjunto de palavras ou smbolos
que exprimem um pensamento de sentido completo.

Ex.: O Sof azul.


O Brasil vai sediar o Pan-Americano.
O Real vale mais do que o Dlar.

Existem axiomas para as proposies?


Na Lgica Clssica, temos dois princpios para as proposies:

1 Princpio da no-contradio:
Uma proposio no pode ser verdadeira e falsa simultaneamente.
2 Princpio do Terceiro Excludo:
Uma proposio s pode ter dois valores verdades, isto , verdadeiro (V) ou falso (F),
no podendo ter outro valor.

Ento, para os exemplos acima temos:


Ex.: Algum Sof azul. (V)
O Brasil vai sediar o Pan-Americano. (V)
O Real vale mais do que o Dlar. (F)

Lembre-se que o que verdadeiro ou falso, pode estar dentro de um contexto.


Acreditamos que a Copa de 2014 ser no Brasil, mas ainda no aconteceu.

2.1 Estruturas Lgicas


Os principais smbolos da lgica matemtica usados na argumentao so
classificados em conectores e quantificadores.

.1 Conectores
Os principais smbolos conectores e seus significados numa frase so:

l-se Negao
significa ...no o caso de ...

Pgina 1 de 11.
! l-se Disjuno
significa ...ou...

" l-se Conjuno


Significa ...e...

# l-se Condicional
significa Seento...

$ l-se Bicondicional
significa se e somente se

.2 Quantificadores
Os smbolos quantificadores e seus significados numa frase so:

% l-se Universal
significa Para qualquer elemento de...

& l-se Existencial


significa Existe pelo menos um elemento de...

.3 Sintaxe
Deste modo, a sintaxe lida desta forma:
p l-se no o caso de p
p!q l-se p ou q
p"q l-se p e q
p # q l-se Se p ento q
p $ q l-se p se e somente se q
%p l-se Para todo elemento de p
&p l-se Ao menos um elemento de p

No item seguinte estaremos desenvolvendo a lgebra dos conectores e dos


quantificadores aplicadas Lgica da Argumentao.

2.2 Lgica da Argumentao


Tomando as seguintes frases p , q e r:

p = Chove no Rio de Janeiro.

q = O carro est na garagem.

Pgina 2 de 11.
r = Eu estou lendo um livro.

.1 Negao

Tomando a frase p:

Ento p significa :

p = No chove no Rio de Janeiro.


ou
Chove em algum lugar nos arredores do Rio de Janeiro.

q = O carro no est na garagem.

r = Eu no estou lendo um livro.

.2 Disjuno

p ! q = Chove no Rio de Janeiro ou o carro est na garagem.

.3 Conjuno

p " q = Chove no Rio de Janeiro e o carro est na garagem.

.4 Condicional

p # q = Se chove no Rio de Janeiro ento o carro est na garagem.

Nota: Diz-se que, p condio suficiente de q, mas no necessria. Por outro lado, pode-
se afirmar que, q condio necessria de p, mas no suficiente.
Lembre-se: Vale a ida, mas no vale a volta.

.5 Bicondicional

p $ q = Chove no Rio de Janeiro se e somente se o carro est na garagem.

Nota 1: A frase pode ter um sentido equivocado, pois pode chover sem o carro estar na
garagem, ou, no chover com o carro na garagem. Mas a construo lgica ainda
permanece verdadeira.
Nota 2: Diz-se que, p condio suficiente e necessria de q, ou que, q condio
necessria e suficiente de p.
Lembre-se: Vale a ida e a volta.

Pgina 3 de 11.
.6 Algumas Propriedades dos Conectores

a) Negao da negao

p ' p , ou seja:

p = Chove no Rio de Janeiro.

b) Idempotncia

p!p ' p ou p"p 'p

Qualquer frase conectada a ela mesma por e ou ou vai resultar nela mesma.

c) Negao da disjuno

(p ! q) ' ( p) " ( q) , ou seja:

No (Chove no Rio de Janeiro ou o carro est na garagem.)


equivale :

No chove no Rio de Janeiro e o carro no est na garagem.

d) Negao da conjuno

(p " q) ' ( p) ! ( q) , ou seja:

No (Chove no Rio de Janeiro e o carro est na garagem.)


equivale :

No chove no Rio de Janeiro ou o carro no est na garagem.

e) Equivalncia do condicional

(p # q) ' ( q) # ( p) , ou seja:

Se chove no Rio de Janeiro ento o carro est na garagem.

equivale :

Se o carro no est na garagem ento no chove no Rio de Janeiro.

Pgina 4 de 11.
f) Disjuno da conjuno

p ! (q " r) ' (p ! q) " (p ! r) , ou seja:

Chove no rio de Janeiro, ou o carro est na garagem enquanto leio um livro.

equivale :

Chove no rio de Janeiro ou o carro est na garagem, enquanto isso, chove no Rio de
Janeiro ou leio um livro.

Nota: A palavra enquanto equivale ao conectivo e.

g) Conjuno da disjuno

p " (q ! r) ' (p " q) ! (p " r) , ou seja:

Chove no rio de Janeiro, enquanto o carro est na garagem ou estou lendo um livro.

equivale :

Chove no rio de Janeiro enquanto o carro est na garagem, ou chove no Rio de Janeiro
enquanto leio um livro.

.7 Quantificador Universal

Se definirmos

M ' Saiu na rua e se molhou., ento:

% M = Cada um que saiu na rua se molhou.

Nota: Cada um que saiu equivale a Todos que saram.

.8 Quantificador Existencial

Se definirmos

M ' Saiu na rua e se molhou. , ento:

& M = Pelo menos um que saiu na rua se molhou. ou Algum saiu na rua e se
molhou.

Pgina 5 de 11.
.9 Algumas Propriedades dos Quantificadores

Se definirmos

F ' Estar feliz , ento:

% F = Todos esto felizes.

& F = Pelo menos algum est feliz.

a) Negao do quantificador universal

Definindo se: & '%

Temos que, a negao de

Todos esto felizes.

, ento: %F' ( & ) F ' & ( F), portanto:

Pelo menos algum no est feliz.

b) Negao do quantificador existencial

Definindo se: % '&

Temos que, a negao de

Pelo menos algum est feliz

, ento: &F' ( % ) F ' % ( F), portanto:

Todos no esto felizes.


ou

Ningum est feliz.

2.3 Exemplos

01. (ESAF) Se Beto briga com Glria, ento Glria vai ao cinema. Se Glria vai ao
cinema, ento Carla fica em casa. Se Carla fica em casa, ento Raul briga com
Carla. Ora, Raul no briga com Carla. Logo:
(A) Carla no fica em casa e Beto no briga com Glria.
(B) Carla fica em casa e Glria vai ao cinema.
(C) Carla no fica em casa e Glria vai ao cinema.
(D) Glria vai ao cinema e Beto briga com Glria.
(E) Glria no vai ao cinema e Beto briga com Glria.

Pgina 6 de 11.
Soluo:
Pela 2.2.6 e) Equivalncia do Condicional, temos que, se Raul no briga com
Carla, ento Carla no fica em casa.
Se Carla no fica em casa, ento Glria no vai ao cinema. Se Glria no vai ao
cinema, ento Beto no briga com Glria.
Portanto, letra (A).
Nota: O mtodo de resoluo consiste na aplicao da equivalncia do condicional
repetidas vezes.

02. Dizer que ''Pedro no pedreiro ou Paulo paulista'' , do ponto de vista lgico,
o mesmo que dizer que:
(A) se Pedro no pedreiro, ento Paulo paulista.
(B) se Paulo paulista, ento Pedro pedreiro.
(C) se Pedro pedreiro, ento Paulo paulista.
(D) se Pedro pedreiro, ento Paulo no paulista.
(E) se Pedro no pedreiro, ento Paulo no paulista.

Soluo:
A implicao (p # q), pode ser reescrita utilizando outros conectores, da forma
( p # q ' ( p) ! q
Esta equivalncia vale sempre e, se definirmos p ' Pedro pedreiro e q ' Paulo
paulista, ento, encontraremos a soluo.
Portanto, letra (C).
Nota: O enunciado do item 2.2.6, letra e), pode ser provado atravs desta equivalncia.

03. Do ponto de vista lgico-formal, como poderia ser reescrita a seguinte


sentena: Se Jac passar no MPU, vai agradecer Deus e se Jac agradecer
Deus, vai passar no MPU. ?
(A) Se Jac passar no MPU agradecer Deus.
(B) Jac agradecer Deus se passar no MPU.
(C) Se Jac passar no MPU vai agradecer Deus ou se Jac agradecer Deus, vai
passar no MPU.
(D) Jac vai passar no MPU se e somente se agradecer Deus.
(E) Jac vai passar no MPU e agradecer a Deus.

Soluo:
A tautologia (p $ q), pode ser reescrita utilizando outros conectores, da forma
( p $ q ' (p # q) " (q # p)

Pgina 7 de 11.
Esta equivalncia vale sempre e, se definirmos p ' Jac vai passar no MPU e q '
Jac vai agradecer Deus, ento, encontraremos a soluo.
Portanto, letra (D).
Nota: O autor deseja que todos passem no concurso do TRF 2 Regio !!!

04. (ESAF) Das premissas:


A: Nenhum heri covarde.
B: Alguns soldados so covardes.
Pode-se corretamente concluir que:
a) alguns heris so soldados.
b) alguns soldados so heris.
c) nenhum heri soldado.
d) alguns soldados no so heris.
e) nenhum soldado heri.

Soluo:
Se definirmos:

H ' Heri, S ' Soldado e C ' Covarde

Temos, para as premissas dadas:

( %)H " C " &S " C

Pela 2.2.9 b) temos que:


&( H) " C " &S " C

Rearranjando os termos, encontramos:

&( H) " &S " C " C =

&( H " S) " C " C =

&( H " S) " C

Logo, temos pelo menos algum que soldado (S), e ao mesmo tempo, atravs do
conectivo ", tambm um no-heri. ( H).

Portanto, letra (D).


Nota: Ambos (no-heri e soldado), atravs do conectivo ", so tambm covardes, mas
isto no influencia no resultado.

Pgina 8 de 11.
2.4 Exerccios

01. (TRE 2007) Considere que as seguintes afirmaes so verdadeiras:


Alguma mulher vaidosa.
Toda mulher inteligente.
Assim sendo, qual das afirmaes seguintes verdadeira.
(A) Alguma mulher inteligente vaidosa.
(B) Alguma mulher vaidosa no inteligente.
(C) Alguma mulher no vaidosa no inteligente.
(D) Toda mulher inteligente vaidosa.
(E) Toda mulher vaidosa no inteligente

02. (TRF 2006) Algum X Y. Todo X Z. Logo:


(A) algum Z Y.
(B) algum X Z.
(C) todo Z X.
(D) todo Z Y.
(E) algum X Y.

03. (TRF 2006) Se todos os nossos atos tm causa, ento no h atos livres. Se
no h atos livres, ento todos os nossos atos tm causa. Logo,
(A) alguns atos no tm causa se no h atos livres.
(B) todos os nossos atos tm causa se e somente se h atos livres.
(C) todos os nossos atos tm causa se e somente se no h atos livres.
(D) todos os nossos atos no tm causa se e somente se no h atos livres.
(E) alguns atos so livres se e somente se todos os nossos atos tm causa.

04. (ESAF/AFTN/96) - Se Nestor disse a verdade, Jlia e Raul mentiram. Se Raul


mentiu, Lauro falou a verdade. Se Lauro falou a verdade, h um leo feroz nesta
sala. Ora, no h um leo feroz nesta sala. Logo:
a) Nestor e Jlia disseram a verdade
b) Nestor e Lauro mentiram
c) Raul e Lauro mentiram
d) Raul mentiu ou Lauro disse a verdade
e) Raul e Jlia mentiram

05. Sabe-se que a ocorrncia de B condio necessria para a ocorrncia de C e


condio suficiente para a ocorrncia de D. Sabe-se, tambm, que a ocorrncia de
D condio necessria e suficiente para a ocorrncia de A. Assim, quando C
ocorre,
a) D ocorre e B no ocorre
b) D no ocorre ou A no ocorre
c) B e A ocorrem
d) nem B nem D ocorrem
e) B no ocorre ou A no ocorre

Pgina 9 de 11.
06. (ESAF) Se Ana no advogada, ento Sandra secretria. Se Ana advogada,
ento Paula no professora. Ora Paula professora. Portanto:
a) Ana advogada.
b) Sandra secretria.
c) Ana advogada, ou Paula no professora.
d) Ana advogada e Paula professora.
e) Ana no advogada e Sandra secretria.

07. Chama-se tautologia a toda proposio que sempre verdadeira,


independentemente da verdade dos termos que a compem. Um exemplo de
tautologia :
a) se Joo alto, ento Joo alto ou Guilherme gordo
b) se Joo alto, ento Joo alto e Guilherme gordo
c) se Joo alto ou Guilherme gordo, ento Guilherme gordo
d) se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo
e) se Joo alto ou no alto, ento Guilherme gordo

08. (FGV) Certo dia, o jornal ECO publicou a seguinte manchete:


50% DOS DEPUTADOS SO DESONESTOS
Aps uma interpelao judicial, o referido jornal foi obrigado a retratar-se, devendo
publicar a NEGAO que afirma, com o mesmo destaque. Foi ento publicada a
Segunda manchete:
50% DOS DEPUTADOS SO HONESTOS
Podemos assim afirmar que:
a. A Segunda manchete a negao da primeira.
b. A negao da primeira manchete : Existem deputados honestos.
c. A negao da primeira manchete : Todos os deputados so honestos.
d. NDA

09. (IBGE-2006) Se todo Y Z e existem X que so Y, pode-se concluir que:


a) Existem X que so Z
b) todo X Z
c) todo X Y
d) todo Y X
e) todo Z Y

10. (CVM-2000) Dizer que a afirmao todos os economistas so mdicos falsa,


do ponto de vista lgico, equivale a dizer que a seguinte afirmao verdadeira:
a) pelo menos um economista no mdico
b) nenhum economista mdico
c) nenhum mdico economista
d) pelo menos um mdico no economista
e) todos os no mdicos so no economistas

Pgina 10 de 11.
11. (FGV) A proposio (p " q) = (p ! q) representa um(a):
a. Entimema
b. Contingncia
c. Tautologia
d. Dilema
e. Negao de Conjuno

12. (IBGE-2001) Se, numa vila, todo torcedor do Arranca-toco homem, mas nem
todo homem torcedor do Arranca-toco e todo torcedor do Tira-canela mulher,
mas nem toda mulher torcedora do Tira-canela ento, nessa vila:
(A) existem homens que torcem pelo Tira-canela;
(B) h mais de um homem que no torce pelo Arranca-toco;
(C) existe pelo menos uma mulher que torce pelo Arranca-toco;
(D) ningum torce por outro time;
(E) h pelo menos duas pessoas que no torcem nem pelo Arranca-toco, nem pelo Tira-
canela.

13. Sabe-se que existe pelo menos um A que B. Sabe-se, tambm, que todo B C.
Segue-se, portanto, necessariamente que
a) todo C B
b) todo C A
c) algum A C
d) nada que no seja C A
e) algum A no C

14. (FGV) Quando se afirma que P # Q (P implica Q) ento:


a. Q condio suficiente para P.
b. P condio necessria para Q.
c. Q no condio necessria para P
d. P condio suficiente para Q.
e. P no condio suficiente nem necessria para Q.

15. Se Lus estuda Histria, ento Pedro estuda Matemtica. Se Helena estuda
Filosofia, ento Jorge estuda Medicina. Ora, Lus estuda Histria ou Helena estuda
Filosofia. Logo, segue-se necessariamente que:
a) Pedro estuda Matemtica ou Jorge estuda Medicina
b) Pedro estuda Matemtica e Jorge estuda Medicina
c) Se Lus no estuda Histria, ento Jorge no estuda Medicina
d) Helena estuda Filosofia e Pedro estuda Matemtica
e) Pedro estuda Matemtica ou Helena no estuda Filosofia

Pgina 11 de 11.