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

Respostas

respondido por: sanw

Resposta:

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.

Explicação:

davigraneiro: 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

davigraneiro: i. Linha 2 e 3, Adição

ii. Linha 4, Associativa

iii. Linha 5, modus ponens

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

i. Linha 2 e 3, Adição

ii. Linha 4, lei de De Morgan

iii. Linhas 1 e 5, modus tollens

i. Linha 2 e 3, lei de De Morgan

ii. Linha 4, regras modus ponens

iii. Linha 1 e 5, modus tollens

davigraneiro: aguem sabe essa questão??

gilmarfernandosilva: estou procurando essa ae tbm e nao acho

Perguntas similares

Português

4 anos atrás

o que é uma paroquia

História

4 anos atrás

o que levou Constantinopla a se tornar um grande centro econômico

Artes

4 anos atrás

resumo sobre concepções e valores da arte