LÓGICA PROPORCIONAL

1. 1. PROPOSICIONES Y OPERADORES LÓGICOS

   Annotations:

   •    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

      Annotations:

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

         Annotations:

         •    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

            Annotations:

            •   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

   Annotations:

   • 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.

Annotations:

•    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.   

Annotations:

•    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.