No cálculo proposicional (matemática discreta/lógica matemática), para provar a conclusão de um argumento, é obrigatório efetuar as operações de implicações lógicas e equivalências lógicas com todas as premissas de um argumento?
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar