Gabarito simulado 2

Prévia do material em texto

1
A tabela-verdade é usada para determinar o valor lógico de uma proposição composta, sendo
que os valores das proposições simples já são conhecidos, pois o valor lógico da proposição
composta depende do valor lógico da proposição simples.
A proposição p ↔ q é equivalente a uma proposição. Sobre essa proporção, assinale a
alternativa CORRETA:
A (p∧ q)∨ (q∧ p).
B (~p∧ q)∨ (~q∧ p).
C (p∨ q)∧ (q∨ p).
D (~p∨ q)∧ (~q∨ p).
2
Uma bicondicional é uma forma de juntarmos duas afirmações. Podemos juntar as duas e gerar
uma proposição. Esta frase grande (proposição), constituída pelas duas mais pequenas, utiliza
uma condição suficiente e outra necessária. E será verdadeira quando as duas frases que a
constituem tiverem o mesmo valor de verdade.
Na afirmação: "Se correr o bicho pega", é correto afirmar que:
A O bicho pegar é condição suficiente para correr.
B Correr é condição suficiente para o bicho pegar.
C O bicho pegar é condição necessária e suficiente para correr.
D Correr é condição necessária para o bicho pegar.
3
Saber realizar a tradução da linguagem formal para a informal ou vice-versa tem papel
fundamental no estudo da lógica matemática, pois ajudará a verificar, por exemplo, a validade
ou a equivalência de argumentos.
Sobre a forma formal da expressão∀x∈ R, x2 > 0, assinale a alternativa CORRETA que
apresenta uma possibilidade da forma informal:
A Existe números reais cujo quadrado é positivo.
B Nenhum número real possui quadrados negativos.
C Todos os números reais possuem quadrados maiores que zero.
D Todos os números reais possuem quadrados positivo.
4
Saber realizar a tradução da linguagem formal para a informal ou vice-versa tem papel
fundamental no estudo da lógica matemática, pois ajudará a verificar, por exemplo, a validade
ou a equivalência de argumentos.
Sobre a forma formal da expressão∃x∈ Z | x2 = x , assinale a alternativa CORRETA que
apresenta uma possibilidade da forma informal:
A Existe um ou mais números racionais, cujo quadrado é igual a ele mesmo.
B Existe um ou mais números inteiros, cujo quadrado é igual a ele mesmo.
C Algum número racional cujo quadrado é igual a ele mesmo.
D Algum número inteiro cujo quadrado não é igual a ele mesmo.
5
Saber realizar a tradução da linguagem formal para a informal ou vice-versa tem papel
fundamental no estudo da lógica matemática, pois ajudará a verificar, por exemplo, a validade
ou a equivalência de argumentos.
Sobre a forma formal da expressão∀x∈ Z, se x > 1 então x2 ≥ 4, assinale a alternativa
CORRETA que apresenta uma possibilidade da forma informal:
A Existe algum número inteiro maiores que 1, cujo quadrado é maior ou igual a 4.
B Nenhum número inteiro maior que 1 terá seu quadrado menor que 4.
C Se um número inteiro for maior que 1, então seu quadrado será maior que 4.
D Todos os números inteiros maiores ou iguais a 1 possuem quadrado maior ou igual a 4.
6
Considere as seguintes proposições:
p: Paulo é administrador.
q: Maria é professora.
Qual dos itens a seguir representa, em linguagem comum, a proposição composta ~(~ p v q)?
A Paulo é administrador e Maria é professora.
B Paulo é administrador e Maria não é professora.
C Paulo é administrador ou Maria é professora.
D Paulo é administrador ou Maria não é professora.
7
As dez regras básicas de inferência são abrangentes, fornecendo provas para todas as formas
válidas na linguagem da lógica proposicional. Apesar disso, a utilidade de outras regras
adicionais reside em sua capacidade de simplificar as provas, embora não permitam a
demonstração de algo novo além do que já é possível pelas dez regras fundamentais. Desta
forma, baseado nas Regras Derivadas estudadas em nosso livro, analise cada uma das
sentenças a seguir:
I. Silogismo Hipotético
II. Transposição
III. Contradição
IV. Silogismo Disjuntivo
Assinale a alternativa CORRETA:
A Somente as sentenças I e II estão corretas.
B Somente as sentenças II e IV estão corretas.
C Somente as sentenças I, III e IV estão corretas.
D Somente as sentenças II e III estão corretas.
8
Como a maioria das provas, as de lógica geralmente começam com as premissas, que são
declarações que você está autorizado a assumir como verdadeiras. A conclusão é a afirmação
que você precisa provar. A ideia é operar as premissas, utilizando as regras de inferência até
chegar à conclusão. Com base nos conhecimentos das Regras de Inferência não Hipotéticas,
Regras Derivas e Equivalências, determine se há algo errado na resolução da prova do
argumento a seguir:
Caso haja algo de errado na demonstração, a partir de qual linha é possível identificar o erro?
A Não há nada de errado na demonstração.
B A partir da linha 4.
C A partir da linha 6.
D A partir da linha 5.
9
Na ilustração a seguir, temos quatro conjuntos A, B, C e D representadas por circunferências
que se interceptam. Estas regiões de intersecção, estão separadamente numeradas de 1 a 13,
onde por exemplo, o número 1 representa a intersecção entre os quatro conjuntos.
Desta forma, classifique V para as sentenças verdadeiras e F para as falsas, o qual apresentam
a numeração que compreende a região delimitado por B - (A ∩ C):
( ) Os números 2 e 3 pertencem a solução.
( ) Os números 7 e 3 pertencem a solução.
( ) Os números 10 e 4 pertencem a solução.
( ) Os números 6 e 7 pertencem a solução.
Assinale a alternativa que apresenta a sequência CORRETA:
A F – F – V – V.
B V – F – F – F.
C V – V – F – V.
D F – V – V – F.
10
Na ilustração a seguir, temos quatro conjuntos A, B, C e D representadas por circunferências
que se interceptam. Estas regiões de intersecção, estão separadamente numeradas de 1 a 13,
onde por exemplo, o número 1 representa a intersecção entre os quatro conjuntos.
Desta forma, classifique V para as sentenças verdadeiras e F para as falsas, o qual apresentam
a numeração que compreende a região delimitado por D - (B ∩ C):
( ) Os números 2 e 3 pertencem a solução.
( ) Os números 5, 8 e 9 pertencem a solução.
( ) Os números 9 e 12 pertencem a solução.
( ) Os números 2, 3 e 12 pertencem a solução.
Assinale a alternativa que apresenta a sequência CORRETA:
A F – F – V – V.
B V – V – F – V.
C V – F – F – F.
D F – V – V – F.