Fórum da comunidade

A partir das premissas A → ¬B e B ∧ C, quais regras inferenciais permitem concluir C ∨ A?

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