05/04/2020 Atividade avaliativa

Buscar cursos

Iniciado em domingo, 5 abr 2020, 22:15

Estado Finalizada
Concluída em domingo, 5 abr 2020, 23:22
Tempo empregado 1 hora 6 minutos
Notas 4,00/8,00
Avaliar 5,00 de um máximo de 10,00(50%)

Informação
A lógica proposicional intenta ser capaz de re etir o pensamento realizado por linguagem natural. Isso
signi ca que devemos ser capazes de traduzir um argumento expresso em linguagem natural em outro
expresso simbolicamente, como parte da lógica proposicional. Um argumento é constituído de uma ou
mais proposições básicas, chamadas premissas, e uma conclusão. O argumento é dito válido se a
veracidade das premissas implica necessariamente veracidade da conclusão. Nos itens a seguir,
apresentamos argumentos, marcamos as proposições com letras em negrito e solicitamos a você que
selecione a opção que apresenta a simbolização adequada. Nesse sentido, julgue os itens a seguir.

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 1/15
05/04/2020 Atividade avaliativa

Questão 1
(Dilema destrutivo):
Correto
Se eu Estudo, Passo em lógica e, se eu Trabalho, eu Ganho dinheiro;
Atingiu 1,00 de
1,00 Não Passo em lógica ou não Ganho dinheiro;
___________________________________________________
∴ Não Estudo ou não Trabalho.

Escolha uma:
a.
(E → P ) ∧ (T → G)

¬E ∨ ¬T

___________________________________________

∴ ¬E ∨ ¬T  

b.
(E → T ) ∧ (P → G)

¬T ∨ ¬G

___________________________________________

∴ ¬E ∨ ¬P  

c.
(P → E) ∧ (T → G)

¬E ∨ ¬G

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 2/15
05/04/2020 Atividade avaliativa

___________________________________________

∴ ¬P ∨ ¬T  

d.
(E → P ) ∧ (T → G)

¬T ∨ ¬G

___________________________________________

∴ ¬E ∨ ¬T  

e.
(E → P ) ∧ (T → G)

¬P ∨ ¬G

___________________________________________

∴ ¬E ∨ ¬T  

Sua resposta está correta.

A resposta correta é:
(E → P ) ∧ (T → G)

¬P ∨ ¬G

___________________________________________

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 3/15
05/04/2020 Atividade avaliativa

∴ ¬E ∨ ¬T  

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 4/15
05/04/2020 Atividade avaliativa

Questão 2
(Dilema construtivo)
Incorreto
Se eu Leio revistas de fofocas, Embruteço e, se leio Sartre, Cometo suicídio;
Atingiu 0,00 de
1,00 Leio revistas de fofocas ou leio Sartre;
----------------------------------------------------------------
∴ Embruteço ou Cometo suicídio.

Escolha uma:
a. (L → E) ∧ (S → C )

L ∧ S

-------------------------------------------------------------
∴ E ∨ C

b.
(L → E) ∧ (S → C )

L ∨ S

-------------------------------------------------------------
∴ E ∨ C

c. (L → ¬E) ∧ (¬S → C )

L ∨ ¬S

-------------------------------------------------------------

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 5/15
05/04/2020 Atividade avaliativa

∴ E ∨ C

d. (¬L → E) ∧ (¬S → C )

L ∨ S

-------------------------------------------------------------
∴ E ∨ C

e. (L ↔ E) ∧ (S ∨ C )

L ∨ S

-------------------------------------------------------------
∴ E ∨ C

Sua resposta está incorreta.

A resposta correta é:
(L → E) ∧ (S → C )

L ∨ S

-------------------------------------------------------------
∴ E ∨ C

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 6/15
05/04/2020 Atividade avaliativa

Questão 3
(Silogismo Disjuntivo)
Correto
Vou à Guerra ou Fujo para o meio do mato;
Atingiu 1,00 de
1,00 Não vou à Guerra;
___________________________________________
∴  Fujo para o meio do mato.

Escolha uma:
a.
¬G ∨ ¬F

___________________________________________

∴ ¬F

b.
F ∨ G

¬F

___________________________________________

∴ G

c.
¬G ∨ F

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 7/15
05/04/2020 Atividade avaliativa

___________________________________________

∴ ¬F

d.
G ∨ F

¬G

___________________________________________

∴ F

e.
G ∧ F

¬G

___________________________________________

∴ F

Sua resposta está correta.

A resposta correta é:
G ∨ F

¬G

___________________________________________

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 8/15
05/04/2020 Atividade avaliativa

∴ F

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 9/15
05/04/2020 Atividade avaliativa

Questão 4
(Silogismo Hipotético)
Correto
Se eu Estudo muito, não me Sobra tempo para ganhar dinheiro;
Atingiu 1,00 de
1,00 Se não me Sobrar tempo para ganhar dinheiro, terei de Viver com a mesada;
___________________________________________
∴ Se eu Estudo muito, terei de Viver com a mesada.

Escolha uma:
a.
E → ¬S

¬S → V

___________________________________________

∴ E → V

b.
V → ¬S

S → V

___________________________________________

∴ E → E

c.
E → ¬S

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 10/15
05/04/2020 Atividade avaliativa

¬S → V

___________________________________________

∴ E ↔ V

d.
E → ¬S

¬S → V

___________________________________________

∴ S → V

e.
E → S

S → V

___________________________________________

∴ E → V

Sua resposta está correta.

A resposta correta é:
E → ¬S

¬S → V

___________________________________________

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 11/15
05/04/2020 Atividade avaliativa

∴ E → V

Informação
Um argumento na lógica proposicional é constituído de um conjunto de proposições, chamadas
premissas, e uma conclusão. Para um argumento ser válido, da verdade das premissas, deve
necessariamente decorrer a verdade da conclusão. Assim, uma maneira de provar a validade de um
argumento, utilizando as tabelas verdade, é tomar, nessas tabelas, apenas as entradas em que as
premissas são todas verdadeiras e veri car que, nesses casos (em todos eles), a conclusão é verdadeira.
Nos exercícios a seguir, julgue a validez ou a invalidez dos argumentos.

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 12/15
05/04/2020 Atividade avaliativa

Questão 5
p → (b ∨ m)
Incorreto
b → (e ∧ f )
Atingiu 0,00 de
1,00 m → (a ∧ f )

_______________________________
∴ p → f

Escolha uma opção:

Verdadeiro

Falso

A resposta correta é 'Verdadeiro'.

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 13/15
05/04/2020 Atividade avaliativa

Questão 6
(v ∧ j) → (d → f )
Incorreto
(d → f ) → ¬j  
Atingiu 0,00 de
1,00 _____________________________________________________
∴ v → (¬j ∨ ¬d)

Escolha uma opção:

Verdadeiro

Falso

A resposta correta é 'Verdadeiro'.

Informação
Em lógica, dizemos que um conjunto de fórmulas é satisfazível se é possível que todas sejam
simultaneamente verdadeiras. Com base nessa de nição, julgue os itens a seguir.

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 14/15
05/04/2020 Atividade avaliativa

Questão 7 O conjunto de fórmulas {Q → S , P ∨ ¬(S ∧ P ), S } é satisfazível.

Correto
Atingiu 1,00 de Escolha uma opção:
1,00
Verdadeiro

Falso

A resposta correta é 'Verdadeiro'.

Questão 8 O conjunto de fórmulas {¬(¬Q ∨ P ), P ∨ ¬R, Q → ¬R} é satisfazível.

Incorreto
Atingiu 0,00 de Escolha uma opção:
1,00
Verdadeiro
Falso

A resposta correta é 'Verdadeiro'.

aprender2.unb.br/mod/quiz/review.php?attempt=9784&cmid=1614 15/15