Should have been more precise. The two formal expressions
(2|x ^ 3|x) -> 6|x
(2|x -> 6|x) v (3|x -> 6|x)
are equivalent. However, it is less clear cut with their ordinary language translations:
"If x is divisible by 2 and x is divisible by 3, then x is divisible by 6."
"If x is divisible by 2, then x is divisible by 6, or if x is divisible by 3, then x is divisible by 6."
#logic #implication