Lógica Proposicional
Cuando se define una proposición en lógica proposicional, puede existir la posibilidad de obtener diferentes resultados dependiendo de la evaluación de una condición lógica. En la práctica, las proposiciones condicionales se utilizan para representar relaciones de causa y efecto entre diferentes enunciados.
Una proposición condicional se identifica cuando, en el análisis de un razonamiento lógico, se establece una relación de dependencia entre dos proposiciones, expresada típicamente en la forma "Si P, entonces Q". Este tipo de proposición permite tomar decisiones lógicas sobre la veracidad de una afirmación basándose en la verdad de otras proposiciones. Dependiendo del resultado lógico de la condición, se puede concluir la validez de la proposición condicional.
La Lógica Proposicional se divide en:
- Proposiciones
- Conectores Lógicos
- Equivalencias Lógicas
- Circuitos Lógicos