Raciocnio Lgico Prof Thiago Magalhes

A lgica considerada a cincia do raciocnio, pois a sua ideia est ligada

ao processo de raciocnio correto e incorreto que depende da estrutura dos
argumentos envolvidos nele. A lgica estuda as formas ou estruturas do pensamento,
isto , seu propsito estudar e estabelecer propriedades das relaes formais entre
as proposies. A matemtica necessita da lgica para suas definies, postulados e
teoremas.
1. LGEBRA PROPOSICIONAL
1.1 - Proposio:
Uma proposio, ou um enunciado, uma declarao (afirmativa ou negativa).
Tambm podemos dizer que toda expresso que encerra um pensamento de
sentindo completo.
Uma proposio assume um dos dois valores-verdade: verdadeira ou falsa; ou
seja, uma proposio uma sentena declarativa que pode ser verdadeira ou falsa.
Quando ela verdadeira, atribumos-lhe o valor lgico V; quando falsa, o valor lgico
F.
Sendo assim, vejamos os exemplos:
a) Braslia no a capital do Brasil uma declarao (negativa); portanto, uma
proposio. Sabemos ser falsa (valor lgico F).
b) Sete mais dois igual a nove uma declarao (positiva); portanto, uma
proposio. Sabemos ser verdadeira (valor lgico V).
c) O dobro de cinco dez? uma pergunta, e no uma declarao. Portanto, no
uma proposio. No se pode atribuir a ela um valor lgico (V ou F).
d) Joo. V estudar sua lio - uma sentena imperativa, e no uma declarao.
Portanto, no uma proposio.
1.2 - Princpios:
Princpio da Identidade: Toda proposio idntica a si mesma.
Princpio da No contradio: Uma proposio no pode ser verdadeira e falsa
simultaneamente.
Princpio do Terceiro Excludo: Uma proposio s pode ter dois valores verdades, isto
, verdadeiro (V) ou falso (F), no podendo ter outro valor.
1.3 - Sentena aberta e sentena fechada:
Sentena fechada: aquela que podemos garantir como sendo verdadeira ou falsa.
Portanto sentena fechada uma proposio.
Sentena aberta: aquela que contm uma varivel, um elemento desconhecido, e,
portanto, no podemos garantir que seja verdadeira ou falsa.
Ex.: x + 8 = 9
A cidade x a capital de Sergipe.
Essas proposies sero verdadeiras ou falsas, dependendo do valor que atribuirmos
varivel x.
1.4 - Proposio simples e proposio composta:
Proposio simples: como o prprio nome indica, uma proposio nica, isolada.
Proposio composta: quando formada por duas ou mais proposies, ligadas entre si
por conectivos operacionais.
Ex.: Aracaju a capital de Sergipe e Fortaleza a capital do Cear.
Se 4 + 5 = 9, ento 9 5 = 4
Pgina 1

Raciocnio Lgico Prof Thiago Magalhes

