Leyes de inferencia

Leyes de inferencia

Leyes de inferencia

Alguna reglas de inferencia clásicas, muy utilizadas en matematicas para la demostración de Teoremas, se detallan a continuación:

Ley de separación (modus ponens): Si p y p → q son ambos verdaderos, se infiere que q tambien lo es.

En simbolos:

   p, p → q entonces, q


Ley del modus Tolens: si p → q es verdadero y q es falsa, infiere que p es falsa, ya que si la proposición p fuera verdadera, la proposición compuesta p → q sería falsa.

En simbolos:

   p → q, -q entonces, -p

Ley del Silogismo hipotetico: si p → q y q → r son ambos verdaderos, entonces p → r

En simbolos:

    p → q, q → r entonces, p → r
Obtenido de "Leyes de inferencia"

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Inferencia — Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las… …   Wikipedia Español

  • Explicación — Saltar a navegación, búsqueda Se entiende por explicación del latín “explicatio”: acción de desplegar o desenvolver ya sea hacer evidente la esencia de algún objeto o fenómeno de interés u ofrecer una aclaración o motivo entendible a la razón por …   Wikipedia Español

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… …   Wikipedia Español

  • Anexo:Glosario de bridge — Estos términos son utilizados en bridge,[1] [2] o en el predecesor juego del bridge subasta, usando anotación de la modalidad de bridge duplicado o rubber bridge. Algunos de ellos son también usados en el juego del Whist, Bid whist, y otros… …   Wikipedia Español

  • Ciencia — La ciencia (del latín scientia conocimiento ) es el conjunto de conocimientos sistemáticamente estructurados, y susceptibles de ser articulados unos con otros. El árbol de la ciencia. Interpretación bíblica Contenido …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Proyecto de investigación — Saltar a navegación, búsqueda El proyecto de investigación es un procedimiento científico que usa al método científico para recabar todo tipo de información y formular hipótesis acerca de cierto fenómeno social o científico, empleando las… …   Wikipedia Español

  • David Hume — Saltar a navegación, búsqueda Para otros usos de este término, véase Hume. David Hume Retrato de David Hume, por Allan Ramsay, en el año 1766, Galería Nacional de Escocia …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”