Sendo assim, considere as seguintes proposições: p ˄ s → r; ⁓(q ˄ ⁓p); s; q → r. Organize na forma do argumento e assinale a alternativa correta:

Queremos apenas organizar as proposições dadas na forma de argumento (premissas P1, P2, P3 e conclusão C), sem alterar seu conteúdo.

Proposições fornecidas no enunciado:

1. $p \wedge s \to r$
2. $\neg(q \wedge \neg p)$
3. $s$
4. $q \to r$

Forma do argumento:

• P1: $p \wedge s \to r$
• P2: $\neg(q \wedge \neg p)$
• P3: $s$
• C: $\therefore\ q \to r$

Comparando com as alternativas:

• A alternativa (c) é a única que reproduz exatamente as três premissas ($p \wedge s \to r$, $\neg(q \wedge \neg p)$, $s$) e coloca como conclusão $q \to r$.

Alternativa correta: (c).