Introducción a la lógica matemática - Cap. 3 Certeza y Validez

Certeza y Validez

Hemos aprendido a demostrar la validez de inferencia casi de forma análoga a como se aprende a jugar un juego. Se parte de premisas dadas y el objetivo es alcanzar una conclusión particular. El camino que se sigue para ello es seguir proposiciones, de otras proposiciones que ya se han obtenido utilizando las reglas de inferencia. Cada movimiento que se realiza ha de estar permitido por una regla.
En una demostración formal se ha de justificar cada paso que se dé haciendo referencia a una regla de inferencia. También se ha de justificar las proposiciones de las que se ha deducido la nueva proposición. Las reglas permiten hacer muchos movimientos, pero la estrategia estriba en hacer aquellos que conducen al objetivo, la conclusión deseada.
La idea de inferencia se resume en esta forma:

De premisas ciertas se obtienen sólo conclusiones ciertas

Puesto que las reglas de inferencia válida, permiten deducir sólo consecuencias ciertas de premisas ciertas, si se encuentra un caso en el que se ha deducido una conclusión falsa de premisas ciertas se sabe que la inferencia no es válida. Así, si se asignan valores de certeza y la conclusión falsa, se ha demostrado la no validez del razonamiento.
Además del método directo de demostración se puede utilizar con frecuencia la regla que permite introducir una premisa en la demostración. En una demostración condicional, por ejemplo, se introduce el antecedente de la conclusión (cuando es una proposición condicional) como premisa, y, si se puede deducir el consecuente, entonces se ha demostrado que la proposición condicional es consecuencia de las premisas originales. En una demostración indirecta, si introduciendo la negación de la conclusión deseada se puede deducir una contradicción de la forma P & ¬P, entonces se puede afirmar la conclusión deseada por la regla de reducción al absurdo
Algunas veces no se desea deducir una conclusión de un conjunto de premisas, y lo que se busca es determinar si un conjunto de premisas es consistente o inconsistente. Se demuestra que las premisas son inconsistentes si se puede deducir de ellas una contradicción de la forma P & ¬P. Entonces se sabe que todas las premisas no pueden ser simultáneamente ciertas.
Para demostrar la consistencia de premisas se halla una asignación de certeza en la que todas las premisas sean simultáneamente ciertas.
La teoría de la inferencia, de la que nos hemos ocupado hasta ahora, es la teoría proposicional de inferencia.

Método Directo

metodo directo

Enlaces

Algebra logica - Introducción a las proposiciones (página 2)
INTRODUCCION A LA LOGICA MATEMATICA

Comentarios

Publicar un comentario

Entradas populares de este blog

Introducción a la lógica matemática - Cap. 2 Reglas de Inferencia.

Imagen
Reglas de Inferencia En el capitulo uno, hemos aprendido a dividir las proposiciones en sus partes lógicas y de este modo se ha llegado a conocer algo sobre la forma lógica  de las proposiciones. La idea de  forma  se puede ilustrar con alguno de los resultados del capítulo anterior.  La proposición P -> Q es la misma, en cuanto a la forma lógica se refiere, cualesquiera que sean las proposiciones en castellano que sustituyan a la P y a la Q . Los términos de enlace determinan la forma de la proposición. Las reglas de inferencia que rigen el uso de los términos de enlace son muy simples. Se pueden aprender estas reglas y su uso, como se aprenden las reglas de un juego. El Juego se juega con proposiciones , o fórmulas lógicas, nombre que se dará a las proposiciones simbolizadas. Se empieza con conjuntos de fórmulas que se denominan premisas . el objetivo del juego es utilizar las reglas de inferencia de manera que conduzcan a otras formulas que se denominan conclusiones . El pa
Leer más

Introducción a la lógica matemática - Cap. 4 Tablas de certeza

Imagen
Tablas de certeza Así como un diagrama de certeza, presentar los valores de certeza de una fórmula para una sola combinación de asignaciones de certeza para sus proposiciones atómicas, la tabla de certeza muestra los valores de certeza de la fórmula para todas las combinaciones posibles de asignaciones de certeza. Incluso con una tabla de certeza se puede hacer simultáneamente para varias fórmulas diferentes. Para construir una tabla de certeza que dé todas las combinaciones posibles de asignaciones de certeza a n letras atómicas distintas, son necesarias 2^n líneas. Para cada letra atómica distinta se necesita una columna, y también se necesita una columna por cada término de enlace que se presente. Una tautologia es una proposicion molecular cuya columna en una tabla de certeza no posee ninguna F. Hay dos maneras de utilizar una tabla de certeza para determinar si un razonamiento es valido. El primero consiste en construir una tabla de certeza con una columna para cada premisa
Leer más

Hubo un problema pero puedes intentarlo de nuevo Windows error OOBEEULA

Imagen
  Hubo un problema, pero puedes intentarlo de nuevo - Windows Error OOBEEULA Fig. Hubo un problema, pero puedes intentarlo de nuevo OOBEEULA. Hola, amigos del Blog, en esta ocasión les voy a comentar sobre un error que me paso cuando restablecí varios equipos ha estado de fábrica, no todos presentaron este problema, fueron como 5 equipos en los que ocurrió este error. Los equipos eran de la marca Dell, Latitude 3590, con Windows 10 Pro, 8 Gb en RAM y 250 GB en disco estado sólido, para todos ellos se usó la herramienta de Restablecer este equipo que viene en Windows 10, les comento que el proceso de restauración finalizaba de forma correcta, pero al comentar las opciones de configuración inicial se presentaba la siguiente pantalla con la leyenda: Hubo un problema, pero puedes intentarlo de nuevo Error OOBEEULA. Fig. Restablecer este equipo Ahora, revisando en el Blog de Microsoft y algunos videos en YouTube, encontré una serie de comandos con los que pude darle solución a este error, p
Leer más