Qual é a regra de inferência que, a partir de \(p\to q\), \(r\to s\) e \(p\lor r\), permite concluir \(q\lor s\)?

Dilema construtivo, que permite inferir \(q\lor s\) de \(p\to q\), \(r\to s\) e \(p\lor r\).

De forma simbólica, a partir de \(p\to q\), \(r\to s\) e \(p\lor r\), segue-se \(q\lor s\), pois ou \(p\) é verdadeiro e então \(q\) é verdadeiro, ou \(r\) é verdadeiro e então \(s\) é verdadeiro.

Exemplo:
\(R\) = reviso, \(A\) = aprovo, \(P\) = pratico, \(M\) = melhoro
\(R\to A\), \(P\to M\), \(R\lor P\) portanto \(A\lor M\).
Em palavras, se reviso então aprovo, se pratico então melhoro, e reviso ou pratico, logo aprovo ou melhoro.