Você está na página 1de 6

LÓGICA

UNIDADE 1 - PROPOSIÇÕES E OPERADORES LÓGICOS

1) Considerando o conceito de proposição da lógica matemática, quais símbolos são utilizados para
representar proposições atômicas?
Resposta: e) a,b,c,d - as proposições atômicas são geralmente representadas por letras minúsculas do
alfabeto.

2) Uma proposição representa um fato e pode assumir dois valores lógicos, que são:
Resposta: c) Verdadeiro e Falso

3) Qual das proposições compostas a seguir tem valor lógico falso?


a) 7 é primo e 9 é raiz quadrada de 34.
Resposta: A proposição composta possui um conectivo “e”. Portanto, para que a proposição composta
tenha valor lógico verdadeiro, é necessário que ambas as proposições tenham valor lógico verdadeiro.
Nessa opção é possível verificar que 7 é primo. Entretanto 9 não é raiz quadrada de 34. Logo, a
proposição composta possui valor falso.
b) 2 é par e 4 é par
c) 2 é metade de 4 e 4 é metade de 8
d) 3 é raiz quadrada de 9 e 9 é raiz quadrada de 81
e) 3 é raiz quadrada de 9 e 2 é metade de 4

4) Qual das proposições compostas a seguir tem valor lógico falso?


a) 3 é par ou 5 é raiz quadrada de 101 – A proposição tem valor lógico falso
b) 4 é par ou 6 é ímpar
c) 4 é impar ou 2 é par
d) 2 é positivo ou 4 é positivo
e) 4 é negativo ou 2 é positivo

5) Se Maria for ao cinema, Pedro irá ao cinema e levará Verônica.


Considere as seguintes proposições:
P: Maria irá ao cinema;
Q: Pedro irá ao cinema;
R: Pedro levará Verônica;
Assinale a opção que contém a fórmula da lógica proposicional que representa a sentença proposta:
a) p seta (~q ^~r)
b) q seta (p^r)
c) r seta (q^p)
d) p seta (q v r)
e) p seta (q^r) – Considerando p: Maria irá ao cinema; q: Pedro irá ao cinema; r: Pedro levará Verônica. A
proposição “Se Maria for ao cinema, Pedro irá ao cinema e levará Verônica” será representada por p
seta (q^r).
UNIDADE 2 – CONSTRUÇÃO DE TABELAS-VERDADE E CLASSIFICAÇÃO DAS PROPOSIÇÕES

1) A proposição composta “p->q” possui valor lógico falso quando:


a) A proposição possui valor lógico sempre verdadeiro
b) A proposição “p” possuir valor lógico falso e a proposição “q” possuir valor lógico verdadeiro
c) A proposição “p” possuir valor lógico verdadeiro e a proposição “q” possuir valor lógico falso
d) A proposição “p” possuir valor lógico falso e a proposição “q” possuir valor lógico falso
e) A proposição “p” possuir valor lógico verdadeiro e a proposição “q” possuir valor lógico falso
CERTA

2) Quantas linhas possui a tabela-verdade da proposição “a v b v c” seta d seta c seta e”.


a) 8
b) 16
c) 32 – O número de linhas de uma proposição composta é dado pela seguinte fórmula: 2 n – em
que n é o número de proposições simples distintas que uma proposição composta possui. Logo,
2 5 = 32
d) 64
e) 128

3) A tabela-verdade do conectivo “ou” possui respectivamente os seguintes valores lógicos

p q pvq
V V
V F
F V
F F

a)V-F-V-F
b) V-V-V-F – Com o conectivo “ou”, uma proposição composta terá valor lógico verdadeiro
quando, pelo menos, uma das proposições simples que formam a proposição composta tiver
valor lógico verdadeiro.
c)V-F-F-F
d) F-F-F-F
e) V-V-V-V

4) Uma proposição composta que possui valor lógico sempre falso é uma contradição
I - ~p^p
II - ~p v p
III - ~(~pvp)
IV - ~p^r
V - p -> p
Quais dos itens anteriores representam uma contradição?
a) I II
b) I, IV V
c) I, II, III
d) I III – Item I: Contradição; Item III: Contradição
e) IV V
5) “Na Copa do Mundo de 2018, o Brasil será campeão ou não não será campeão”. Considerando os
conceitos de lógica matemática aprendidos nesta unidade de aprendizagem, a afirmação anterior é:
a) Um paradoxo
b) Uma tautologia – Uma proposição composta que possui valor lógico sempre verdadeiro é uma
tautologia. Considerando: p(Brasil será campeão) e ~p(o Brasil não será campeão). Tautologia: p
v ~p.
c) Uma contradição
d) Um silogismo
e) Uma contingência

UNIDADE 3 – RELAÇÃO DE IMPLICAÇÃO E RELAÇÃO DE EQUIVALÊNCIA

1) Duas proposições são equivalentes quando possuem as mesmas saídas lógicas na tabela-
verdade para a mesma combinação de valores de entrada. A proposição composta “~(p^q)” é
logicamente equivalente à proposição:

a) ~p
b) p
c) ~p^~q
d) q
e) ~p v ~q – Equivalência lógica (Morgan) ~(p ^q) é equivalente a ~p v ~q.

