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.