Ejercicio Tablas de Certeza

Tablas de Certeza

 

Ejemplo

Si Isabel se retrasa, entonces Cristina es Puntual.

Si Isabel no se retrasa, entonces Cristina no es Puntual.

Por tanto, o Isabel se retrasa, o Cristina es Puntual.

 

Paso 1

Identificar Proposiciones Atómicas

P: Isabel se retrasa

Q: Cristina es Puntual

 

Paso 2

Modelar Razonamiento

   P → Q

 ¬P → ¬Q

    P v Q

 

Paso 3

Construir Tabla de Certeza

Paso 4

Concluir

Dos de las cuatro líneas tienen las premisas ciertas, para una de estas líneas la conclusión no es cierta, de esta manera se concluye que el razonamiento sugerido no es valido.

TABLAS DE CERTEZA

Las tablas de certeza proporcionan todas las posibles asignaciones de certeza, y el método de comprobar la validez de cualquier inferencia es el siguiente:

 

Primero, se escriben todas las combinaciones posibles de valores de certeza para las proposiciones atómicas incluidas en el ejemplo.

 

Segundo, se determinan los valores de certeza para todas las premisas y de la conclusión del razonamiento.

Tercero, se buscan las líneas que presentan todas las premisas como proposiciones ciertas; si la conclusión es también cierta para cada una de estas líneas, entonces el razonamiento es válido.

 

Si hay alguna línea para la que todas las premisas son ciertas y la conclusión es falsa, el razonamiento no es válido y la conclusión no es una consecuencia lógica.

¿Como saber el Número de Combinaciones de Certeza?

La regla general es que si hay n proposiciones atómicas, entonces hay 2 a la 'n' combinaciones de valores posibles de certeza. Ejemplo, para tres proposiciones atómicas sera 2 x 2 x 2 = 8, 8 combinaciones .

Ref.

Definición extraída del Libro Lógica Matemática

Autores: Patrick Suppes y Shirley Hill

Lógica Matemática Ejercicio 12 (Suppes)

Regla de Demostración Indirecta (RAA - Reducción al Absurdo)

Pasos:

1. Introducir la negación de la conclusión deseada como una nueva premisa

Lógica Matemática

Encuentra Ejemplos, Ejercicios, Investigaciones sobre los temas relacionados con la Lógica Matemática.