Em relação à lógica proposicional, temos os seguintes argumentos: Hipótese 1: p ^ s → q ^ r Hipótese 2: q ^ r → w ^ s Conclusão: p ^ s → w ^ s Escolha a opção correta sobre o nome desse argumento.

Queremos identificar a forma do argumento:

• Hipótese 1: $p \land s \to q \land r$
• Hipótese 2: $q \land r \to w \land s$
• Conclusão: $p \land s \to w \land s$

Note que as duas hipóteses têm exatamente o encadeamento do tipo:

1. $A \to B$
2. $B \to C$ $\Rightarrow$ portanto, $A \to C$

Basta fazer a correspondência:

• $A = (p \land s)$
• $B = (q \land r)$
• $C = (w \land s)$

Assim, de $(p \land s \to q \land r)$ e $(q \land r \to w \land s)$ concluímos $(p \land s \to w \land s)$, que é exatamente a regra do Silogismo Hipotético.

Portanto, o nome do argumento é Silogismo hipotético.