Reglas de inferencia

Y seguimos ampliando nuestros conocimientos de Lógica (muy útiles en Algoritmia, ya lo veréis). Ahora veamos las reglas de inferencia.

  • Modus ponens

p⇒q, p:q

  • Modus tollens

p⇒q, ¬q:¬p

  • Conjunción

p,q: p∨q

  • Simplificación

p∧q: p,

p∧q: q

  • Adición

p:p∨q

  • Silogismo disyuntivo

p∨q, ¬p: q

p∨q, ¬q: p

  • Silogismo hipotético

p⇒q, q⇒r: p⇒r

  • Dilema constructivo

p∨q, p⇒r, q⇒s: r∨s

Una entrada más, sobre lógica de predicados, y ya podremos sumergirnos sin miedo en los algoritmos. Por si todo esto te parece confuso, puedes repasar aquí.

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s