LÓGICA PROPORCIONAL

1. 1. PROPOSICIONES Y OPERADORES LÓGICOS

   Nota:

   •    PROPOSICIONES Y OPERADORES LOGICOS: Una proposición puede ser verdadera o falsa pero no ambas PROPOCISION: Elemento fundamental en la lógica, si carece  de sentido o es imprecisa no se puede calificar como verdadera o falsa por la tanto no es una proposición.   
   1. 2.PROPOSICIONES SIMPLES ANATÓMICAS

      Nota:

      • PROPOSICIONES SIMPLES O ANATÓMICAS   Estructuradas por una única oración, asignándole una variable proporcional   
      1. 3. PROPOSICIONES COMPUESTAS O MOLECULARES

         Nota:

         •    PROPOSICIONES COMPUESTAS O MOLECULARES   Son aquellas que están estructuradas por dos o más proposiciones simples y pueden estar implícitas dentro de la oración. Dos verbos   
         1. 4. TRADUCCIÓN DEL LENGUAJE NATURAL AL SIMBÓLICO Y VIRCEVERSA

            Nota:

            •   TRADUCCION DEL LENGUAJE NATURAL AL SIMBOLICO Y VICERVERSA   LENGUAJE: lengua materna y cotidiana.   LENGUAJE SIMBOLICO: La lógica cuenta con un sistema de símbolos construido especialmente para lograr precisión y operatividad.   TRADUCIR: Traducción del lenguaje natural al simbólico y viceversa.   

1. Lógica = Razón

   Nota:

   • Demostrar y comprobar que una afirmación pueda considerarse como válida, observando la validez o invalidez de una afirmación mediante argumentos y estructuras lógicas. 
   1. Demostrar y comprobar que una afirmación pueda considerarse como válida, observando la validez o invalidez de una afirmación mediante argumentos y estructuras lógicas.

Nota:

•    OPERADORES LOGICOS Son símbolos que permiten decidir qué valor de verdad tiene una proposición.   VALOR DE VERDAD: Puede ser verdadero o falso, y los únicos operadores lógicos que pueden utilizar en estas, son la negación y la doble negación.   NEGACION (~) : La negación de cualquier proposición p será falsa cuando se niegue una proposición verdadera y será verdadera cuando se niegue una proposición falsa.   

Nota:

•    TABLAS DE VERDAD Es una tabla que muestra el valor de verdad de una proposición compuesta, asi como de algunos casos de proposiciones simples, cuando estas utilizan los operadores lógicos de negación y doble negación dependiendo de los operadores lógicos usados y de los valores de verdad de las proposiciones simples involucradas.