Introducción de la Conjunción
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una regla de inferencia que permite formar la conjunción A ∧ B cuando tanto A como B han sido establecidas por separado.