La lógica proposicional es una rama de la lógica clásica que estudia las proposiciones o sentencias lógicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad. Estudia los razonamientos deductivos de nuestro lenguaje, pero considerando las proposiciones como un todo.
No hay comentarios:
Publicar un comentario