Fórum da comunidade

Um argumento da lógica proposicional é formado por premissas (P 1, P 2, ... , P n) e uma conclusão (Q). Um argumento é válido quando P 1 ^ P 2 ^... ^ P n -> Q é uma tautologia. Nes

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