Diferencia entre revisiones de «Lógica proposicional»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
Actualizando nombre de la lección 2
Lsanabria (discusión | contribs.)
m Corrigiendo texto introductorio
Línea 11:
La lógica proposicional es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de combinarlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos métodos. Es una herramienta útil para razonar, pero no puede resolver problemas que requieren analizar la estructura interna de las proposiciones o de las relaciones entre ellas. Este tipo de lógica considera las proposiciones como elementos atómicos y no tiene cuantificadores o variables de entidad.
 
En este proyecto de aprendizaje estudiaremos su componentes, las formas en las que se combinan y diferentes métodos para realizar demostraciones básicas. En particular nos enfocaremos en un tipo específico de lógica proposicional donde los valores de verdad de las expresiones se puede determinar exclusivamente a partir de los valores de verdad de sus componentes y donde cada predicadoproposición puede tener únicamente dos valores posibles: verdadero o falso, pero no otros valores y solamente uno de ellos (loslas predicadosproposiciones no pueden ser falsosfalsas y verdaderosverdaderas al mismo tiempo).
 
== Objetivo general ==