Now showing items 1-5 of 5

    • Condicional 

      Vargas Sánchez, Nelson (Facultad de Matemáticas e IngenieríasIngeniería de SistemasColombia, 2009-11-30)
      This educational statement speaks of the conditional structure as that used to tell the computer to evaluate a condition and, based on the result, execute the corresponding instruction block. The most common form is composed ...
    • 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 ...
    • 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 ...