Exerccios:
1- (CESPE MRE) Considere a seguinte lista de sentenas:
I Qual o nome pelo qual conhecido o Ministrio das Relaes Exteriores?
II O Palcio Itamaraty em Braslia uma bela construo do sculo XIX.
III As quantidades de embaixadas e consulados gerais que o Itamaraty possui so,
respectivamente, x e y.
IV O baro do Rio Branco foi um diplomata notvel.
Nessa situao, correto afirmar que entre as sentenas acima, apenas uma delas
no uma proposio.
2- (CESPE BB)
Na lgica sentencial, denomina-se proposio uma frase que pode ser julgada
como verdadeira (V) ou falsa (F), mas no, como ambas. Assim, frases como Como
est o tempo hoje? e Esta frase falsa no so proposies porque a primeira
pergunta e a segunda no pode ser nem V nem F. (...)
Na lista de frases apresentadas a seguir, h exatamente trs proposies.
- A frase dentro destas aspas uma mentira.
- A expresso X + Y positiva.
- O valor de 4 3 7
- Pel marcou dez gols para a seleo brasileira.
- O que isto?
3- (CESPE / MPE-TO ANALISTA)
Uma proposio uma afirmativa que pode ser interpretada como verdadeira (V)
ou falsa (F), mas no de ambas as formas. (...)
Na lista abaixo, h exatamente trs proposies.
- Faa suas tarefas.
- Ele um procurador de justia muito competente.
- Celina no terminou seu trabalho.
- Esta proposio falsa.
- O nmero 1024 uma potncia de 2.
1.5 - Smbolos da linguagem da lgebra Proposicional:
As proposies sero representadas por letras do alfabeto (frmulas atmicas):
a, b, c, . . . , p, q, . . .
As proposies simples (tomos) combinam-se com outras, ou so modificadas
por alguns operadores (conectivos), gerando novas sentenas (molculas).
Na linguagem comum, usam-se palavras explcitas ou no para interligar frases
dotadas de algum sentido. Tais palavras so substitudas, na Lgica Matemtica, por
smbolos denominados conectivos lgicos.
Em nosso estudo, restringiremo-nos inicialmente ao chamado clculo
proposicional; por essa razo, os conectivos utilizados so conhecidos por sentenciais
ou proposicionais.
Os conectivos proposicionais sero representados da seguinte forma:
~ ou corresponde a no
corresponde a e
corresponde a ou
corresponde a ento
corresponde a se somente se
Sendo assim, a partir de uma proposio podemos construir outra proposio
correspondente com a sua negao; e com duas ou mais, podemos formar:
Pgina 2

Raciocnio Lgico Prof Thiago Magalhes

Conjuno: a b (l-se: a e b)
Disjuno: a b (l-se: a ou b)
Condicional: a b (l-se: se a ento b)
Bicondicional: a b (l-se: a se somente se b)
Disjuno exclusiva: a b (l-se: ou a ou b)
Ex1.: Seja a sentena:
Se Alyne estudiosa, ento ela passar na Fundao Hospitalar de Sade
Sejam as proposies:
p = Alyne estudiosa
q = Ela passar na Fundao Hospitalar de Sade
Da, ns poderemos representar a sentena da seguinte forma:
Se p ento q (ou p q )
Obs.: comum o uso do MAS com o objetivo de criar uma CONJUNO de
proposies.
Ex2.: Sejam as proposies:
p = Beber demasiadamente faz mal sade
q = Carlos bebe
p ~q: Beber demasiadamente faz mal sade, mas Carlos bebe.
2. TABELA-VERDADE
2.1 - Tabela-verdade:
O valor-verdade de uma proposio composta obtido de forma nica a partir
dos valores-verdade atribudos s proposies simples que a compem. A atribuio
de um valor-verdade para uma proposio simples depende do seu contexto.
Para determinar o valor-verdade (V) ou (F) de uma proposio composta, usase um instrumento denominado tabela-verdade, na qual figuram todas as possveis
combinaes dos valores-verdade das proposies simples.
OBS.: O nmero de linhas da tabela-verdade de uma proposio composta depende
do nmero de proposies simples que a integram dada pelo teorema: se numa
proposio composta h n proposies simples ento a tabela-verdade tem 2n linhas.
a) Valor verdade de ~P
P
~P
V
F
F
V
A negao da proposio P a proposio P, de maneira que se P verdade
ento ~P falso, e vice-versa.
1.6.1 - Modos de negao de uma proposio:
a.1. Antepondo-se a expresso no ao seu verbo.
Ex.: Natlia gosta de caf.
Natlia no gosta de caf.

Pgina 3

Raciocnio Lgico Prof Thiago Magalhes

a.2. Retirando-se a negao antes do verbo.
Ex.: Paulo no primo de Joo.
Paulo primo de Joo.
a.3. Substituindo-se um termo da proposio por um de seus antnimos.
Ex.: Maria bonita.
Maria feia.
b) Valor verdade de P Q
P

