domingo, 17 de mayo de 2020

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
  2. De esta nueva premisa, junto con las premisas dadas, deducir una contradicción 
  3. Establecer la conclusión deseada como una inferencia lógica deducida de las premisas originales

1.- Demostrar: ¬P

#

PREMISAS

OPERACION

(1)

¬ (P & Q)

P

(2)

P → R

P

(3)

Q v ¬R

P

(4)

¬P v ¬Q

LM1

(5)

P

P

(6)

R

PP2,5

(7)

Q

TP3,6

(8)

¬P

TP4,7

(9)

P & ¬P

A5,8

(10)

¬P

RAA5,9














-
Etiquetas:

No hay comentarios:

Publicar un comentario

Suscribirse a: Enviar comentarios (Atom)

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 Pun...

  • Lógica Matemática Ejercicio 12 (Suppes)
    Regla de Demostración Indirecta (RAA - Reducción al Absurdo) Pasos: Introducir la negación de la conclusión deseada como una nueva premisa
  • 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 Pun...
  • 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 ...