• Algebra Booleana Y Mapas De Karnaugh 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      To begin with it is important to clarify that its name is in honor of George Boole who was the one who defined it, basically it is an algebraic structure that rigorously logical operations. The Karnaugh map is a diagram ...
    • Arboles De Verdad - Demostraciones 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      Through this technique it is possible to demonstrate the concepts of tautology, contradiction, and contingency, just as true trees are based on semantic rules and allow the correct decomposition of trees.
    • Demostración De Argumentos 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      Consiste en el uso de reglas de inferencia y equivalencia para demostrar la validez de argumentos, en lógica de proposiciones y en lógica de predicados. Es un razonamiento que es fundamentado en la veracidad o falsedad de ...
    • Diseño De Circuitos Lógicos Mediante Mapas De Karnaugh 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      Aquí se desarrolla el tema plenamente de los mapas de Karnaugh mediante ejemplos prácticos que dan el paso a paso que se debe seguir durante el desarrollo de los mismos, dejando muy claros todos los pasos de aplicación y ...
    • Introducción A La Lógica De Primer Orden 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      Es un sistema formal que ha sido diseñado con el fin de estudiar la inferencia de lenguajes formales, dichos lenguajes están compuestos de operadores cuantificadores, constantes individuales y constantes de propiedad.
    • Introducción A La Lógica Matematica 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      Mathematical logic is responsible for the mathematical study of logic. It questions the concepts rules of deduction used in mathematics. Mathematical logic is divided into four fields: model theory, demonstration theory, ...
    • Reglas De Equivalencia E Inferencia Para La Demostración De Argumentos 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      Inference is the way in which conclusions are drawn from established data and statements, and inference rules are universally correct reasoning methods.
    • Tablas De Verdad - Demostracion De Tautologia, Contradicion Y Contingencia 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      Las tablas de verdad son una herramienta que nos permiten obtener conclusiones mediante la evaluación de todas las posibles interpretaciones de una proposición específica. Para tal fin no es necesario conocer los valores ...
    • Tablas De Verdad - Equivalencia Semántica -Validez De Argumentos 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      Si dos proposiciones presentan os mismos valores de verdad para cualquier interpretación que se realice se puede decir que son semánticamente equivalentes. Precisamente para saber si dos proposiciones son semánticamente ...
    • Tablas Rápidas De Verdad - Demostraciones 

      Velosa Suan, Angélica (Facultad de Matemáticas e IngenieríasMatemáticasColombia, 2010-12-30)
      It is the technique by which it is possible to demonstrate the concepts of tautology, contradiction, contingency, semantic equivalence and validity of arguments. With respect to tautology given a proposition, one must try ...