V
V
F
F

V
F
V
F

PQ
V
F
F
F

O valor verdade da molcula P Q tal que o valor (P Q) verdade se

somente se o valor (P) e o valor (Q) so verdades.
c) Valor verdade de P Q
P

V
V
F
F

V
F
V
F

PQ
V
V
V
F

O valor verdade da molcula P Q tal que o valor (P Q) falso se

somente se o valor (P) e o valor (Q) so falsos.
d) Valor verdade de P Q
Q
PQ
V
V
F
F
V
V
F
V
O valor verdade da molcula P Q tal que o valor (P Q) = F se somente
se o valor (P) = V e o valor (Q) = F
P
V
V
F
F

e) Valor verdade de P Q
Q
PQ
V
V
F
F
V
F
F
V
O valor verdade da molcula P Q tal que o valor (P Q) = V se somente
se o valor (P) e o valor (Q) tm os mesmos valores verdades.
P
V
V
F
F

Pgina 4

Raciocnio Lgico Prof Thiago Magalhes

f) Valor verdade de P Q
P

V
V
F
F

V
F
V
F

PQ
F
V
V
F

O valor verdade da molcula P Q tal que o valor (P Q) = V se somente

se o valor (P) e o valor (Q) tm os valores verdades diferentes.
Ex.: (IBFC EBSERH/2013) Se o valor lgico de uma proposio p verdadeiro e o
valor lgico de uma proposio q falso, podemos afirmar que:
a) A conjuno entre as duas verdadeira.
b) p condicional q verdadeira.
c) p bicondicional q falsa.
d) A disjuno entre as duas falsa.
Nesse caso, devemos fazer a tabela-verdade para todos os casos pedidos ou
somente a linha correspondente ao V e F.
a) A conjuno , ento V F = F.
b) A condicional , ento V F = F.
c) A bicondicional , ento V F = F.
d) A disjuno , ento V F = V.
Resposta letra C.
Exerccios:
4- (IBFC EBSERH/2013) Se o valor lgico de uma proposio p verdadeiro e o
valor lgico de uma proposio q falso ento o valor lgico da proposio composta
[(p q) ~p] ~q :
a) Falso e verdadeiro.
b) Verdadeiro.
c) Falso.
d) Inconclusivo.
5- (CESPE STJ) Considerando-se que as proposies A, B e C tenham valoraes
V, F e V, respectivamente, e considerando-se tambm as proposies p e q,
representadas, respectivamente, por A (B C) e [(A B) (C)], correto
afirmar que P e Q tm a mesma valorao.
6- (IBFC EBSERH/2013) Sejam as proposies P: 10% de 40% o mesmo que 4%
e Q: a metade de um tero de x menor que

1
de x. Pode-se afirmar que:
7

a) A conjuno entre as duas verdadeira.

b) P condicional Q falso.
c) P bicondicional Q verdadeiro.
d) A disjuno entre as duas falsa.
e) a negao de Q falsa.
7- (ESAF) Maria tem trs carros: um gol, um corsa e um fiesta. Um dos carros
branco, o outro preto, e o outro azul. Sabe-se que 1) ou o gol branco, ou o fiesta
branco, 2) ou o gol preto ou o corsa azul, 3) ou o fiesta azul, ou o corsa azul,
Pgina 5

Raciocnio Lgico Prof Thiago Magalhes

4) ou o corsa preto, ou o fiesta preto. Portanto as cores do gol, corsa e do fiesta
so, respectivamente:
a) Branco, preto e azul
b) Preto, azul e branco
c) Azul, branco e preto
d) Preto, branco e azul
e) Branco, azul e preto
2.2 - Tautologia:
So molculas que possuem cada uma delas o seu valor verdade sempre
verdadeiro independentemente dos valores lgicos das proposies (tomos) que as
compem.
P
Q
PQ ~P Q (PQ) (~P Q)
V
V
F
F

V
F
V
F

V
F
V
V

V
F
V
V

