Lógica, perguntado por josevandemelosilva, 7 meses atrás

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


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 interessantes