Fórum da comunidade

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\)?

Leia as dúvidas, dicas e respostas da comunidade. Para escrever ou responder, entre na sua conta.