Recent content by Gamecockgirl

To prove ( A then B) then C your assumption would be (A and B) then C with your conclusion being (A then B) then C. To prove (A and B) then C your assumption would be (A then B) then C and your conclusion would be (A and B) then C. But I don't know anymore than that. That is the only thing I...

By proof I mean using sentintial derivations where you have to use v introduction or elimination. & introduction or & elimination.

I know why they are true and I have done the truth table however our teacher wants us to do it by proofs and I can't seem to make sense of the proof. I appreciate any guidance you can offer.

I need help proving that (A then B) then C and (A and B) then C are equivalent. Can anyone help?

I need help proving that (A then B) then C and (A and B) then C are equivalent. Can anyone help?