Sobre as Questes

As questes abaixo abordam os seguintes assuntos dentro da lgica considerada:

conectivos lgicos, negao de proposies simples ou compostas, proposies
logicamente equivalentes ou equivalncia lgica, verificao da veracidade ou no de uma
proposio composta.

Enunciados das Questes

1. A negao da proposio Maria no foi ao cinema e Paulo foi ao teatro :
A) Maria foi ao cinema ou Paulo no foi ao teatro.
B) Maria foi ao cinema e Paulo no foi ao teatro.
C) Maria foi ao cinema ou Paulo foi ao teatro.
D) Maria foi ao cinema e Paulo foi ao teatro.
E) Maria no foi ao cinema e Paulo no foi ao teatro.
2. A afirmao se estudo ento passo logicamente equivalente a:
A) se passo ento estudo;
B) se no estudo ento no passo;
C) se no passo ento no estudo;
D) s se estudo ento passo;
E) estudo ou no passo;
3. Qual das afirmaes abaixo falsa?
A) Se Marte um planeta ento 3 = 7 4;
B) A soma de dois nmeros pares um nmero par e 72 = 49;
C) 3 = 5 se e somente se o urso um animal invertebrado;
D) Se 102 = 100 ento todo nmero inteiro natural;
E) 2 = 32 7 ou a Terra plana.
4. Observe a proposio abaixo:
x3ey<2
A sua negao :
A) x = 3 e y 2

B) x = 3 e y > 2
C) x = 3 ou y 2
D) x 3 e y < 2
E) x 3 ou y < 2
5. Os quatro cartes abaixo tm uma letra numa face e um nmero inteiro na outra.

Considere a afirmao: Se h uma vogal em uma face, ento h um nmero par na

outra face. Quais dos cartes acima devem ser necessariamente, virados para que se
determine se a afirmao acima verdadeira ou falsa?
A) I e II
B) II e IV
C) II, III e IV
D) I e III
E) I, II e III

Solues das Questes

Nas solues a seguir voc encontrar as respostas para as questes acima,
desenvolvidas passo a passo. Usamos a simbologia que mais aparece na literatura e
usada em concursos.
Da questo 1 at a questo 4, voc encontrar o uso de diversos smbolos lgicos, os
quais nos referimos acima. J na questo 5, preferimos o uso do raciocnio sem a
simbologia, por acreditar que sua compreenso seja melhor.
Se ficar com dvidas, comente. Para uma melhor compreenso das resolues bom que
j se tenha noo de lgica. Os tpicos dentro de lgica que precisar para compreender
as solues so os apresentados na introduo deste artigo.
Se voc quer se aprofundar no assunto para concursos, sugerimos a realizao de um
curso completo, para saber melhor sobre o curso que indicamos clique aqui, pois este
assunto no acaba com este artigo h muito mais que no expomos aqui.
Veja abaixo as solues.

Questo 1
Devemos observar que temos uma proposio composta por outras duas, onde o
conectivo ou operador lgico e faz a ligao e representado por . As sentenas Maria
no foi ao cinema e Paulo foi ao teatro representamos respectivamente por p e q.
p: Maria no foi ao cinema.
q: Paulo foi ao teatro.
Colocando o conectivo entre p e q, obtemos uma nova proposio, p q, denominada
conjuno das sentenas p e q. E justamente a negao dessa proposio que
queremos. Negamos a conjuno do seguinte modo:
~ (p q) = ~p v ~q.
Onde o ~ representa a negao. O smbolo v (l-se: ou) representa a disjuno que a
negao da conjuno. Temos que negar cada uma das sentenas p e q e o conectivo .
p q: Maria no foi ao cinema e Paulo foi ao teatro.
Negando as sentenas obtemos:
~p: Maria foi ao cinema.
~q: Paulo no foi ao teatro.
Agora, negando a proposio p q, obtemos:
~p v ~q: Maria foi ao cinema ou Paulo no foi ao teatro.

Questo 2
Nesta questo procuramos uma relao de equivalncia. Para responder a este problema
devemos nos perguntar quando que duas proposies so equivalentes.
Equivalncia lgica: dadas as proposies p e q, dizemos que p equivalente a q
quando p e q tm tabelas-verdades iguais, isto , quando p e q tm sempre o mesmo valor
lgico. Aqui chamamos a ateno que p e q podem ser proposies compostas tambm.
No problema, temos a proposio composta se estudo ento passo.
p: estudo
q: passo
O conectivo ento representado por
p

q: se estudo ento passo.

conhecido como condicional.

Poderamos fazer a tabela-verdade para cada uma das alternativas procurando encontrar
a soluo, mas para algumas equivalcias j temos a resposta, isto , com a prtica e
verificao j saberemos exatamente de algumas implicaes to facilmente que no
precisaremos fazer uso da tabela.
Esta questo um desses casos, pois temos o condicional p q que equivalente a ~q
~p, uma equivalncia que aparece em diversos exerccios e questes de concursos. Como
smbolo de equivalncia utilizaremos
.
(p

q)

(~q

~p)

~q

~p

~q

~p

Observe as duas colunas em vermelho acima na tabela-verdade, elas mostram a

