Logo Passei Direto
Buscar

Lógica

Outros
A condicional associada ao argumento p → q, r → s, ~q ∨ ~s ⊢ ~ p ∨ ~r (DD) é:

a. (p → q) ∨ (r → s) ∨ (p ∨ r) → q ∨ s
b. (p → q) ∨ (r → s) ∨ (p ∨ r) ↔ q ∨ s
c. (p → q) ∨ (r → s) ∧ (p ∨ r) → q ∨ s
d. (p → q) ∧ (r → s) ∨ (p ∨ r) ↔ q ∨ s
e. (p → q) ∧ (r → s) ∧ (~q ∨ ~s) → (~p ∨ ~r)
User badge image
Desafios para Aprender

ano passado

Respostas

User badge image

Ed Verified user icon

ano passado

Para resolver essa questão, precisamos analisar a estrutura do argumento dado: \( p \to q, r \to s, \sim q \lor \sim s \vdash \sim p \lor \sim r \). A forma correta de expressar a relação entre as premissas e a conclusão deve refletir a lógica envolvida. Vamos analisar as alternativas: a. \((p \to q) \lor (r \to s) \lor (p \lor r) \to q \lor s\) - Essa opção não reflete a estrutura do argumento. b. \((p \to q) \lor (r \to s) \lor (p \lor r) \leftrightarrow q \lor s\) - Também não é a forma correta. c. \((p \to q) \lor (r \to s) \land (p \lor r) \to q \lor s\) - Mistura a conjunção e a disjunção de forma inadequada. d. \((p \to q) \land (r \to s) \lor (p \lor r) \leftrightarrow q \lor s\) - Novamente, não reflete a estrutura correta. e. \((p \to q) \land (r \to s) \land (\sim q \lor \sim s) \to (\sim p \lor \sim r)\) - Esta opção está correta, pois expressa a relação lógica entre as premissas e a conclusão. Portanto, a alternativa correta é: e. \((p \to q) \land (r \to s) \land (\sim q \lor \sim s) \to (\sim p \lor \sim r)\).

Essa resposta te ajudou?

0
Dislike0
left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar essa resposta. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

Mais perguntas desse material

Mais conteúdos dessa disciplina