Prova de LÓGICA - SUBSTITUTIVA UNIP 2022

Prévia do material em texto

UNIP EAD
CURSO SUP TEC EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS
SÉRIE 1 - TIPO BIMESTRAL - SUBSTITUTIVA
GERADA EM 14/04/2022
DISCIPLINA 306160 - LÓGICA
QUESTÃO 1
Proposição são expressões declarativas que possuem sentido completo. Elas
podem ser simples ou compostas. Para a formação de proposições compostas, é
necessário o uso de conectivos. Portanto, conectivos são palavras usadas para
formar proposições compostas a partir de proposições simples.
I. Se o jogo for em São Paulo, então o time terá de viajar.
II. Paulo será o treinador e Lucas será o árbitro.
III. Haverá jogo se, e somente se, o estádio for liberado.
IV. Marcelo vai jogar ou Pedro ficará no banco.
Analise as proposições acima e indique respectivamente qual o conectivo utilizado
para formação das proposições compostas.
A) Implicação, disjunção, bicondicional e conjunção.
B) Condicional, conjunção, equivalência e condicional.
C) Bicondicional, disjunção, condicional e conjunção.
D) Condicional, conjunção, bicondicional e disjunção.
E) Implicação, conjunção, equivalência e disjunção.
Correta: D) Condicional, conjunção, bicondicional e disjunção.
QUESTÃO 2
Em lógica, um argumento é um conjunto sequenciado de proposições simples ou
compostas, chamadas de premissas, que tem a finalidade de defender uma ideia, e
de uma conclusão. Um argumento só será válido se, e somente se, a conclusão for
verdadeira toda vez que as premissas forem verdadeiras.
Portanto, um argumento é INVÁLIDO se não houver relação de implicação entre as
premissas e a conclusão.
A) As duas afirmações são proposições verdadeiras, e a segunda é uma
conclusão correta de primeira.
B) As duas afirmações são proposições verdadeiras, e a segunda não é uma
conclusão correta de primeira.
C) A primeira afirmação é uma proposição verdadeira, e a segunda é uma
proposição falsa.
D) A primeira afirmação é uma proposição falsa, e a segunda é uma proposição
verdadeira.
E) As duas afirmações são proposições falsas.
Correta: A) As duas afirmações são proposições verdadeiras, e a segunda é uma
conclusão correta de primeira.
QUESTÃO 3
“Chove, então fico resfriado. Não fiquei resfriado, logo, não choveu.”
A validade do argumento pode ser verificada por qual regra de inferência?
A) Simplificação (SIMP)
B) Adição (AD)
C) Modus tollens (MT)
D) Silogismo hipotético (SH)
E) Modus ponens (MP)
Correta: C) Modus tollens (MT)
QUESTÃO 4
As regras de inferência são formas elementares de argumentos que podem ser
facilmente verificadas pela tabela-verdade. A utilização de regras de inferência
permite que estruturas argumentativas complexas possam ser analisadas sem a
necessidade da tabela-verdade. Tomemos como exemplo a regra de inferência
Modus ponens (MP): p > q, p |-- q, facilmente constatamos que a condicional
associada a este argumento é uma tautologia.
Sejam as premissas de um argumento: “Se João almoçar, então irá para escola.
João almoçou.“ A conclusão deste argumento, para que seja VÁLIDO é:
A) Logo, João não almoçou.
B) Logo, João almoçou e não foi para a escola.
C) Logo, João não foi para a escola.
D) Logo, João foi para a escola.
E) Logo, João não almoçou e não foi para a escola.
Correta: D) Logo, João foi para a escola.
QUESTÃO 5
Qual das proposições abaixo é equivalente a p?
A) ~p ^ (p ∨ q)
B) p ^ ~(p∨ q)
C) p ^ (p V q)
D) ~p ∨ (p ^q)
E) p ∨ ~(p ^ q)
Correta: C) p ^ (p V q)
QUESTÃO 6
Sempre que o valor lógico de uma proposição composta for verdadeiro, não
importando a combinação das proposições simples que a compõem, teremos uma
tautologia. Proposições tautológicas possuem importância fundamental em Lógica.
Um método prático para se concluir se uma proposição composta é tautológica é
construir sua a tabela-verdade. Sejam as proposições compostas abaixo:
I. (p∨ q) → p
II. (p ^ q) → p
III. (p ^ q) → (p ∨ q)
Podemos afirmar que é TAUTOLÓGICA, ou que são TAUTOLÓGICAS, as
alternativas:
A) I, II e III
B) I e III
C) II e III
D) Apenas I
E) Apenas III
Correta: C) II e III
QUESTÃO 7
Dos argumentos abaixo, qual deles é válido?
A) p → q |----------- p ^ ~q
B) (p → q), (q → p) |----------- p ∨ r
C) (p ∨ q) |----------- p ^~q
D) ~(p ∨ q) |----------- p ^q
E) p → q |------------ ~p ∨ q
Correto: E) p → q |------------ ~p ∨ q
QUESTÃO 8
Para se saber se um argumento é válido ou não válido, dependendo do número de
proposições simples que o compõem, pode-se analisar a sua condicional associada
através da tabela-verdade, Já para argumentos mais complexos, o uso de regras de
inferência é uma alternativa mais viável. A utilização das regras de inferência
consiste em uma sequência lógica de inferências e substituições de modo a se obter
os valores lógicos possíveis.
Na proposição: “Se Ana prestar atenção na explicação, então aprende. Ana presta
atenção na explicação e estuda. Logo, Ana aprende”. Quais regras de inferência
são usadas para validar este argumento?
A) p → q, q |---- p (MP); p → q, p |---- ~p (MT).
B) p ^r |---- p (SIMP); p → q, p |----- q (MP)
C) p → p ∨ q (AD); p ^ r |----- p (SIMP)
D) p → q, p |----- ~p (MT); p |---- p v q (AD)
E) p ^ r |------ p (SIMP); p → q, p |----- ~p (MT)
Correto: B) p ^r |---- p (SIMP); p → q, p |----- q (MP)
QUESTÃO 9
A negação de uma proposição com quantificadores pode ser encontrada pelas
segundas regras de negação de Morgan:
~[ ( ∀ x ∈ A )( p (x))] ⇔ ( ∃ x ∈ A ) ( ~p (x) )
~[ ( ∈ x ∈ A )( p (x))] ⇔ ( ∀ x ∈ A ) ( ~p (x) )
Se não é verdade que “Todas as pessoas que trabalham em TI são formadas em
Análise de Sistemas”, então é necessariamente VERDADE que:
A) Nenhuma pessoa que trabalha em TI é formada em Análise de Sistemas.
B) Todas as pessoas de TI são formadas em Análise de Sistemas.
C) Ninguém formada em Análise de Sistemas trabalha em TI.
D) Alguma pessoa formada em Análise de Sistemas trabalha em TI.
E) Alguma pessoa que trabalha em TI não é formada em Análise de Sistemas.
Correta: E) Alguma pessoa que trabalha em TI não é formada em Análise de
Sistemas.
QUESTÃO 10
Conectivos são palavras usadas para formar proposições compostas a partir de
proposições simples. Um dos princípios fundamentais da Lógic, o princípio do
terceiro excluído, afirma que toda proposição possui valor lógico verdadeiro ou valor
lógico falso. Seja p: Maria é cientista e q: Pedro é médico.
Assinale a alternativa INCORRETA com relação ao uso dos conectivos:
A) Se o valor lógico da proposição p é falso e da proposição que também é
falso, então a disjunção entre p e q tem valor falso.
B) Se o valor lógico da proposição p é falso e da proposição q também é falso,
então a conjunção entre p e q tem valor falso.
C) Se o valor lógico da proposição q é verdadeiro, então a condicional entre p e
q tem valor verdadeiro.
D) Se o valor lógico da proposição p é falso e da proposição q é verdadeiro,
então a disjunção entre p e q tem valor falso.
E) Se o valor lógico da proposição p é verdadeiro e da proposição q é
verdadeiro, então a conjunção entre p e q tem valor verdadeiro.
Correta: D) Se o valor lógico da proposição p é falso e da proposição q é verdadeiro,
então a disjunção entre p e q tem valor falso.