equivalncia lgica entre as proposies. Portanto, se estudo ento passo logicamente
equivalente a se no passo ento no estudo.
Questo 3
Ora, para responder a esta questo temos que estar por dentro das tabelas-verdades de
cada um dos conectivos lgicos. No vamos expor aqui estas tabelas, pois nossa soluo
ficar longa demais.
Analisamos as afirmaes.
A) Se Marte um planeta ento 3 = 7 4.
Temos aqui o condicional ento. Faamos
p: Marte um planeta. Valor lgico: verdade (V).
q: 3 = 7 4. Valor lgico: verdade (V).
p q V
V = V, isto , se p tem valor lgico verdadeiro e q tambm, logo o
condicional se p ento q ter valor lgico verdadeiro (tabela-verdade do condicional),
portanto a afirmao (proposio) verdadeira.
B) A soma de dois nmeros pares um nmero par e 72 = 49.

Para este caso, temos conjuno e.

p: A soma de dois nmeros pares um nmero par. Valor lgico: verdadeiro (V).
q: 72 = 49. Valor lgico: verdadeiro (V).
p q V V = V, isto , se p tem valor lgico verdadeiro e q tambm, logo a
conjuno p e q ter valor lgico verdadeiro, logo a afirmao verdadeira.
C) 3 = 5 se e somente se o urso um animal invertebrado.
Neste caso, temos o bicondicional

(l-se: se e somente se).

p: 3 = 5. Valor lgico: falso (F) (3 no igual a 5).

q: o urso um animal invertebrado. Valor lgico: falso (F).
p q F F = V, isto , se p tem valor lgico falso e q tambm o bicondicional p se,
e somente se, q verdadeiro, logo a afirmao verdadeira.
Observao: no bicondicional p q, quer dizer que p condio necessria e suficiente
para q, q condio necessria e suficiente para p ou se p, ento q e reciprocamente.
D) Se 102 = 100 ento todo nmero inteiro natural.
Temos novamente o condicional ento.
p: 102 = 100. Valor lgico: verdadeiro (V).
q: todo nmero inteiro natural. Valor lgico: falso (F), pois nem todo nmero inteiro
natural. Exemplo: 5 inteiro mas no natural.
p q V
F = F, como p verdadeira e q falsa, o condicional se p ento q
falso. Portanto, a afirmao falsa.
E) 2 = 32 7 ou a Terra plana.
Agora, temos a disjuno v (l-se: ou).
p: 2 = 32 7. Valor lgico: verdadeiro (V).
q: a Terra plana. Valor lgico: falso (F).
p v q V v F = V, como p verdadeiro e q falso, a disjuno p ou q verdadeira,
logo a afirmao verdadeira.

Questo 4
Agora temos que negar uma proposio da forma p q, isto , temos que negar uma
conjuno, j fizemos isto na questo 1. Devemos ter ateno na desigualdade y < 2 ( y
menor do que 2), como neg-la?
Se um nmero y menor do que 2 quer dizer que s pode assumir valores menores do
que dois, no poder assumir valor igual ou maior do que 2, desse modo a negao da
sentena y < 2 y 2 (y maior ou igual a 2). Faamos
p: x 3
q: y < 2
Negando
~p: x = 3
~q: y 2
J sabemos como negar a conjuno, ento
~(p q) = ~p v ~q: x igual a 3 ou y maior ou igual a 2.
x = 3 ou y 2.

Questo 5
Nesta questo, vamos resolv-la sem uso direto dos conectivos lgicos, tendo ateno a
afirmao e ao que se pedido. Vejamos:
Afirmao:
Se h uma vogal em uma face, ento h um nmero par na outra face.
O que pedido:
Quais dos cartes acima devem ser necessariamente, virados para que se determine se a
afirmao acima verdadeira ou falsa?
Carto I na face do carto h o nmero 5 que mpar, neste caso, h a necessidade de
virar o carto, pois precisamos verificar se tem uma vogal do outro lado de acordo com a
afirmao, isto , sendo 5 no par na outra face deve ter no vogal. Lembre-se da
equivalncia lgica.
Carto II neste caso temos C, uma consoante, no h a necessidade de virar, pois o que
nos interessa a vogal. Tanto faz o que ter na outra face.

Carto III observe que temos uma vogal na face, ento h a necessidade de acordo com
a afirmao de virar o carto para que seja verificada sua veracidade, se h um nmero
par na outra face.
Carto IV neste caso que muitos estudantes caem em confuso! Veja que temos um
nmero par na face. A afirmao ou melhor a ordem da afirmao que se h uma vogal
numa face, ento tem um nmero par na outra e no o contrrio se h um nmero par na
face, ento h uma vogal na outra face, logo no h a necessidade de virar o carto j
que do outro lado pode ter no vogal. Novamente, a ordem vogal ento n. par.
Tambm, neste caso, lembramos da tabela-verdade do condicional, onde p tem valor
lgico V e q valor lgico F (ou no), o condicional p q ter valor lgico F. Percebeu que
p faz o papel do 6 e q o da no vogal?
Mas se ambas as sentenas p e q forem verdadeiras o condicional tambm ser. Logo no
h a necessidade de virar o carto.
Muitos estudantes questionam o fato de ter que virar o carto I e no o carto IV, veja que
no carto I, temos um nmero no par, precisamos virar para verificar se na outra face no
tem uma vogal, de acordo com a afirmao.