I need help!
I am taking a Math & Truth Course and there are logic and paradox problems on an assignment I don't understand.
Anyone willing to help me derive the following?
$ (A \implies (B \wedge C)) \models (A\implies B) $
Note: In the above equation the & sign between B & C is actually an upside down "u" in the problem however I am unable to locate a way to present an upside down "u" which means "and" however I have read that you are to place & sign there on the computer. And the "F" is in place of what appears to be a line with two lines directly from it...