Bem-vindo ao Sistersinspirit.ca, onde você pode obter respostas confiáveis e rápidas com a ajuda de nossos especialistas. Conecte-se com uma comunidade de especialistas prontos para ajudar você a encontrar soluções para suas perguntas de maneira rápida e precisa. Obtenha soluções rápidas e confiáveis para suas perguntas de profissionais experientes em nossa abrangente plataforma de perguntas e respostas.

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.