Comment Re:New Generation? I Think So (Score 1) 600
An associative operation is one where A(BC) = (AB)C.
I think your statement that implication is not an associative operation is true:
Just because premise A implies that "B implies C" does not mean that that the premise "A implies B" always implies C.
Since that has nothing to do with your original point, I think you mean "implication is not a commutative operation", as in:
"A implies B" does not mean "B implies A"
Because in operator-speak, the word "commutative" means AB = BA.
(All the grammar nazis in the world drown out the good work of the operation nomenclature nazis.)
I think your statement that implication is not an associative operation is true:
Just because premise A implies that "B implies C" does not mean that that the premise "A implies B" always implies C.
Since that has nothing to do with your original point, I think you mean "implication is not a commutative operation", as in:
"A implies B" does not mean "B implies A"
Because in operator-speak, the word "commutative" means AB = BA.
(All the grammar nazis in the world drown out the good work of the operation nomenclature nazis.)
