¿Cómo se aplica?
Si en una deducción aparece una conjunción, entonces es lícito escribir al final de la lista cualquiera de los conjuntandos (enunciados individuales). Es decir, si aparece el enunciado A⋀B, o el enunciado B⋀A, podemos escribir A o B porque se entiende que ambos deben estar.
⚠️ Ojo con las reglas de precedencia, el enunciado debe ser una conjunción
Se suele comentar a la derecha de con el siguiente símbolo E⋀ y seguidamente la enumeración separado por comas de los enunciados implicados