V
V
V
V

Exerccio:
8- (CESPE MRE) A sentena No Palcio Itamaraty h quadros de Portinari ou no
Palcio Itamaraty no h quadros de Portinari uma proposio sempre verdadeira.
2.3 - Contradies:
So molculas que so sempre falsas, independentemente do valor lgico das
proposies (tomos).
P
~P
P ~P
V
F
F
F
V
F
2.4 Contingncia:
Chama-se uma proposio composta de contigente, ou uma contigncia, quando o
seu valor lgico poder ser (V) ou (F), dependendo do valor de suas proposies
simples.
P
~P
P ~P
V
F
F
F
V
V
2.5 Equivalncia Lgica:
Duas molculas so equivalentes se elas possuem as mesmas tabelas
verdade.
P

P Q equivalente a ~P Q
Q
P Q ~P Q

V
V
F
F

V
F
V
F

V
F
V
V

V
F
V
V

Pgina 6

Raciocnio Lgico Prof Thiago Magalhes

2.6 - Leis de De Morgan:
As leis de De Morgan so equivalncias lgicas utilizadas para converter
operao ou em e e vice-versa.
1- ~ (P Q) ~P ~R
Ex.: No o caso de virem ambas Patrcia e Melise para a reunio. Logo, no
vir Patrcia ou no vir Melise.
Obs: Como a disjuno no exclusiva, ela no exclui o caso de no virem
ambos.
2- ~ (P Q) ~P ~R
Ex.: No o caso de vir Patrcia ou vir Melise para a reunio.
Logo, no vir Patrcia e no vir Melise.
Ex.: (IBFC - EBSERH/2013) De acordo com o raciocnio lgico matemtico, pode-se
afirmar que a disjuno entre duas proposies compostas (p q) equivalente a:
a) ~p ~q
b) ~p q
c) p ~q
d) ~p ~q
A pergunta desse tipo de equivalncia um exemplo tpico das Leis de De
Morgan. E questes desse tipo so as mais cobradas pelo IBFC como veremos
abaixo.
Quando for negar uma conjuno; negue a 1 proposio, negue a 2, porm
troque a conjuno pela disjuno.
Agora quando for negar uma disjuno; negue a 1 proposio, negue a 2 e
troque a disjuno pela conjuno.
Sabendo dessas dicas, a resposta letra D.
Exerccios:
9- (IBFC - EBSERH/2013) Seja a proposio p: Maria estagiria e a proposio q:
Marcos estudante. A negao da frase Maria estagiria ou Marcos estudante
equivalente a:
a) Maria no estagiria ou Marcos no estudante.
b) Se Maria no estagiria, ento Marcos no estudante.
c) Maria no estagiria, se e somente se, Marcos no estudante.
d) Maria no estagiria e Marcos no estudante.
10- (IBFC - EBSERH/2013) Do ponto de vista da lgica matemtica a negao da
frase: Marcos foi ao cinema ou Maria foi fazer compras a frase:
a) Marcos no foi ao cinema ou Maria no foi fazer compras.
b) Marcos foi ao cinema e Maria foi fazer compras.
c) Marcos no foi ao cinema, ento Maria no foi fazer compras.
d) Marcos no foi ao cinema e Maria no foi fazer compras.
e) Marcos no foi ao cinema e Maria foi fazer compras.

Pgina 7

Raciocnio Lgico Prof Thiago Magalhes

