1
$\begingroup$

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...

  • 0
    Are you trying to write $(A \implies (B \cap C)) \vDash (A \implies B)$? If so, $\vDash$ may mean [semantic consequence](http://en.wikipedia.org/wiki/Semantic_consequence#Semantic_consequence) and you have probably been taught how to manipulate it2011-12-03
  • 0
    Can you check if my latex edit is what you meant?2011-12-03
  • 0
    So, according to the comments/answers: you should discuss this with the course instructor, because here we do not know your deductive system...2011-12-03
  • 0
    By now long-standing web tradition, all caps is considered shouting. (see the first paragraph of the [Wikipedia article on "all caps"](http://en.wikipedia.org/wiki/All_caps)). Use them sparingly.2011-12-03

3 Answers 3