Creado por Sergio Roberto
hace casi 4 años
|
||
É a parte da Lógica Matemática que estuda a validade de argumentos apresentados em uma linguagem própria, a linguagem proposicional.
Estabelece símbolos, regras de formação e regras de dedução de validade.
Consiste na valoração das fórmulas com atribuição da propriedade de verdadeiro ou falso.