Use as regras de inferencia para mostrar que os seguintes argumentos são válidos
1) ∼ p ∨ q, ∼ p → ∼ r, ∼ s ∨ t → r ⊦ ∼ s → q;
2) (∼ p ∨ q) ∨ r, (∼ s → t) → ∼ r, s ∨ (t ∧ u) ⊦ p → q.
Soluções para a tarefa
Respondido por
0
Não tem explicação na pergunta
Perguntas interessantes
Informática,
4 meses atrás
Matemática,
4 meses atrás
Física,
4 meses atrás
Biologia,
5 meses atrás
Administração,
5 meses atrás
Administração,
10 meses atrás
Matemática,
10 meses atrás