LOGICA SIMBOLICA

G.W. LEINIZ: "Logica como calculo"
AUGUSTO MORGAN: "Logica formal"
GEORGE BOOLE: conocido como "Fundador de la Logica Humana"
1. Libros: -"El analisis matematico" 1847 -"La Conceptografia" 1879
caracteristicas
1. LOGICA COMO CALCULO
  1. Regla de operaciones: FORMA DE LOS SIGNOS
2. SISTEMA FORMAL
  1. Interpretado en LENGUAJE ORDINARIO
3. LEYES EN LENGUAJE ARTIFICIAL
  1. Simbolos similares a los Matematicos
Representantes
objetivo
1. ESTUDIO DEL RAZONAMIENTO
  1. VALIDOS
  2. NO VALIDOS
demostrada
1. TABLAS DE LA VERDAD
  1. Valores de la verdad
    1. FALSO
    2. VERDADERO
proporciona
1. METODOS
  1. CONDICIONAL ASOCIADO
    1. -Taulogias
  2. FORMAL
    1. -Reglas de indiferencia -Leyes de equivalencia
conocida tambien como:
1. LOGICA MATEMATICA
  1. LOGICA CUANTIFICACIONAL
    1. Analiza la estructura de los enunciados
      1. ENUNCIADOS GENERALES Y/O SINGULARES
        SIMPLES
        No hay conectivos
        COMPUESTOS
        Tienen 1 o mas conectivos
  2. LOGICA PROPOSICIONAL
    1. SIMBOLOS
      1. CONECTIVOS
    2. ENUNCIADOS
    3. PROPOSICIONES
      1. Expresiones que califican como Verdadero o Falso.
2. LOGICA MODERNA
  1. SIGLO XIX
3. CALCULO
  1. Operaciones realizadas por un grupo de signos
JHONNY STIFEN FRANCO QUIÑONES, Tecnologia en Radiolgia e Imagenes Diagnosticas - UNAD - PENSAMIENTO LOGICO Y MATEMATICO - 200611_459 http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=11046000&tm=1489704594878

Resource summary

	Created by Jhonny Franco almost 7 years ago