Eliminación de la Conjunción
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una regla de inferencia que permite inferir cualquiera de los conjuntes a partir de una conjunción A ∧ B; formalmente de A ∧ B se deriva A (y simétricamente B).