Conectores Lógicos y Tablas de Verdad

Conectores Lógicos y Tablas de Verdad

1. LOGICA PROPOSCIONAL

   • ESTUDIA LOS RAZONAMIENTOS CONSIDERANDO CADA PROPOCISION COMO UNA UNIDAD SIMPLE
     • LAS PROPOSICIONES SE PUEDEN DEFINIR DE DOS MANERAS
       • SON EXPRESIONES QUE CONTIENEN AFIRACIONES ONEACIONES
       • SON EXPRESIONES QUE SE PUEDEN CALIFICAR COMO VERDADERAS O FALSAS
       • LOS CONECTIVOS SON LOS ENLACES ENTRE DOS ENUNCIADOS Y SE MUESTRAN DE LA SIGUIENTE MANERA
         • • LOS SIMBOLOS PARA ESTOS SON LOS SIGUIENTES
             • • JUNTO A ESTOS SIMBOLOS SE USAN SIGNOS DE AGRUPAMIENTOS QUE SON LOS PARENTECIS, CORCHETES Y LLAVES ((), [],{}).
                 • EL PARENTESIS SE USA PARA SEPARAR UN ENUNCIADO DE OTRO.EL CORCHETE SE UTILIZA PARA SEPARAR MIEMBROS DE UNA EXPRESION EN LA CUAL YA EXISTEN PARENTESIS Y LAS LLAVES SE UTILIZAN PARA SEPARAR MIEMBROS DE UNA EXPRESION EN LA CUAL YA HAY PARENTESIS Y CORCHETES.
                   • ALGUNOS EJEMPLOS PUEDEN SER:

2. TABLAS DE LA VERDAD

   • ES UN INSTRUMENTO PARA DEMOSTAR LA VALIDEZ DE LOS ARGUMENTOS QUE DICHA LOGICA MANEJA
     • EL VALOR DE LA VERDAD ES LA PROPIEDAD QUE TIENE CUALQUIER ENUNCIADO DE SER VERDADERO O FALSO, PERO NO AMBAS
       • TENEMOS SEIS TIPOS DE TABLAS DE VERDAD QUE SON:
         • CONJUNCION: SU SIMBOLO ES &. Y SOLO ES VERDADERA CUANDO SUS DOS ENUNCIADOS SON VERDADEROS, DE LO CONTRARIO SON FALSAS
           • • CONDICIONAL: CONSTA DE ANTECEDENTE Y CONSECUENTE Y SOLO ES VERDADERA CUANDO:
         • DISYUNCION EXCLUSIVA: SU SIMBOLO ES (V) Y ES VERDADERA CUANDO ES VARIATIVA, ES DECIR QUE UNO ES VERDADERO Y UNO FALSO
           • • BICONDICIIONAL: ES VERDADERA CUANDO ES FALSA O VERDADERA SIMULTANEAMENTE EL ANTECEDENTE CON EL CONSECUENTE
           • DISYUCION INCLUSIVA: ES VERDADERA EN TODOS LOS CASOS EXCEPTO CUANDO TODAS SON FALSAS
             • • NEGACION: ES VERDADERA CUANDO EL ENUNCIADO QUE AFECTA ES FALSO O VICEVERSA.

Bilder und Dateien der Mindmap