Fórum da comunidade

De \( \forall x\,(P(x)\to Q(x)) \) e \( \forall x\,(R(x)\to \neg Q(x)) \), como inferir \( \forall x\,(P(x)\to \neg R(x)) \)?

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