2) Duas proposições são equivalentes quando possuem as mesmas saídas lógicas na tabela-
verdade para a mesma combinação de valores de entrada. A proposição a <-> b é equivalente a:

a) ~a
b) A -> b
c) B -> a
d) A->b ^b -> a – O conectivo “se somente se” a <-> b é equivalente a dois conectivos “se
então" ligados por um conectivo “e” ( a -> b ^ b -> a)
e) ~a -> ~b ^~b -> ~a

3) A proposição “Se Edvaldo ganha para prefeito, então Rubens ganha para vereador” é
equivalente a:

a) Edvaldo ganha para vereador e Rubens ganha para prefeito


b) Se Rubens não ganha para vereador, então Edvaldo não ganha para prefeito – Equivalência
lógica ( Contraposição) p -> q é equivalente a ~q -> ~p (p: Edvaldo ganha para prefeito e q:
Rubens ganha para vereador).
c) Edvaldo ganha para prefeito
d) Rubens ganha para vereador
e) Edvaldo não ganha para prefeito e Rubens ganha para prefeito

4) Considere as seguintes proposições:


I – ~(p^~q)
II – ~p v q
III – p -> q
IV – p <-> q
V – ~p
Quais das proposições anteriores são logicamente equivalentes?
a) II III
b)I, II, III – As proposições I, II, III possuem as mesmas saídas lógicas na tabela-verdade para a
mesma combinação de valores de entrada.
c) I III
d)I, II, III IV
e)I, II, V

5) A proposição composta “p ->q” é logicamente equivalente à proposição:

a) ~p v q – Equivalência lógica (Condicional) p -> q é equivalente a ~p v q


b) ~p v ~q
c) p v q
d) p -> ~q
e) p

UNIDADE 4 – MÉTODO DEDUTIVO E REGRAS DE INFERÊNCIA

1) Com as premissas:
P1: p -> q
P2: p
É possível concluir: q
O nome da regra de inferência utilizada é :

a) Modus Ponens – Regra de inferência ( Modus Ponens ). Com as premissas “p ->q” e “p”, é
possível concluir “q”
b) Modus Tollens
c) Silogismo Hipotético
d) Silogismo Disjuntivo
e) Simplificação

2) Com as premissa:
p^q
É possível concluir: p,q
O nome da regra de inferência utilizada é :

a) Simplificação – Regra de inferência (Simplificação). Com a premissa “p^q”, é possível


concluir “p” e “q”
b) Modus Tollens
c) Modus Ponens
d) Resolução
e) Silogismo Hipotético

3) Considere o seguinte argumento:


Premissa 1: Se o Brasil investir em educação, então o Brasil terá mais pessoas na escola.
Premissa 2: Se o Brasil tiver mais pessoas na escola, então o Brasil terá um grande futuro.
Conclusão: Se o Brasil investir em educação, então o Brasil terá um grande futuro.
A regra de inferência que justifica a validade do argumento acima é:
Marque a opção correta
a) Silogismo Hipotético
Premissa 1: p -> q
Premissa 2: q -> r
Conclusão: p -> r
Regra de inferência ( Silogismo Hipotético). Com as premissas “p ->q” e “q->r”, é
possível concluir “p->r”. p: o Brasil investir em educação, q: o Brasil terá mais pessoas na
escola e r: o Brasil terá um grande futuro.
b) Modus Tollens
Premissa 1: p -> q
Premissa 2: q -> s
Conclusão: s -> q
c) Silogismo Hipotético
Premissa 1: p -> q
Premissa 2: q -> s
Conclusão: s -> q
d) Modus Tollens
Premissa 1: p -> q
Premissa 2: q -> r
Conclusão: p -> r
e) Modus Tollens
Premissa 1: p -> q
Premissa 2: q -> r
Conclusão: p -> r

4) Com as premissas:
P1: p -> q
P2: ~q
É possível deduzir: ~p
O nome da regra de inferência utilizada é:

a) Modus Ponens
b) Modus Tollens – Regra de inferência ( Modus Tollens). Com as premissas
“p -> q” e “q”, é possível concluir “~p”
c) Silogismo Hipotético
d) Silogismo Disjunção
e) Simplificação

5) Considere o seguinte argumento:


Premissa 1: Se João gosta de cachoeira, então João gosta de Jaceruba.
Premissa 2: João não gosta de Jaceruba.
Conclusão: João não gosta de cachoeira.
A regra de inferência que justifica a validade do argumento acima é:
Marque a opção correta.

a) Premissa 1: p -> q
Premissa 2: ~q
Conclusão: ~p
Regra de inferência ( Modus Tollens). Com as premissas “p->q” e “q”, é possível concluir
“~p”. p: João gosta de cachoeira, q: João gosta de Jaceruba.
b) Premissa 1: p -> q
Premissa 2: ~q
Conclusão: ~p
c) Premissa 1: p -> q
Premissa 2: q
Conclusão: p
d) Premissa 1: p -> q
Premissa 2: ~q
Conclusão: p
e) Premissa 1: p -> q
Premissa 2: q
Conclusão: ~p

Você também pode gostar