Lógica proposicional y de predicados con soporte en tecnologías

Abstract

The mathematics career at Escuela Superior Politécnica de Chimborazo (ESPOCH) lacks a referential document addressing propositional and predicate logic with the support of technological tools. Moreover, most students lack the skills and prior knowledge necessary to attend a course of logic, as well as an absence of knowledge regarding the functions that technological tools contribute to academic study. Therefore, the objective of this research was to develop a reference document that covers the fundamental aspects of propositional and predicate logic, supported by technological tools. The implemented methodology adopted a qualitative approach focused on reviewing and collecting information related to Mathematical Logic. It had a descriptive scope, aiming to organize and precisely describe the essential aspects of logic (propositional and predicate) supported by technological tools. Finally, a documentary design was used to analyze different logic approaches through the selective, systematic, and rigorous search of documentary sources such as: books, records, among others. As a result, the essential foundations of Mathematical Logic were obtained alongside various available technological tools, in order to write the referential document covering the fundamental aspects of propositional and predicate logic, supported by technological tools.This resource plays an essential role as a support to mathematics students at ESPOCH, contributing to strengthen the theoretical foundations in basic logic. Simultaneously, it allows understanding the benefits of incorporating technological tools, such as reducing the time required to calculate truth tables and making accurate calculations in this area. Additionally, it aids in solving exercises related to predicate logic