Diferencia entre revisiones de «Lógica proposicional/Deducciones directas»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
Creando
(Sin diferencias)

Revisión del 17:04 10 ene 2016

Lección 10
Deducciones directas

La lógica proposicional nos permite derivar información nueva a partir de la que conocemos usando diferentes técnicas. La forma más sencilla de hacerlo es construyendo una tabla de verdad con todos los posibles valores para las proposiciones atómicas, las premisas y la conclusión que queremos lograr. Si la conclusión es verdadera en todas las filas de la tabla en que las premisas son verdaderas, podemos decir que la conclusión es una consecuencia lógica de las premisas. Este método garantiza que siempre encontraremos una respuesta, sin embargo las tablas de verdad aumentan de tamaño de forma exponencial y pueden llegar a ser muy grandes incluso al tratar con problemas de tamaño moderado. Por ejemplo, una tabla con 8 proposiciones atómicas necesitará 256 filas para registrar todas las combinaciones posibles de valores de verdad de las variables.[1]

Como una alternativa al procedimiento anterior, podemos aplicar las equivalencias lógicas y las reglas de inferencia de diversas maneras para transformar las proposiciones y verificar si la conclusión es una consecuencia lógica de las premisas. Una de estas técnicas es la deducción directa.

[Subtema 1]

[Texto del subtema 1][2]

comentario Texto del comentario.

[Continúa el texto del subtema 1]

[Subtema 2]

[Texto del subtema 2]

[Subtema ...]

[Texto del subtema ...]

Resumen de la lección

  • [Punto principal de la lección]
  • [Punto principal de la lección]
  • [...]

Términos clave

  • Término clave 1
  • Término clave 2
  • [...]

Bibliografía

  1. Aho, Alfred V.; Ullman, Jeffrey D. Foundations of Computer Science: C Edition. [en línea]. 1.ª ed. W. H. Freeman., 1994, 786p. Consultado: 2015-12-23. Disponible en: http://i.stanford.edu/~ullman/focs.html
  2. Klement, Kevin. Propositional Logic [En línea]. Massachusetts, Estados Unidos: The Internet Encyclopedia of Philosophy. Consultada: 2015-12-10. Disponible en: http://www.iep.utm.edu/prop-log/
Proyecto: Lógica proposicional
Anterior: Tercera evaluación parcial — Deducciones directas — Siguiente: [Lógica proposicional/Deducciones directas/Evaluación