Lógica proposicional

Lógica proposicional

1. una proposición o enunciado constituye una oración que tiene un valor de verdad, es decir, puede ser verdadera o falsa, pero no ambas. La proposición es uno de los elementos fundamentales en lógica.

   • .1. La tierra es plana. 2. 3+6=8
     • las oraciones 1 y 2 son proposiciones ya que pueden tomar una valor verdadero o falso.
       • las proposiciones se claseifican en:
         • proposiciones simples o atómicas y son aquellas que están estructuras con una única oración, ejemplo: hoy es martes.
           • proposiciones compuestas o moleculares y son aquellas que estan estructuradas por dos o mas proposiciones simples, ejemplo: Pítogoras era griego y geometra
             • operadores lógicos:
               • negación
                 • doble negación
                   • conjuncion
                     • tablas de verdad: son instrumentos para demostrar la validez de los argumentos .
                       • cuantificadores: se utilizan para transformar funciones proporcionales en proposiciones.