Silogismo disyuntivo

Silogismo disyuntivo

Silogismo disyuntivo

En lógica, el silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento:

O es el caso que A, o es el caso que B
No A
Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo podría ser:

O es de día o es de noche.
No es de día.
Por lo tanto, es de noche.

Otra manera de presentar el silogismo disyuntivo es:


   \begin{array}{r}
      A \or B \\
      \neg A  \\
      \hline
      B
   \end{array}

Y aún otra manera es a través de la notación del cálculo de secuentes:

(A \or B), \neg A \vdash B

Véase también

Obtenido de "Silogismo disyuntivo"

Wikimedia foundation. 2010.

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

Mira otros diccionarios:

  • Silogismo — (Del gr. syllogismos, razonamiento.) ► sustantivo masculino LÓGICA Razonamiento que consta de tres proposiciones, la última de las cuales, o conclusión, se deduce de las otras dos o premisas. * * * silogismo (del lat. «syllogismus», del gr.… …   Enciclopedia Universal

  • Silogismo hipotético — En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más bien regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener términos válidos o no. En la lógica proposicional un silogismo hipotético… …   Wikipedia Español

  • Modus tollendo ponens — En lógica, el silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento: es el caso que A, o es el caso que B No A Por lo tanto, B o exclusivo: O es el… …   Wikipedia Español

  • Validez (lógica) — En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente válido. Algunos consideran estas… …   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

  • Regla de inferencia — En lógica, especialmente en lógica matemática, 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… …   Wikipedia Español

  • Principio de explosión — Saltar a navegación, búsqueda El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier… …   Wikipedia Español

  • Modus ponendo tollens — En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice: O bien A, o bien B A Por lo tanto, no B Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser …   Wikipedia Español

  • Modus tollendo tollens — En lógica, el modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma: si A entonces B No B Por lo tanto, no A Por ejemplo …   Wikipedia Español

Compartir el artículo y extractos

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