I will do this one way for you. You must post some effort on the other way.
Suppose that then it follows that
If then which implies
hey thanks for your help.
Personally, I don't realy like this method - I find it harder, plus I don't quite understand how you got from to ?
I did try using it though, started by translating all into logical signs and operators.
I worked only on the LHS, it got really messy and somehow I got to ? (maybe I got some stuff wrong in the process).
Before I resulted to this method I tried working the set identities, which backtracked me to the original sentence with every try.
I'd still rather get some hint on how to solve it using only the pure identities.
excuse me for not getting back to you for the last couple days, I was tied up with some other hw assignments.
about the first part you solved for me - this is the continuance (I guess) :
then if then →
Thus - so if i'm correct, you didn't really leave me much to do cause I just needed to do a symmetrical proof for B.
although I was looking for this (I didn't know it was possible) :
and then just opening it
but thanks anyways, I it wrote your way