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
Soluções para a tarefa
Respondido por
10
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:
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
Perguntas interessantes
Português,
6 meses atrás
Matemática,
6 meses atrás
Geografia,
6 meses atrás
Administração,
8 meses atrás
História,
8 meses atrás
História,
11 meses atrás
[R → (S ∨ T)] ∧ S′ ∧ T′ → R′
[R → (S ∨ T)]
S’
T’
S’ ∧ T’ i
(S ∨ T )’ ii
R’ iii