Escolar Documentos
Profissional Documentos
Cultura Documentos
Aula 2
Condição Necessária e Condição Suficiente ..................................................................................... 2
Negação de proposições compostas .................................................................................................... 6
Negação de proposições quantificadas ............................................................................................. 11
Diagramas de Euler-Venn ...................................................................................................................... 22
Relação das questões comentadas.................................................................................................................. 32
Gabaritos ......................................................................................................................................................... 38
: ℎ é .
: ℎ é .
→ : ℎ é , ã ℎ é .
Ou seja, saber que Guilherme é brasileiro NÃO É SUFICIENTE para saber que
Guilherme é pernambucano.
Mas uma coisa podemos garantir: para que Guilherme seja pernambucano, ele
necessariamente tem que ser brasileiro. Ou seja,
Resumindo...
Exemplo: Considere a frase “Penso, logo existo”. Esta frase significa que “Se
penso, então existo”.
“Se não existo, então não penso”, que pode ser escrita como:
: ℎ é .
: ℎ .
⟷ : ℎ é ℎ .
Em resumo:
Resolução
a) Brasileiro ↔ paulista. Falso, pois pode ocorrer o caso de uma pessoa ser
brasileira e não ser paulista. Contradição, pois os valores lógicos das
proposições componentes de uma bicondicional devem ser iguais. Uma
proposição bicondicional equipara-se a dois condicionais: Se uma pessoa é
brasileira, então ela é paulista e, se uma pessoa é paulista, então ela é
brasileira.
b) Brasileiro → paranaense. Falso, pois pode ocorrer o caso de uma pessoa ser
brasileira e não ser paranaense. Como vimos, não pode ocorrer VF em uma
condicional.
Letra D
Resolução
Desta forma:
Letra E
Resolução
Observe que a frase que nós construímos não foi a mesma do enunciado. A
frase do enunciado é a seguinte:
p ~p
V F
F V
Exemplo:
Como nos revela este exemplo, há uma negação “externa”, aplicável a uma
proposição inteira, e uma negação interna, aplicável a algum componente da
proposição. Queremos com isso mostrar que, por exemplo, não são
equivalentes as proposições ~ ( p ∧ q ) e ~ p ∧ ~ q . Para evitar dúvidas,
enunciaremos as “fórmulas” de negação das proposições compostas,
demonstraremos e, em seguida, aplicaremos nas diversas questões de
concurso.
Afirmação Negação
p ~p
p∧q ~ p∨ ~ q
p∨q ~ p∧ ~ q
p→q p∧ ~ q
p↔q ( p ∧ ~ q) ∨ (q ∧ ~ p)
⟷~
~ ⟷
Afirmação Negação
mantenha o conectivo.
p q ~ p ~ q p ∧ q ~ ( p ∧ q) ~ p ∨ ~ q p ∨ q ~ ( p ∨ q) ~ p ∧ ~ q
V V F F V F F V F F
V F F V F V V V F F
F V V F F V V V F F
F F V V F V V F V V
~ ( p ∧ q) ⇔ ~ p∨ ~ q
~ ( p ∨ q) ⇔ ~ p∧ ~ q
p q ~ p ~ q p → q ~ ( p → q) p ∧ ~ q q ∧ ~ p p ↔ q ~ ( p ↔ q) ( p ∧ ~ q) ∨ (q ∧ ~ p)
V V F F V F F F V F F
V F F V F V V F F V V
F V V F V F F V F V V
F F V V V F F F V F F
⟷~ ~ ⟷ v
F F F
V V V
V V V
F F F
~ ( p → q) ⇔ p∧ ~ q
~ ( p ↔ q) ⇔ ( p ∧ ~ q) ∨ (q ∧ ~ p )
~( ⟷ ) ⟺ ⟷~
~( ⟷ ) ⟺ ~ ⟷
~( ⟷ ) ⟺ v
Afirmação Negação
Exemplo 1: Conjunção ~ ( p ∧ q ) ⇔ ~ p ∨ ~ q
Exemplo 2: Disjunção ~ ( p ∨ q ) ⇔ ~ p ∧ ~ q
Exemplo 3: Condicional ~ ( p → q ) ⇔ p ∧ ~ q
a) 2 x + 6 = 0
b) x − 3 > 0
Note que uma função proposicional (ou sentença aberta) quantificada é uma
proposição. Então, como proposição, pode ser negada.
Afirmação Negação
Resolução
Letra C
p : Trabalhar é saudável
q : O cigarro mata.
a) p é falsa e ~q é falsa.
b) p é falsa e q é falsa.
c) p e q são verdadeiras.
d) p é verdadeira e q é falsa.
e) ~p é verdadeira e q é falsa.
Resolução
Quando é que uma proposição composta pelo conectivo “ou” é falsa? Quando
os dois componentes são falsos. Assim, concluímos que ~p é falsa (ou seja, p
é verdadeira) e q é falsa.
Letra D
06. (FCC - 2008 - TRT - 18ª Região (GO) - Técnico Judiciário - Tecnologia da
Informação) Considere as proposições:
p: Sansão é forte.
q: Dalila é linda.
A negação da proposição ∧~ é
Resolução
Letra D
07. (AFC/2002/Esaf) Dizer que não é verdade que Pedro é pobre e Alberto é
alto é logicamente equivalente a dizer que é verdade que:
Resolução
Comentamos que quando uma questão nos fornece uma proposição falsa e nos
pede uma verdadeira, deveremos assinalar a negação da proposição dada.
Assim, quando a questão fala que “não é verdade que Pedro é pobre e Alberto
é alto”, temos que a proposição “Pedro é pobre e Alberto é alto” é falsa. Para
assinalarmos uma proposição verdadeira, deveremos negar a proposição dada.
Lembremos: para negar uma proposição composta pelo conectivo “e”,
negamos as duas proposições constituintes e trocamos o conectivo “e” pelo
conectivo “ou” (Lei de De Morgan).
Letra A
Resolução
O correto, a rigor, seria: Existe cargo deste concurso que não é de analista
judiciário.
Letra B
Resolução
Como vimos, quando o enunciado nos fornece uma proposição falsa e nos
pede uma proposição verdadeira, devemos obter a sua negação. Assim, a
negação de uma proposição particular negativa (”algum... não”) é a proposição
universal afirmativa (todo...).
Temos então que a negação de “Existem funcionários públicos que não são
eficientes” é “todo funcionário público é eficiente”. Em outras palavras, para
negar uma proposição com a expressão “existe/algum”, trocamos o
quantificador por “todo” e modificamos o verbo, negamos o verbo. Como a
negação de “não ser eficiente” é “ser eficiente”, temos o resultado acima.
Letra C
Resolução
Para negar uma proposição composta pelo “e”, devemos negar os dois
componentes e trocar o conectivo pelo “ou”.
Letra B
Resolução
Essa questão foi muito boa!! E foi copiada depois pelo CESPE (veja a próxima
questão).
Ora, devemos marcar uma alternativa que tenha o mesmo significado lógico de
“A Terra não é chata ou a Lua não é um planeta.”
Letra A
Resolução
O problema é que esta frase não se encontra nas alternativas. Observe que há
várias alternativas com o conectivo “se...,então...”. O que devemos fazer
então?
Ora, devemos marcar uma alternativa que tenha o mesmo significado lógico de
“Mário não é contador ou Norberto não é estatístico.” Vamos, portanto,
assinalar uma proposição equivalente a ela.
Letra D
Resolução
~P: Todas as lâmpadas não estão acesas. Ou seja, todas as lâmpadas estão
apagadas.
~Q: Alguma porta não está fechada. Ou seja, alguma porta está aberta.
Letra B
p →~q é
(A) ~p →~q
(B) ~p →q
(C) p →q
(D) p ∧ ~q
(E) p ∧ q
Resolução
Letra E
(D) Não é verdade que, se Maly não é usuária do Metrô, então ela gosta de
dirigir automóvel.
(E) Se Maly não é usuária do Metrô, então ela não gosta de dirigir automóvel.
Resolução
Letra A
Resolução
( ∧~ )∧
( ∧~ )∧
: Beatriz é morena;
~ : Pessoas inteligentes não estudam.
q: Beatriz é inteligente;
Diagramas de Euler-Venn
Todo A é B
A é subconjunto de B.
A é parte de B.
A está contido em B.
B contém A.
B é universo de A.
B é superconjunto de A.
Algum A é B
Observe que quando afirmamos que “Algum A é B” estamos dizendo que existe
pelo menos um elemento de A que também é elemento de B.
Nenhum A é B
Nenhum B é A.
Todo A não é B.
Todo B não é A.
A e B são conjuntos disjuntos.
Algum A não é B
Observe que “Algum A não é B” não equivale a “Algum B não é A”. Por
exemplo, dizer que “Algum brasileiro não é pernambucano” não equivale a
dizer que “Algum pernambucano não é brasileiro”.
Resolução
Resolução
Ora, se todas as provas de lógica são difíceis, podemos garantir que alguma
prova de lógica é difícil.
Letra B
Resolução
Letra C
Resolução
a) Esta alternativa é falsa, pois podem existir pessoas que não são corruptas e
que são desonestas.
d) Esta alternativa é falsa, pois podem existir pessoas que não são corruptas e
que são desonestas.
Letra E
Resolução
Esta alternativa é falsa. Podemos apenas afirmar que toda pessoa que
consultou Y também consultou X.
Resposta: Letra B
(A) I.
(B) I e III.
(C) I, III e IV.
(D) II e IV.
(E) IV.
Resolução
O item I é falso, como pode bem ser visto no diagrama acima. A região
pintada de vermelho possui pelo menos um elemento que é médico que
trabalha na cidade X (pois é elemento de M), é professor universitário que só
leciona em faculdades da cidade X e não leciona na faculdade A.
O item II é falso, como pode ser visto no diagrama acima. A região pintada de
vermelho possui pelo menos um elemento que leciona na faculdade A, não
leciona na faculdade B e não é médico.
Letra E
p : Trabalhar é saudável
q : O cigarro mata.
a) p é falsa e ~q é falsa.
b) p é falsa e q é falsa.
c) p e q são verdadeiras.
d) p é verdadeira e q é falsa.
e) ~p é verdadeira e q é falsa.
06. (FCC - 2008 - TRT - 18ª Região (GO) - Técnico Judiciário - Tecnologia da
Informação) Considere as proposições:
p: Sansão é forte.
q: Dalila é linda.
A negação da proposição ∧~ é
07. (AFC/2002/Esaf) Dizer que não é verdade que Pedro é pobre e Alberto é
alto é logicamente equivalente a dizer que é verdade que:
p →~q é
(A) ~p →~q
(B) ~p →q
(C) p →q
(D) p ∧ ~q
(E) p ∧ q
(A) I.
(B) I e III.
(C) I, III e IV.
(D) II e IV.
(E) IV
Gabaritos
01. D
02. E
03. Certo
04. C
05. D
06. D
07. A
08. B
09. C
10. B
11. A
12. D
13. B
14. E
15. A
16. C
17. B
18. B
19. C
20. E
21. B
22. E