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, 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, 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



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, lei de De Morgan


iii. Linhas 1 e 5, modus tollens

Answer 1

Resposta:

num sei desculpa ai

Explicação:

hmm