Question

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, Adição

ii. Linha 4, lei de De Morgan

iii. Linhas 1 e 5, 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, Adição

ii. Linha 4, lei de De Morgan

iii. Linha 5, regra modus tollens.


i. Linha 2 e 3, Adição

ii. Linha 4, Associativa

iii. Linha 5, modus ponens


i. Linha 2 e 3, lei de De Morgan

ii. Linha 4, regras modus ponens

iii. Linha 1 e 5, modus tollens

Answer 1

Resposta:

desculpa mais eu não sei