Metraipolis › archive › dc_b998d06dfd90

Eliminación de la disyunción — Wikipedia (es)

Source: Wikipedia (es)
Original: https://es.wikipedia.org/wiki/Eliminaci%C3%B3n_de_la_disyunci%C3%B3n
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-06T18:03:45.509Z
SHA-256 of the archived text: f441d0129634837ab62293e62f9383abb7bce1407ba36e0ef7c41fbae30d8b7a
Stable URL of this page: https://metraipolis.com/documento/dc_b998d06dfd90

How to cite

Eliminación de la disyunción — Wikipedia (es) — Wikipedia (es), https://es.wikipedia.org/wiki/Eliminaci%C3%B3n_de_la_disyunci%C3%B3n (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_b998d06dfd90 (Metraipolis archive dc_b998d06dfd90, sha256 f441d0129634837ab62293e62f9383abb7bce1407ba36e0ef7c41fbae30d8b7a)

BibTeX

@misc{dcb998d06dfd90,
  title = {Eliminación de la disyunción — Wikipedia (es)},
  howpublished = {Wikipedia (es)},
  url = {https://es.wikipedia.org/wiki/Eliminaci%C3%B3n_de_la_disyunci%C3%B3n},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_b998d06dfd90; sha256 f441d0129634837ab62293e62f9383abb7bce1407ba36e0ef7c41fbae30d8b7a},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (es), https://es.wikipedia.org/wiki/Eliminaci%C3%B3n_de_la_disyunci%C3%B3n. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

En lógica proposicional, la eliminación de la disyunción (a veces llamada prueba por casos o análisis de casos), es una forma de argumento válido y regla de inferencia que permite la eliminación de un argumento disjunctivo de una prueba lógica. Es la inferencia de que la afirmación P {\displaystyle P} implica en la afirmación Q {\displaystyle Q} y la afirmación R {\displaystyle R} también implica Q {\displaystyle Q} , por lo tanto, si P {\displaystyle P} o R {\displaystyle R} son verdaderos, entonces Q {\displaystyle Q} tiene que ser verdadero. La razón es simple: si al menos una de las afirmaciones P y R son verdaderas, y puesto que al menos una de ellas es suficiente para confirmar Q, entonces Q es ciertamente correcto. Si estoy dentro, tengo mi billetera conmigo. Si estoy fuera, tengo mi billetera conmigo. Es cierto que estoy dentro o fuera. Entonces, tengo mi billetera conmigo. Es decir, la regla se puede definir como: P → Q R → Q P ∨ R ∴ Q {\displaystyle {\begin{array}{cl}&P\to Q\\&R\to Q\\&P\lor R\\\hline \therefore &Q\\\end{array}}} Donde la regla es que cada vez que las instancias " P → Q {\displaystyle P\to Q} ", y " R → Q {\displaystyle R\to Q} " y " P ∨ R {\displaystyle P\lor R} " aparezcan en una línea de evidencia, " Q {\displaystyle Q} " puede colocarse en la línea subsiguiente.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in spagnolo, in ordine alfabetico).
Fonte: Wikipedia in spagnolo, voce «Eliminación de la disyunción» — https://es.wikipedia.org/wiki/Eliminaci%C3%B3n_de_la_disyunci%C3%B3n
Wikidata Q5282265: «Rule of inference of propositional logic» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q5282265
Autori: i contributori di Wikipedia (cronologia: https://es.wikipedia.org/wiki/Eliminaci%C3%B3n_de_la_disyunci%C3%B3n?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 167770791, consultata il 2026-11-06T18:00:07.223Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: 69231c03d36106f0ade71e05c1968b218608e8be35afe9dd9865a69bc8de9344