Reglas de Inferencia

5 04 2011

Una regla de inferencia es un esquema para construir inferencias (deducir algo, sacar una consecuencia de algo) que sean  válidas.

Las mismas permiten establecen relaciones sintácticas entre un conjunto de fórmulas las cuales se la define con el nombre  de premisas y una terminación llamada conclusión.

Se las describe a continuación:

  • Modus Ponens : Es llamada  también Regla  de Separación, además provienen del Latín “Método de afirmación”.

Su estructura lógica  es la siguiente:

Premisa 1

Si  Premisa 1, entonces Premisa 2

Por lo tanto, Conclusión.

Ejercicio:

Lucia gana 20 millones de dólares en la lotería

Si Lucia gana 20 millones de dólares en la lotería

Entonces Ricardo se tomara la vida con calma

Por lo tanto, Ricardo se tomara la vida con calma.

  • Modus Tollen: Esta regla se la llama en latín como “Método de la negación” es decir negamos la conclusión para obtener la negación del antecedente.

Su estructura lógica es la siguiente:

Premisa 1, entonces   negación premisa 2

Premisa 2

Por  lo tanto,  Conclusión negativa.

Ejercicio:

Si Elena esta estudiando, entonces no esta practicando Taichi.

Elena  esta practicando Taichi

Por  lo tanto, Elena no esta estudiando.

  • Resolución: En esta   involucran conceptos tales como la combinación y simplificación de expresiones lógicas, Además permite emitir conclusiones compuestas.

Esta etapa consta de las siguientes etapas:

  • Las Reglas son sustituidas por expresiones lógicas equivalentes.
  • Estas expresiones lógicas se combinan en otra expresión lógica.
  • Esta última expresión se utiliza para obtener la conclusión.

Referencias: Inferencia , Reglas


Actions

Information

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s




%d bloggers like this: