Uma das maneiras de provar que um argumento é verdadeiro em Lógica é o Cálculo de Predicados. Nele, utilizando regras lógicas, partimos do antecedente para aferir o precedente. Sendo assim, na passagem da demonstração a seguir, a regra lógica utilizada foi:
Esse e outros conteúdos desbloqueados
16 milhões de materiais de várias disciplinas
Impressão de materiais
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar