Lógica para Computação

Questão 1 :
Ao estudarmos sobre equivalências lógicas, vimos que a equivalência lógica relaciona
sentenças diretamente por meio do bicondicional. Considere as composições a
seguir: ~[~(P∨Q)] e P∨Q. Em relação a elas, assinale a alternativa correta.
 
A resposta correta é a opção A
Justificativa:Gabarito: A Comentário: Sentenças equivalentes são aquelas nas quais o
bicondicional entre elas é uma tautologia (unidade 21). Nesta perspectiva, o aluno deve construir
a tabela-verdade para verificar se o bicondicional é tautológico ou não, associando as sentenças
pelo bicondicional: ~[~(P∨Q)]↔ P∨Q.

A São equivalentes.
B Não são equivalentes.
C Não é possível relacioná-las pela equivalência.
D Todas as alternativas estão corretas.
Questão 2 :
A lógica organiza o pensamento. Um dos elementos é a conversão da linguagem
corrente para a representação simbólica, conforme proposto em situações diversas
nas unidades 4 a 14. Para a composição de proposições  “Se o ônibus está atrasado e
o avião está dentro do estimado, então os passageiros do avião chegarão a tempo
para seus compromissos”, assinale a alternativa que corresponde à representação
simbólica correta considerando a seguinte notação:

- P O ônibus está atrasado.

- Q O avião está dentro do estimado.
- R Os passageiros do avião chegarão a tempo para seus compromissos.
 
A resposta correta é a opção B
Justificativa:Gabarito: B

A (P→Q)→R
B (P∧Q)→R
C P→(Q∧R)
D P∧Q∧R
Questão 3 :
Na unidade 24, você aprendeu que a simplificação lógica disjuntiva é uma implicação
lógica. Assinale a alternativa que apresenta sua formulação correta.
 
A resposta correta é a opção C
Justificativa:Gabarito: C Comentário: Quando estudamos sobre simplificação disjuntiva,
falamos acerca da simplificação, conforme a própria expressão indica. Simplificar significa
reduzir, neste caso, proposições e conectivos. Então, de acordo com a unidade 24, a implicação
que define a simplificação disjuntiva é (P∨Q)∧(P∨∼Q)⇒P.

A (P∨Q)∧(P∨∼Q)⇒(P→Q)
B (P∨Q)∧(P∨∼Q)⇒(Q→P)
C (P∨Q)∧(P∨∼Q)⇒P
D (P∨Q)∧(P∨∼Q)⇒Q
Questão 4 :
Vimos que a equivalência lógica obedece, como relação, a algumas propriedades
específicas. Assinale a alternativa que expressa propriedades estabelecidas pela
definição de equivalência lógica.
 
A resposta correta é a opção D
Justificativa:Gabarito: D Comentário: A equivalência lógica satisfaz as propriedades reflexiva,
simétrica e transitiva (unidade 23): reflexiva: P⇔P; simétrica: P⇔Q então Q⇔P; transitiva: P⇔Q
e Q⇔R, então P⇔R.

A Reflexiva e simétrica.
B Reflexiva e transitiva.
C Simétrica e transitiva.
D Reflexiva, simétrica e transitiva.
Questão 5 :
Em lógica, argumento é o encadeamento de proposições que buscam chegar a uma
conclusão. Em relação aos argumentos dedutivos e indutivos, é correto afirmar que:
 
A resposta correta é a opção A
Justificativa:Gabarito: A Comentário: Na dedução, a conclusão deriva logicamente das
premissas, sendo uma dedução lógica (unidades 31 e 32).

A em argumentos dedutivos, a conclusão é obtida a partir das premissas.

B em argumentos indutivos, a conclusão é obtida a partir das premissas.
C em argumentos dedutivos, a conclusão independe das premissas.
D em argumentos indutivos, a conclusão é deduzida imediatamente das premissas.
Questão 6 :
Vimos que um argumento lógico deve conter premissas e conclusão. Assinale a
alternativa correta que indica como se denomina o processo de chegarmos à
conclusão a partir das premissas.
A resposta correta é a opção B
Justificativa:
Gabarito: B Comentário: A inferência é o processo lógico de, a partir
das premissas, chegarmos à conclusão (unidade 34). Ou seja, na
argumentação lógica, “inferimos” a conclusão a partir das premissas.
A inferência é o processo pelo qual passamos ao deduzir a conclusão
conhecendo as premissas.
A Método dedutivo
B Inferência
C Equivalência
D Indução
Questão 7 :
Sabemos que ∼(P∧Q) e P∨∼Q são equivalentes. Para verificar a equivalência, basta
elaborar a tabela-verdade de ambas as expressões e verificar que o bicondicional
entre elas é tautológico. Se quisermos formar uma equivalência para a negação da
disjunção, ∼(P∨Q), a equivalência correta é:
A resposta correta é a opção C
Justificativa:
Gabarito: C Comentário: A negação de uma disjunção é equivalente à
conjunção da negação das proposições envolvidas (unidade 21). Faz
sentido ao pensarmos que negar que P ou Q é o mesmo que negar
ambas simultaneamente, ou seja, é o mesmo que a conjunção das
negações.
A ∼(P∨Q)⇔P∧∼Q
B ∼(P∨Q)⇔∼P∧Q
C ∼(P∨Q)⇔∼P∧∼Q
D ∼(P∨Q)⇔P∧Q
Questão 8 :
As relações lógicas podem obedecer as propriedades específicas derivadas imediatas
das definições. Nesses termos, a implicação lógica obedece a algumas propriedades.
Assinale a alternativa correta que indica as propriedades da implicação lógica.
A resposta correta é a opção B
Justificativa:
Gabarito: B Comentário: A implicação lógica obedece às propriedades
reflexiva e transitiva (unidade 22). No entanto, não é simétrica: P⇒Q,
e não implica que Q⇒P, condição que deveria satisfazer para que a
implicação fosse simétrica.
A Reflexiva e simétrica.
B Reflexiva e transitiva.
C Simétrica e transitiva.
D Reflexiva, simétrica e transitiva.
Questão 9 :
As sentenças abertas podem ser associadas por meio de conectivos lógicos. Neste
caso, podemos afirmar que, dadas as sentenças abertas A(X) e B(X), o condicional
A(X)→B(X):
A resposta correta é a opção A
Justificativa:
Gabarito: A Comentário: Nas sentenças abertas, A(X)→B(X) e
∼A(X)∨B(X) são equivalentes (unidade 38, seção 38.7).
A equivale à ∼A(X)∨B(X).
B equivale à A(X)∨∼B(X).
C apenas implica em ∼A(X)∨B(X).
D apenas implica em A(X)∨∼B(X).
Questão 10 :
Em termos de proposição lógica, assunto que você estudou na unidade 26, podemos
afirmar que as proposições ∼(P→Q) e (P∧∼Q):
A resposta correta é a opção D
Justificativa:
Gabarito: D Comentário: As proposições são equivalentes. A
equivalência é denominada Lei da Negação do Condicional. A unidade
26 apresenta a tabela-verdade que verifica a equivalência a partir do
bicondicional entre as proposições ∼(P→Q) e (P∧∼Q), que é
conhecida como a Lei da Negação do condicional.
A Não são equivalentes.
B A primeira implica na segunda, mas não há implicação em contrário.
C Há apenas a implicação em um dos sentidos.
D São equivalentes.