Descrip.
MATERIAL INSTRUCCIONAL
CALCULO PROPOSICIONAL
Belkys López de Lameda
El presente modulo está proyectado para que sirva como guía en la asignatura Estructuras Discretas I, que se dicta en la carrera Ingeniería Informática del Decanato de Ciencias y Tecnología de la Universidad Centroccidental "Lisandro Alvarado" y por ende fue redactado con el objeto de: Proporcionar los fundamentos necesarios en el entendimiento de la lógica bivalente, tema de gran importancia en la modelación del lenguaje. Servir de base para la comprensión de los temas subsiguientes en esta misma asignatura y como también para otras asignaturas en su carrera como lo son: álgebra, Estructuras Discretas II y otras en el área de la Informática. Modelar el lenguaje cotidiano - vulgar a través de símbolos y significados, utilizando la lógica Aristotélica. Es así como el modulo está conformado de los siguientes subpartes:
Equivalencia Lógica
Implicación Lógica
Circuitos Lógicos
Otras demostraciones de equivalencia lógica
Inferencia Lógica
Dejo expresión de mi profundo agradecimiento a todas aquellas personas que contribuyeron a la realización y publicación de este módulo.
|