Que regra inferencial permite concluir \(s\) a partir das premissas \(p\to q\), \(r\to s\) e \(q\land r\)?

Eliminação da conjunção + modus ponens.

Da premissa \(q\land r\) obtém-se \(r\) (eliminação da conjunção).
De \(r\) e \(r\to s\) obtém-se \(s\) (modus ponens).

Exemplo:
Premissas práticas:
\(p\to q\): Se há fumaça, o alarme soa.
\(r\to s\): Se o sensor lateral é ativado, os sprinklers ligam.
\(q\land r\): O alarme está soando e o sensor lateral foi ativado.

Inferência em passos:
1. \(q\land r\) (premissa)
2. \(r\) (da 1, eliminação da conjunção)
3. \(r\to s\) (premissa)
4. \(s\) (de 2 e 3, modus ponens) — logo, os sprinklers ligam.