Material Estudio 1 Metodologia Programacion TRIME UNO 2015


Introducción…………………………………………………………………..pag 3.
Lógica proposicional………………………………………………………………..4
Que es el lenguaje formal…………………………………………………….………4
Los argumentos e inferencias…………………………………………………..…….5.
Identificación de argumentos…………………………………………………………6
Los enunciados o proposiciones lógicas……………………………………………..7
Verdad, validez y solidez…………………………………………………………….8
Alfabeto del lenguaje formal en lalógica proposicional……………………………..9
Las reglas de formación de formulas………………………………………………9-10
Variables lógicas……………………………………………………………………..11
Limites de la lógica proposicional……………………………………………………12
La lógica proposicional y la computación…………………………………………….13
Aristóteles y el estudio de la lógica………………………………………………….13
Demostración de cómo analizar lógicamente cada enunciado molecular……………13-29Negación de enunciados………………
La conjunción………………..………..
Propiedades de la conjunción…………
La disyunción………………………….
Propiedades de la disyunción………….
El condicional (complicación)…………
Propiedades de la implicación………….
El bicondicional o ( coimplicador)……
Las tablas de verdad……………………………………………………………………30-43
Conectivas dominantes y orden de prioridad de los enunciados moleculares
Construcción de tablasde verdad (demostración uno)…..….
Construcción de tablas de verdad (demostración dos)…..….
Leyes de Morgan.
Primera ley de Morgan….
Segunda ley de Morgan…..
Concepto de tautologías….
Contradicciones…
Lógica binaria……………………………………………………………………………43-45
Principio de dualidad
Tablas de verdad de las operaciones binarias fundamentales
Multiplicación lógica o intersección
Suma lógica o uniónNegación lógica
Operaciones lógicas compuestas
Axiomas
Sistema binario…………………………………………………………………………………………………………………………46-55


Historia del sistema binario………………………………………………………….
Aplicaciones
Representación
Conversión entre binario y decimal ………………………………………………
Decimal a binario
Decimal (con decimales) a binario
Bicúbico a decimal
Binario a decimal (con decimal binario)
Conversión entrebinario y octal…………………………………………………….
Binario a octal
Octal a binario
Conversión entre binario y hexadecimal……………………………………………
Binario a hexadecimal
Hexadecimal a binario
Tabla de conversión entre decimal, binario, hexadecimal, octal, BCD, Exceso 3 y Código Gray o Reflejado.
Operaciones con números binarios …………………………………………………..56-59
Suma de números binarios
Resta de números binariosProducto de números binarios
División de números binarios
Sistemas de numeración…………………………………………………………………….59-63
Ejemplos
Clasificación …………………………………………………………………………
Sistemas de numeración no posicionales
Sistemas de numeración semi posicionales
Sistemas de numeración posicionales
Teorema Fundamental de la Numeración…………………………………………..
Ejemplo en el sistema decimal
Ejemplo en elsistema binario
Sistema de numeración octal
Sistema de numeración hexadecimal
Operaciones con sistemas de numeración hexadecimal ……………………………64-68
Resta binaria
Multiplicación binaria
División binaria
Glosario ……………….….………………………………………………………………………………………………….68-69-Bibliografía…………………………………………………………………………………………………………………...70

Introducción.
¿De qué trata la lógica?

Las personasconstantemente tomamos decisiones acerca de lo que creemos que es verdadero en distintos aspectos de nuestras vidas. Aunque todo el mundo está de acuerdo en preferir creer lo que es verdad, con frecuencia discrepamos sobre lo que es verdadero en casos particulares. Si bien muchas de nuestras convicciones fundamentales sobre el mundo que nos rodea las adquirimos de cualquier manera en lugar de mediante el usode la razón, todos reconocemos que nuestras creencias sobre el mundo y los hechos que acaecen en el mismo mundo están de algún modo ligadas.
Por ejemplo, si yo creo que todos los perros son mamíferos y que todos los mamíferos son seres racionales, entonces tendría sentido para mí suponer que todos los perros son seres racionales. En este caso, incluso quien (acertadamente) discrepara con mi...