3. ARGUMENTOS. REGRAS DE INFERNCIA
3.1 - Definio de argumento:
Argumento um conjunto de proposies com uma estrutura lgica de maneira
tal que algumas delas acarretam ou tem como consequncia outra proposio.
A proposio consequncia chamada de concluso, e as demais, de
premissas. As premissas devem servir para provar ou, no mnimo, formar alguma
evidncia para a concluso de um argumento.
Isto , o conjunto de proposies p1, p2, p3, . . . , pn que tem como
conseqncia outra proposio q. E indicado por:
p1, p2, p3, . . . , pn q
e se l de uma das seguintes maneiras:
- p1, p2, p3, . . . , pn acarretam q
- q decorre de p1, p2, p3, . . . , pn
- q se deduz de p1, p2, p3, . . . , pn
- q se infere de p1, p2, p3, . . . , pn
As proposies p1, p2, p3, . . . , pn so as premissas do argumento, e a
proposio q a concluso do argumento.
O smbolo , chamado trao de assero, afirma que a proposio sua
direita pode ser deduzida utilizando como premissas somente as proposies que
esto sua esquerda.
Um argumento que consiste em duas premissas e um concluso se chama de
silogismo.
3.2 - Validade de um argumento:
Um argumento p1, p2, p3, . . . , pn q diz-se vlido se e somente se a concluso
q verdadeira todas as vezes que as premissas p1, p2, p3, . . . , pn so verdadeiras.
Em outros termos, um argumento p1, p2, p3, . . . , pn q vlido se e somente
se o valor lgico da concluso q for V todas as vezes que as premissas p1, p2, p3, . . . ,
pn tiverem o valor lgico V.
Portanto, todo argumento vlido goza da seguinte propriedade caracterstica: A
verdade das premissas incompatvel com a falsidade da concluso.
Um argumento no vlido diz-se um sofisma. Deste modo, todo argumento
tem um valor lgico, digamos V se vlido (correto, legtimo) ou F se um sofisma
(incorreto, ilegtimo).
As premissas dos argumentos so verdadeiras ou, pelo menos admitidas como
tal. Alis, a Lgica s se preocupa com a validade dos argumentos e no com a
verdade ou a falsidade das premissas e das concluses.
A validade de um argumento depende exclusivamente da relao existente
entre as premissas e a concluso. Portanto, afirmar que um dado argumento vlido
significa afirmar que as premissas esto de tal modo relacionadas com a concluso
que no possvel ter a concluso falsa se as premissas so verdadeiras.
3.3 - Critrio de validade de um argumento:
Um argumento p1, p2, p3, . . . , pn q vlido se e somente se a
condicional: (p1 p2 p3 . . . pn) q tautolgica.

Pgina 8

Raciocnio Lgico Prof Thiago Magalhes

3.4 - Silogismo categrico de forma tpica:
Chamaremos de silogismo categrico de forma tpica (ou silogismo) ao
argumento formado por duas premissas e uma concluso, de modo que todas as
premissas envolvidas so categricas de forma tpica (A, E, I, O).
Teremos tambm trs termos:
Termo menor sujeito da concluso.
Termo maior predicado da concluso.
Termo mdio o termo que aparece uma vez em cada premissa e no aparece na
concluso.
Chamaremos de premissa maior a que contm o termo maior, e premissa
menor a que contm o termo menor.
Exemplo:
Todas as mulheres so bonitas.
Todas as princesas so mulheres.
Todas as princesas so bonitas.
Termo menor: as princesas
Termo maior: bonitas
Termo mdio: mulheres
Premissa menor: todas as princesas so mulheres.
Premissa maior: todas as mulheres so bonitas.
a) Alguns regras para a validade de um silogismo:
1. Todo silogismo deve conter somente trs termos;
2. O termo mdio deve ser universal pelo menos uma vez;
3. O termo mdio no pode constar na concluso;
4. Nenhum silogismo categrico de forma tpica que tenha duas premissas negativas
vlido;
5. De duas premissas particulares no poder haver concluso;
6. Se h uma premissa particular, a concluso ser particular;
7. Se h uma premissa particular negativa a concluso ser particular negativa.
Exerccios:
(CESPE) Considere que P, Q, R e S sejam proposies lgicas e que os smbolos ,
, e representem, respectivamente, os conectivos ou, e, implica e
negao. As proposies so julgadas como verdadeiras V ou como falsas
F. Considere, ainda, que P, Q, R e S representem as sentenas listadas abaixo.
P: O homem precisa de limites.
Q: A justia deve ser severa.
R: A represso ao crime importante.
S: A liberdade fundamental.
Com base nessas informaes, julgue os itens.
11- A sentena A liberdade fundamental, mas o homem precisa de limites, pode
ser corretamente representada por P S.
12- A sentena A represso ao crime importante, se a justia deve ser severa.
Pode ser representada por R Q.
13- A sentena Se a justia no deve ser severa nem a liberdade fundamental, ento
a represso ao crime no importante, pode ser corretamente representada por (Q)
(S) R.

