Matemática computacionalAs Tabelas-Verdade fornecem um teste rigoroso e completo para a validade ou invalidade de formas de argumento da Logica Proposicional, alem de se constituir em um algoritmo. Quando existe um algoritmo que determina se as formas de argumento expressaveis num sistema formal sao validos ou n~ao, esse sistema e dito decidvel. Desta forma, eles […]
