Question

Assinale a alternativa que contém a representação em lógica proposicional da sentença abaixo:

“Se José concluir o projeto, então ele é promovido. Mas José não foi promovido. Portanto, José não concluiu o projeto.”

Considere:

A: José conclui o projeto. B: José é promovido.

((A∨B)∧B’)→A’
(A→B)∧(B’→A’)
((B→A)∧B’)→A’
(A→(B∧B’→A’)
((A→B)∧B’)→A’


Assinale a alternativa que contém a representação em lógica proposicional da sentença abaixo:



As geleiras serão preservadas, se o aquecimento global for levado a sério. Ou o aquecimento global será levado a sério, ou a temperatura global aumentará. Portanto, o aumento da temperatura global levará a não preservação das geleiras.



Considere A: geleiras são preservadas. B: Aquecimento global é levado a sério C: A temperatura global aumentará.

(A→B)∧(A∨C)→(A→C)
(B→A)∧(A∨C)→C
(B→A)∧(A∨C)→(C→A)
(A→B)∧(A∧C)→(C→A)
(A→B)∧(A∨C)→(C→A)


Assinale a alternativa que contém as justificativas para cada passo com i, ii, iii e iv indicado na demonstração abaixo.



R′ ∧ [S’ ∨ (R ∨ T )] ∧ S → T
R’
[S’ ∨ (R ∨ T )]
S
S→(R ∨ T ) i
(R ∨ T ) ii
R’→T iii
T iv

i. Linha 2, lei de De Morgan
ii. Linha 3 e 4, regras modus ponens
iii. Linha 5, equivalência condicional
iv. Linha 1 e 6, regra modus tollens.


i. Linha 2, equivalência condicional
ii. Linha 3 e 4, regras modus tollens
iii. Linha 5, lei de De Morgan
iv. Linha 1 e 6, regra modus ponens.


i. Linha 2 e 3, Adição
ii. Linha 3 e 4, regras modus ponens
iii. Linha 5, equivalência condicional
iv. Linha 1 e 6, regra modus ponens.


i. Linha 2, Adição
ii. Linha 3 e 4, regras modus ponens
iii. Linha 5, equivalência condicional
iv. Linha 1 e 6, regra modus tollens.




i. Linha 2, equivalência condicional
ii. Linha 3 e 4, regras modus ponens
iii. Linha 5, equivalência condicional
iv. Linha 1 e 6, regra modus ponens.



Assinale a alternativa que contém as justificativas para cada passo com i, ii e iii indicado na demonstração abaixo.

[R → (S ∨ T)] ∧ S′ ∧ T′ → R′

[R → (S ∨ T)]
S’
T’
S’ ∧ T’ i
(S ∨ T )’ ii
R’ iii

i. Linha 2 e 3, lei de De Morgan
ii. Linha 4, regras modus ponens
iii. Linha 1 e 5, modus tollens


i. Linha 2 e 3, Adição
ii. Linha 4, Associativa
iii. Linha 5, modus ponens


i. Linha 2 e 3, Adição
ii. Linha 4, lei de De Morgan
iii. Linhas 1 e 5, modus tollens

i. Linha 2, Adição
ii. Linha 4, lei de De Morgan
iii. Linha 5, regra modus tollens.

i. Linha 2 e 3, regra conjunção
ii. Linha 4, lei de De Morgan
iii. Linhas 1 e 5, modus tollens



Considerando o conjunto universo como sendo o conjunto dos números inteiros, determine o valor lógico de cada uma das fbfs abaixo e assinale a alternativa correta.

i.(∃y)(∀x)(x - y = 0)

ii.(∃y)(∃x)(x > y ∧ y > x)

iii.(∀x)[x 10 ∧ x - y < 0)]

Apenas ii é verdadeira.
Apenas i e iii são verdadeiras.
Apenas i e ii são verdadeiras.
Apenas i é verdadeira.
Apenas iii é verdadeira.


Assinale a alternativa que contém a representação em lógica de predicados para a proposição abaixo:

Todo mundo que tem carro tem multas. Alguém tem carro e moto. Todo mundo que não tem veículos não tem moto. Portanto, alguém tem veículo e multas.



Considere: C(x): x tem carro, T(x): x tem multa, M(x): x tem moto, V(x): x tem veículo.


(∀x)[C(x) → T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(V(x)′ → M(x)′)→ (∃x)[V(x)∧T(x)]
(∀x)[C(x)∧ T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(M(x)′ → V(x)′)→ (∀x)[V(x)∧T(x)]
(∀x)[C(x) ∧T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(V(x)′ → M(x)′)→ (∀x)[V(x)∧T(x)]
(∀x)[C(x) ∧T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(M(x)′ → V(x)′)→ (∃x)[V(x)∧T(x)]
(∀x)[T(x) → C(x)]∧(∃x)[C(x)∧M(x)]∧ (∃x)(V(x)′ → M(x)′)→ (∃x)[V(x)∧T(x)]

Answer 1

Resposta:

Eu já fiz de algoritmos 10/10, vc precisa? to na Web ainda, tirei 04/10 e olha que fiz conforme muita pesquisa, essa aqui eu ainda não fiz.

Explicação: