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

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Reglas de Inferencia

Definición y ejemplos
by

Juan Caro

on 4 September 2012

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Reglas de Inferencia

REGLAS INFERENCIA Qué son las reglas de inferencia? La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo término, en este caso q) "‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los condicionales. MODUS PONENDO PONENS (PP) tollendo ponens (negando afirmo): si uno de los miembros de una disyunción es negado, el otro miembro queda automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado. Art DOBLE NEGACIÓN (DN)
Simplificación (S): obviamente, es la operación inversa. Si disponemos de un enunciado formado por dos miembros unidos por una conjunción, podemos hacer de los dos miembros dos enunciados afirmados por separado. ADJUNCIÓN Y SIMPLIFICACIÓN SILOGISMO HIPOTÉTICO (SH) si una causa se sigue una consecuencia, y ésta consecuencia es a su vez causa de una segunda consecuencia, se puede decir que esa primera causa es causa de esa segunda consecuencia. Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción) acompañado por cualquier otro enunciado LEY DE LA ADICIÓN (LA) WELCOME HOME Adjunción (A): Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador (conjunción). MODUS TOLLENDO PONENS (TP) Oscar Wilches
Javier Pineda
Juan Caro Una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. REGLAS DE INFERENCIA MODUS TOLLENDO TOLLENS (TT) La regla ‘doble negación’, simplemente establece que si un enunciado está doblemente negado, equivaldría al enunciado afirmado. Gracias SILOGISMO DISYUNTIVO (DS) Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyunción cuyos miembros sean los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de disyunción, cuyos miembros serían los consecuentes de las dos implicaciones. Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente, y sus antecedentes se corresponden con los dos miembros de una disyunción, podemos concluir con el consecuente de ambas implicaciones. SIMPLIFICACIÓN DISYUNTIVA (SD) Esta ley, no es válida para la implicación, pero sí para conjunción y para la disyunción. Una conjunción es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no cambia este hecho. Igualmente, una disyunción es presentar una elección entre dos cosas, sin importar en qué orden se presente esta elección LEY CONMUTATIVA Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una conjunción en una disyunción. Cuando se pasa de una a otra, se cambian los valores de afirmación y negación de los términos de la disyunción/conjunción así como de la propia operación en conjunto LEYES DE MORGAN FRYGANAS, C. E. (15 de 05 de 2005). Reglas de diferencia. Recuperado el 31 de 08 de 2012, de http://www.juntadeandalucia.es/averroes/emilioprados/filosof/Logica/Reglas%20de%20inferencia.htm
GALEON. (s.f.). Doble negacion. Recuperado el 31 de 08 de 2012, de El esquema representa, “p doblemente negada equivale a p”. Siguiendo el esquema de una inferencia por pasos, la representaríamos así:
GALEON. (s.f.). ley de la adicion. Recuperado el 31 de 08 de 2012, de http://formulacuatro.galeon.com/enlaces2045644.html
GALEON. (s.f.). Logica Matematica. Recuperado el 31 de 08 de 2012, de http://formulacuatro.galeon.com/enlaces2045649.html
GALEON. (s.f.). Modus tollendo ponens. Recuperado el 31 de 08 de 2013, de http://formulacuatro.galeon.com/enlaces2045637.html
GALEON. (s.f.). MTTModus tollendo tollens. Recuperado el 31 de 08 de 2012, de http://formulacuatro.galeon.com/enlaces2045588.html
PÉREZ FONTENLA, Miguel. (25 de 01 de 2012). Logica algebra de proposiciones. Recuperado el 31 de 08 de 2012, de http://www.slideshare.net/miguelperezfontenla/maths-612-logica-algebra-proposiciones
TORRES, s. a. (2010). Lógica matemática párrafo Ingeniería de Sistemas y Computación. En s. a. torres. armenia. quindio colombia: elizcom.
TORRES, V. (02 de 06 de 2012). Inferencia logica. Recuperado el 31 de 08 de 2012, de http://www.soyinformatico.co/portal/foro/L%C3%B3gica-Computacional/15-Inferencia-L%C3%B3gica
CIBERGRAFÍA
Full transcript