i thought that says that the groups cannot be equal
but says that they can be equal
the one have equality the other doesnt have
For any two propositions (i.e., statements that can be either true or false) P and Q, we have that the compound proposition "P and Q" implies P. This is just a fancy way to describe the meaning of the word "and".
Now, let P be and Q be . Then is P and Q. Therefore, implies .