Fórum da comunidade

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

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