Talk:Addition (logic)

Is'nt this exactly the same thing as disjunction introduction?