LÓGICA SIMBÓLICA

LÓGICA SIMBÓLICA

1. Es la disciplina que se ocupa del estudio de:

   • -Los razonamiento -Las deducciones -Las inferencias

2. Las proposiciones

   • Oraciones declarativas del lenguaje español
     • Afirmación de la que se puede decir si es verdadera o falsa
   • Se pueden combinar para obtener otras
     • Conectivos lógicos
       • TABLAS DE VERDAD
         • Tautología: Algunas formulas que tienen la propiedad de recibir solo el valor V
         • Contradicción: Formulas que reciben F en cada una de las filas de su tabla de verdad
       • -Negacion ("No") -Disyuncion ("o") -Conjuncion ("y") -Condicional ("si,entonces") -Bicondicional ("Si,y solo si")
     • Mediante
   • Proposiciones Simples
     • Proposiciones Compuestas
       • Proposición Condicional
         • Si P, entonces Q
           • P se llama antecedente Q se llama consecuente
       • Proposición con algún conectivo
       • Su valor de verdad depende exclusivamente de los valores de verdad de las proposiciones simples que aparezcan en ella
     • Proposición sin ningún conectivo
   • Corresponde a:
   • Pueden ser: