Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

REGLAS DE INFERENCIA

No description
by

jairo pino

on 11 May 2018

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of REGLAS DE INFERENCIA

SILOGISMO HIPOTETICO
En lógica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus premisas. En la lógica proposicional, el silogismo hipotético es una regla de inferencia válida (llamado también argumento cadena, regla de cadena, o el principio de transitividad de la implicación, y a veces abreviado SH).
Simplificación y Leyes de Morgan
son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.
Ejemplo 2
Rosa vino y juan se quedo dormido, rosa no vino o juan no se quedo dormido.

¬ (p v q) = ¬ p ^ ¬ q
EJEMPLOS 1
El silogismo hipotético se puede escribir formalmente como:
p → q. q→ p
p→r

Si no me despierto, no puedo ir a la fiesta. Si no voy a la fiesta, no me divertiré. Entonces, si no me despierto no divertiré
p → q
q → r

entonces p → r

REGLAS DE INFERENCIA
Full transcript