A alternativa correta é a letra E) Corretude, completude e tratabilidade. Essas são as três qualidades intrínsecas dos argumentos válidos na lógica proposicional. A corretude se refere à validade lógica do argumento, a completude se refere à capacidade de expressar todas as possibilidades relevantes e a tratabilidade se refere à possibilidade de manipulação e análise do argumento.
Para escrever sua resposta aqui, entre ou crie uma conta
Fundamentos Matemáticos da Informática
Compartilhar