Pgina 9

Raciocnio Lgico Prof Thiago Magalhes

14- A sentena Ou o homem no precisa de limites e a represso ao crime no
importante, ou a justia deve ser severa, pode ser corretamente representada por
[(P) (R)] Q.
15- A sentena Se a justia deve ser severa, ento o homem precisa de limites pode
ser corretamente representada por Q P.
(CESPE PF) Considere que as letras P, Q, R e T representem proposies e que os
smbolos , , , sejam operadores lgicos que constroem novas proposies e
significam no, e, ou e ento, respectivamente. Na lgica proposicional, cada
proposio assume um nico valor (valor-verdade), que pode ser verdadeiro (V) ou
falso (F), mas nunca ambos.
Considere as sentenas abaixo.
I- Fumar deve ser proibido, mas muitos europeus fumam.
II- Fumar no deve ser proibido e fumar faz bem sade.
III- Se fumar no faz bem sade, deve ser proibido.
IV- Se fumar no faz bem sade e no verdade que muitos europeus fumam,
ento fumar deve ser proibido.
V- Tanto falso que fumar no faz bem sade como falso que fumar deve ser
proibido; conseqentemente, muitos europeus fumam.
Considere tambm que P, Q, R e T representem as sentenas listadas na tabela a
seguir.
P:
Fumar deve ser proibido.
Q:
Fumar de ser encorajado.
R:
Fumar no faz bem sade.
T:
Muitos europeus fumam.
Com base nas informaes acima e considerando a notao introduzida no texto,
julgue os itens seguintes.
15- A sentena I pode ser corretamente representada por P ( T)
16- A sentena II pode ser corretamente representada por ( P) ( R)
17- A sentena III pode ser corretamente representada por R P
18- A sentena IV pode ser corretamente representada por [R ( T)] P
19- A sentena V pode ser corretamente representada por T [( R) ( P)]

4. FUNES PROPOSICIONAIS E QUANTIFICADORES

4.1 Termo e predicado
Dada uma proposio simples qualquer, pode-se destacar dela dois entes: o
termo e o predicado. O termo pode ser entendido como o sujeito da sentena
declarativa e o predicado, o que se declara a respeito do termo.
Ex.: Naylla a responsvel pelo destaque.
Termo: Naylla.
Predicado: a responsvel pelo destaque.
4.2 Funo proposicional
Seja um conjunto de termos. Uma funo proposicional em um predicado P
associado a um termo x, em , que no pode ser qualificada como verdadeira ou
falsa.
Pgina 10

Raciocnio Lgico Prof Thiago Magalhes

Tal qualificao s ser possvel quando, em Px, o x representar pelo menos um
ou todos os elementos de . Nas funes proposicionais, os termos so variveis,
enquanto nas proposies, so constantes.
Ex1.: No conjunto dos nmeros inteiros , so funes proposicionais as seguintes
sentenas:
a) x 7 > 3
b) x2 5x + 6 = 0
Observe que a funo proposicional em a verdadeira para valores maiores que 10,
ou seja, existem nmeros inteiros para os quais tal funo proposicional verdadeira
(V) e falsa(F) para todo o conjunto . J a funo proposicional b (F) para valores
diferentes de 2 e de 3 e (V) para os valores x1 = 2 e x2 = 3.
Ex2.: A sentena:
Prestaram concurso e foram contratados.
uma funo proposicional, visto ser impossvel qualificar as duas afirmaes:
prestaram concurso e foram contratados; com um dos valores-verdade (V) ou (F).
Mas, se acrescentarmos a proposio: todos ou alguns, teremos:
a) Todos que prestaram concurso foram contratados;
b) Alguns dos que prestaram concurso foram contratados.
Nesse caso, dependendo do contexto, podemos atribuir um dos valores-verdade s
proposies acima.
4.3- Quantificadores
J sabemos que x + 2 = 5 uma sentena aberta e no podemos classific-la
como V ou F.
Para transformarmos uma sentena aberta em uma proposio devemos atribuir
valores s variveis ou utilizar smbolos lgicos chamados de quantificadores.
Estudaremos o quantificador universal e os existenciais.
I.

Quantificador universal: (l-se qualquer que seja, ou, ainda, para

todo).

Quantificadores existenciais: (l-se existe pelo menos um) e (l-se

existe um nico).
Nos quatro exemplos seguintes, considere N = {0, 1, 2, 3, 4, 5, ...}.
Exemplos:
II.

a) (x, x ) (x + 2 = 5), que se l qualquer que seja x, x elemento de , temse x + 2 = 5, uma afirmao falsa.
b) (x, x ) (x + 2 = 5), que se l existe pelo menos um x, x elemento de ,
tem-se x + 2 = 5, uma afirmao verdadeira.
c) (x, x ) (x + 2 = 5), que se l existe um nico x, x elemento de , tem-se x
+ 2 = 5, uma afirmao verdadeira.
d) (x, x ) (x + 2 > 5), que se l existe um nico x, x elemento de , tem-se x
+ 2 > 5, uma afirmao falsa.
Exerccios:
Sendo = {... 3, -2, -1, 0, 1, 2, 3, ...} julgue os itens a seguir:
20- (x, x ) (x - x = 0)
21- (x, x ) (x - 5 = 7)
22- (x, x ) (x - 5 = 7)
23- (x, x ) (x - 5 = 7)
Pgina 11

Raciocnio Lgico Prof Thiago Magalhes

24- (x, x ) (x2 = 9)
25- (x, x ) (2x = 7)
4.4 - Negao de uma proposio contendo quantificador:
Consideremos as seguintes proposies:
p: Todo brasileiro gosta de futebol e
q: Existe mulher alta.
As negaes dessas proposies so:
~p: Existe brasileiro que no gosta de futebol e ~q: Toda mulher baixa (no
alta).
Observe que:
- para negarmos a proposio p, substitumos o quantificador todo pelo quantificador
existe e negamos a afirmao subseqente, brasileiro gosta de futebol;
- para negarmos a proposio q, substitumos o quantificador existe pelo
quantificador toda e negamos a afirmao subseqente, mulher alta.
De modo geral:
A negao da proposio p: (x) (x satisfaz a condio c) ~p: (x) (x no satisfaz a
condio c)
A negao da proposio q: (x) (x satisfaz a condio c) ~q: (x) (x no satisfaz a
condio c).
Exerccios:
26- (PUC-RS) A sentena (x / x a = b) a negao de:
a) (x , x a b) b) (x / x a b) c) (x / x a > b) d) (x / x a < b)
e) (x , x a = b)
27- (Mackenzie-SP) Duas grandezas x e y so tais que, se x = 3, ento y = 7. Podese concluir que:
a) se x 3, ento y 7.
b) se y = 7, ento x = 3.
c) se x = 5, ento y = 5.
d) se y 7, ento x 3.
e) nenhuma das concluses anteriores vlida.
(CESPE) Na comunicao, o elemento fundamental a sentena, ou proposio
simples, constituda esquematicamente por um sujeito e um predicado, aqui sempre
na forma afirmativa. Toda proposio pode ser julgada como falsa (F), ou verdadeira
(V), excluindo-se qualquer outra forma. Novas proposies so formadas a partir de
proposies simples, utilizando-se conectivos. Considere a seguinte correspondncia.

