Lógica proposicional

Annotations:

• La lógica: la lógica se deriva de la razón que nos permite comprobar si una afirmación es cierta o no. La proposición: es una oración imprecisa que no es proporcional pero sí debe tener un sólo argumento ya sea, verdadero o falso. existen dos tipos de proposiciones: la simple y la compuesta, las simples se utilizan para una sola oración, las compuestas para dos o más.

1. clasificación de las proposiciones
   1. proposición simple
      1. estructurada por una oración
         1. asigna un cierto valor (v o f)
   2. proposición compuesta
      1. estructurada por una o más proporciones.
         1. Ejemplo la raíz de 25 es 5, o -5
2. tablas de verdad
   1. obtienen valores de verdad en:
      1. proposiciones simples o compuestas
3. operadores lógicos
   1. Decide qué valor es cierto en una proposición
      1. los conectores son:
         1. negación
            1. Doble negación
               1. Disyunción inclusiva
                  1. Proposiciones condicionales
                     1. Implicación
                        1. Equivalencia