Fórum da comunidade

Se valem \(A \subseteq B\) e \( \exists x\,(C x \land \neg B x)\), podemos concluir \( \forall x\,(C x \to \neg B x)\)?

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