And-Elimination rule:
In generally English says that "if you know that lots of things are all true, so you know like any one of them is also true". Because you can specify a conjunction by just taking one of the conjuncts in this effect, by eliminating the ^s.
(A1^ A2^ ... ^ An )÷ Ai
Note that 1 ≤ i ≤ n.