25/04/2018 Avaliação Online - SGE ESAB

ESAB
campus on-linesala de aula
rafaeldemelomourao@msn.com
• sair
201801310181 - Lógica para Computação

Conteúdo
Unidades
Bibliografia
Glossário
Download
Apoio Pedagógico
Fórum
Dúvidas ao Professor
Avaliações
Avaliação Online
Tarefas Disserta vas
Informações
Meus Colegas
Meus Tutores
Biblioteca
Consulta ao Acervo
Situação
Links Interessantes
Biblioteca Virtual

Sala de Aula • Início

Avaliação Online
A- A A+ P/B Colorido
Questão 1 :
Como você estudou na unidade 7, uma sentença aberta configura-se na lógica como expressão cujo valor lógico não se estabelece a menos que a variável
nela con da assuma um determinado valor. Considere a sentença “X é torcedor do me A”. Assinale a alterna va correta.
Acertou! A resposta correta é a opção D
Jus fica va: Gabarito: D Comentário: Como vimos na unidade 7, as sentenças abertas assumem valor lógico verdadeiro ou falso
quando a variável assume determinado valor de um conjunto ao qual chamamos domínio. Para a sentença “Se X for o torcedor João
do me A”, pertencente ao domínio, então é verdadeira. Caso contrário, é falsa.
A Seu valor lógico é sempre verdadeiro.
B Seu valor lógico é sempre falso.
C Não é possível definir valor lógico, independentemente da circunstância.
É possível definir valor lógico para a sentença quando a variável assume determinado valor pertencente ao domínio
D
estabelecido.
Questão 2 :
Se P e Q são ambas proposições verdadeiras, então qual o valor lógico de (P→∼Q)↔(Q→~P)? Assinale a alterna va correta.

Acertou! A resposta correta é a opção A

Jus fica va: Gabarito: A
A Verdade.
B Falsidade.
C Nem verdade nem falsidade.
D Nenhuma das alterna vas está correta.
Questão 3 :
Em relação ao estudo da negação em proposições, considere a proposição “É falso que o verão está chuvoso ou o inverno será rigoroso”. Assinale a
alterna va que mostra a negação dessa proposição em linguagem corrente.
Acertou! A resposta correta é a opção A
Jus fica va: Gabarito: A Comentário: Representando “O verão está chuvoso” por P e “O inverno será rigoroso” por Q, temos,
simbolicamente, ~(P∨Q): “É falso que o verão está chuvoso ou o inverno será rigoroso”. Ao negar a sentença, temos ∼[~(P∨Q)], ou
seja, “É falso afirmar que é falso que o verão está chuvoso ou o inverno será rigoroso”. Como negar a negação nos leva à própria
afirmação, temos que o verão está chuvoso ou o inverno será rigoroso (unidade 10).
A O verão está chuvoso ou o inverno será rigoroso.
B O verão não está chuvoso ou o inverno será rigoroso.
C O verão não está chuvoso e o inverno não será rigoroso.
D O verão está chuvoso e o inverno não será rigoroso.

https://sge.esab.edu.br/aluno/saladeaula/avaliacaoonline/234153 1/3
25/04/2018 Avaliação Online - SGE ESAB

Questão 4 :
As implicações lógicas são, em certa medida, consideradas regras de inferência e cons tuem ferramenta importante na validação de argumentos por
dedução. Uma das implicações importantes é a adição da disjunção. Assinaele a alterna va que representa simbolicamente a aplicação da adição da
conjunção.

Acertou! A resposta correta é a opção A

Jus fica va: Gabarito: A Comentário: A unidade 24 apresentou algumas inferências “clássicas”, entre elas, P⇒P∧Q.
A P⇒P∧Q
B P∧Q⇒P
C P∧Q⇒Q
D Q⇒~Q
Questão 5 :
Vimos que a equivalência lógica obedece, como relação, a algumas propriedades específicas. Assinale a alterna va que expressa propriedades
estabelecidas pela definição de equivalência lógica.

Acertou! A resposta correta é a opção D

Jus fica va: Gabarito: D Comentário: A equivalência lógica sa sfaz as propriedades reflexiva, simétrica e transi va (unidade 23):
reflexiva: P⇔P; simétrica: P⇔Q então Q⇔P; transi va: P⇔Q e Q⇔R, então P⇔R.
A Reflexiva e simétrica.
B Reflexiva e transi va.
C Simétrica e transi va.
D Reflexiva, simétrica e transi va.
Questão 6 :
Os enunciados podem ser classificados em tautológicos, contraditórios ou con ngenciais, como vimos na unidade 16. Considerando essa perspec va,
para P e Q proposições simples, marque a alterna va que classifica corretamente a composição P→(Q→P).

Acertou! A resposta correta é a opção A

Jus fica va: Gabarito: A Comentário: Se a proposição for verdadeira, independentemente do valor lógico das proposições simples
envolvidas, temos uma tautologia (unidade 17).
A P→(Q→P) é Tautológica.
B P→(Q→P) é Con ngencial.
C P→(Q→P) é Contradição.
D Nenhuma das alterna vas está correta.
Questão 7 :
Vimos que a regra Modus Ponens do Cálculo Proposicional relaciona, por equivalência, conjunção, disjunção e negação. No contexto dos quan ficadores,
a regra Modus Ponens envolve condicional. Assinale a alterna va correta que indica a formulação da regra Modus Ponens no cálculo de predicados.

Acertou! A resposta correta é a opção A

Jus fica va: Gabarito: A Comentário: De acordo com a apresentação da regra Modus Ponens (unidade 48) envolvendo sentenças
quan ficadas, a expressão é (P,P→Q)⊢P, onde o símbolo de dedu bilidade ⊢ nos mostra que a conclusão é deduzida das premissas.
A (P,P→Q)⊢P
B (P,P→Q)⇒Q
C (P,P→Q)⇔P∨Q
D (P,P→Q)→P∧Q
Questão 8 :
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):
Acertou! A resposta correta é a opção D
Jus fica va:
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 par r 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 sen dos.
D São equivalentes.
Questão 9 :
As sentenças lógicas podem ser formuladas de formas diversas, mantendo-se, no entanto, o mesmo significado lógico. Pelas unidades 9 a 13, avalie
formulações alterna vas para “Se há estoque, então a linha de montagem está apta ao trabalho”. Marque a alterna va que apresenta uma formulação
alterna va para essa sentença.

https://sge.esab.edu.br/aluno/saladeaula/avaliacaoonline/234153 2/3
25/04/2018 Avaliação Online - SGE ESAB

Acertou! A resposta correta é a opção A

Jus fica va: Gabarito: A Comentário: A condição necessária é uma alterna va de formulação para o condicional. Se isto, então aquilo.
Condição necessária e suficiente indica bicondicional. Algumas formas de apresentação do condicional são expressas nas unidades
13 e 14.
A Haver estoque é condição necessária para a linha de montagem trabalhar.
B Haver estoque é condição necessária e suficiente para a linha de montagem trabalhar.
C Há estoque ou a linha de montagem está apta ao trabalho.
D Há estoque e a linha de montagem está apta ao trabalho.
Questão 10 :
Com base nos seus conhecimentos sobre como estabelecer o valor lógico do bicondicional e considerando a tabela-verdade dos conec vos lógicos,
assinale a alterna va correta em relação à sentença “2+2=3⟷2+2=4".
Acertou! A resposta correta é a opção A
Jus fica va: Gabarito: A Comentário: Conforme a tabela-verdade do bicondicional (unidade 14), somente é possível encontrar
verdade se as proposições simples têm o mesmo valor lógico: ambas são simultaneamente verdadeiras ou simultaneamente falsas.
Como 2+2=3 é falsa e 2+2=4 é verdadeira, o bicondicional entre elas é falso. Observe a tabela-verdade do bicondicional – terceira
linha.
A É falsa.
B É verdadeira.
C Não é falsa e nem verdadeira.
D É uma sentença aberta e não é possível determinar seu valor lógico.
Tempo Gasto

00:03:56

Maior pontuação:
2.5

Pontuação:
2.5
Refazer Avaliação

https://sge.esab.edu.br/aluno/saladeaula/avaliacaoonline/234153 3/3