Usa-se tambm o modificador no, simbolizado por . As proposies so

representadas por letras do alfabeto: A, B, C etc. A seguir, so apresentadas as
Pgina 12

Raciocnio Lgico Prof Thiago Magalhes

valoraes para algumas proposies compostas. Os espaos no-preenchidos
podem servir de rascunho para auxiliar os raciocnios lgicos necessrios ao
julgamento dos itens.

H expresses que no podem ser julgadas como V nem como F, por exemplo: x + 3
= 7. Nesse caso, a expresso constitui uma sentena aberta e x a varivel. Uma
forma de passar de uma sentena aberta a uma proposio pela quantificao da
varivel. So dois os quantificadores: qualquer que seja ou para todo, indicado por
, e existe, indicado por . Por exemplo, a proposio (x)(x N) (x + 3 = 7)
valorada como F, enquanto a proposio (x)(x N)(x + 3 = 7) valorada como V.
Com base nessas informaes, julgue os itens que se seguem, a respeito de lgica
sentencial e de primeira ordem.
28- Se A a proposio O soldado Vtor far a ronda noturna e o soldado Vicente
verificar os cadeados das celas, ento a proposio A estar corretamente escrita
como: O soldado Vtor no far a ronda noturna nem o soldado Vicente verificar os
cadeados das celas.
29- Na tabela includa no texto acima, considerando as possveis valoraes V ou F
das proposies A e B, a coluna (AB) estar corretamente preenchida da seguinte
forma.

30- Na tabela includa no referido texto, considerando as possveis valoraes V ou F

das proposies A e B, a coluna AB estar corretamente preenchida da seguinte
forma.

31- Na tabela includa no texto, considerando as possveis valoraes V ou F das

proposies A e B, a coluna A B estar corretamente preenchida da seguinte forma.

Pgina 13

Raciocnio Lgico Prof Thiago Magalhes

32- Se Q o conjunto dos nmeros racionais, ento a proposio (x)(x Q)(x2 + x 1 = 0) julgada como V.
33- Se N o conjunto dos nmeros naturais, ento a proposio
(x)(x N)[(x - 1).x.(x + 1) divisvel por 3] julgada como V.
34- (IBFC EBSERH/2013) Sejam as afirmaes:
I. Se o valor lgico de uma proposio p falso e o valor lgico de uma
proposio q verdadeiro, ento o valor lgico da conjuno verdadeiro.
II. Se todo X Y, ento todo Y X.
III. Se uma proposio p implica numa proposio q, ento a proposio q
implica na proposio p.
Pode-se afirmar que so verdadeiras:
a) Todas
b) Somente duas delas
c) Somente uma delas
d) Nenhuma

Gabarito:
Obs.: A banca CESPE tem questes do tipo julgue os itens que se seguem e so
questes para o candidato assinalar:
C para resposta correta
E para resposta errada
N- no S- sim
1 E (N,S,N,S)
2 E (S,N,N,S,N)
3 E (N,S,S,S,S)
4 C
5 C
6 B
7 e
8 C

9
10
11
12
13
14
15
16

D
D
E
E
C
E
C
E

17
18
19
20
21
22
23
24

C
C
C
E
C
E
C
C

25
26
27
28
29
30
31
32

E
E
A
D
E
C
E
C

33
34

E
D

Referncias Bibliogrficas:
BISPO, Carlos Alberto Ferreira. Introduo lgica matemtica. So Paulo: Cengage
Learning, 2014.
PAES, Rui Santos. Questes com gabaritos comentados: raciocnio lgico: Esaf,
Cespe,
Vunesp, NCE, FCC, Esag, Cesgranrio e outros. 5.ed. Braslia: Vestcon, 2006.
PAIVA, Manoel. Matemtica. Volume 1. So Paulo: Moderna, 1999.
ROCHA, Enrique. Raciocnio Lgico: teoria e questes. 2.ed. Rio de Janeiro:
Elsevier,
2006.

Pgina 14