La lógica proposicional es una parte de la lógica clásica que estudia las variables proposicionales, sus posibles implicaciones, los valores de verdad de las proposiciones o de conjuntos de ellas formadas a partir de los ...

Objetivos: El objetivo de la tesis es Construir un modelo categórico para interpretar a la lógica bivalente. Materiales y métodos: Se utilizó la búsqueda de bibliografía relacionada con las categorías y la lógica ...