Fórum da comunidade

Dadas as premissas \(Y\to X\) e \(Z\to(Y\land\neg X)\), como se deduz \(\neg Z\) e por que então \(Y\to\neg Z\) é válido?

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