Lógica proposicional
| |
| Ejemplo de deducción usando lógica proposicional. | |
| Facultad | Ciencias formales y naturales |
| Departamento | Matemática |
| Área | Lógica |
| Nivel | Universitario |
La lógica proposicional o lógica de orden cero es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos. 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 proposición puede tener únicamente dos valores posibles: verdadero o falso, pero no otros valores y solamente uno de ellos (las proposiciones no pueden ser falsas y verdaderas al mismo tiempo).
Sumario
Objetivo generalEditar
- Familiarizarse con los conceptos y métodos de la lógica proposicional para realizar demostraciones.
Objetivos específicosEditar
- Comprender los conceptos de la lógica proposicional.
- Familiarizarse con las características del sistema de lógica proposicional.
- Aplicar diferentes métodos de lógica proposicional para realizar deducciones.
LeccionesEditar
Bloque 1Editar
Lección 1Editar
En esta lección estudiaremos las proposiciones y sus características.
Lección 2Editar
En esta lección estudiaremos la conectiva lógica de negación que invierte el valor de verdad de la proposición a la que se aplica.
Evaluación ParcialEditar
Bloque 2Editar
Lección 3Editar
La conjunción será la conectiva lógica que estudiaremos en esta lección.
Lección 4Editar
En esta lección estudiaremos la conectiva lógica llamada disyunción.
Lección 5Editar
Las características de la conectiva lógica llamada implicación serán el tema de estudio de esta lección.
Evaluación ParcialEditar
Bloque 3Editar
Lección 6Editar
En esta lección estudiaremos las reglas para crear proposiciones compuestas.
Lección 7Editar
En esta lección estudiaremos el uso de las tablas de verdad para averiguar el valor de verdad de proposiciones compuestas y para realizar demostraciones sencillas.
Lección 8Editar
Las equivalencias lógicas y su utilidad para simplificar expresiones serán los temas que se tratarán en esta lección.
Lección 9Editar
En esta lección estudiaremos el concepto de regla de inferencia y su utilidad para realizar deducciones.
Evaluación ParcialEditar
Bloque 4Editar
Lección 10Editar
En esta lección estudiaremos el procedimiento usado para deducir información nueva a partir de un conjunto de premisas de forma directa.
Lección 11Editar
En esta lección estudiaremos el procedimiento para realizar deducciones condicionales.
Lección 12Editar
En esta lección estudiaremos el procedimiento para realizar deducciones indirectas.
Evaluación ParcialEditar
Evaluación FinalEditar
ActividadesEditar
| Actividad propuesta | Descripción |
|---|---|
| Alí Babá y las dos puertas | Acertijo lógico resuelto usando lógica proposicional. |
Material adicionalEditar
Proyectos de aprendizaje relacionadosEditar
Recursos en otros proyectos de WikimediaEditar
Álgebra Fundamental > Lógica en Wikilibros.
Lógica proposicional en Wikipedia.
