Introducción de la Disyunción
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una regla de inferencia que permite inferir una disyunción A ∨ B a partir de una prueba de uno de sus disyuntos (de A inferir A ∨ B, o de B inferir A ∨ B).