Você está na página 1de 37

RACIOCNIO LGICO EM EXERCCIOS

Professor: BrunnoLima
E-mail: brunnolima@euvoupassar.com.br
Facebook:
www.facebook.com/brunno.lima.144
MDULO IV:
LGICA
DE
1 ORDEM
REVISO
REVISO DE CONTEDOS
ALGUNS LEMBRETES!
REVISO DE CONTEDOS
QUANTIFICADOR UNIVERSAL
QUANTIFICADOR EXISTENCIAL
REVISO DE CONTEDOS
REVISO DE CONTEDOS
REVISO DE CONTEDOS
REVISO DE CONTEDOS
REVISO DE CONTEDOS
REVISO DE CONTEDOS
REVISO DE CONTEDOS
REVISO DE CONTEDOS
QUESTES DE CONCURSOS
Resoluo:
U: conjuntodosfuncionriosdoINSS
P(x): xfuncionriodoINSS
Q(x): xtemmaisde35anosdeidade
Todos os funcionrios do INSS tm mais de 35 anos de idade.
Resoluo:
U: conjuntodetodasaspessoas
M(x): xmulher
D(x): xdesempregada
Nenhuma mulher desempregada
09) (ESCRITURRIO-BANCODOBRASIL-SELEO001/JUNHODE2007-CESPE)
A proposio funcional Existem nmeros que so
divisveispor 2epor 3 verdadeiraparaelementosdo
conjunto{2, 3, 9, 10, 15, 16}.
Resoluo:
Existem nmeros que so divisveis por 2 e por 3
14) (TCNICOMINISTERIALESPECIALIZADO-MPE-TO/AGOSTODE2006-CESPE)
A proposio para cada x, (x +2) >7 interpretada
comoVparaxpertencenteaoconjunto{6, 7, 8, 9}.
Resoluo:
para cada x, (x +2) >7
(ANALISTA-REDEDECOMPUTADORES-SERPRO/MAIODE2005-CESPE)
Considereaseguinteargumentaolgica:
Todopsiquiatramdico.
Nenhumengenheirodesoftwaremdico.
Portanto, nenhumpsiquiatraengenheirodesoftware.
Denotepor xumindivduoqualquer esimbolizepor P(x)
o fato de o indivduo ser psiquiatra, por M(x) o fato de
ele ser mdico, e por E(x) o fato de ser engenheiro de
software. Nesse contexto e combase na argumentao
lgica, julgueosdoisitensseguintes.
Resoluo:
P(x): oindivduopsiquiatra
M(x): oindivduomdico
E(x): oindivduoengenheirodesoftware
Todopsiquiatramdico.
Nenhumengenheirodesoftwaremdico.
Portanto, nenhumpsiquiatraengenheirodesoftware.