Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Tautologies [Simple]

  1. Sep 11, 2009 #1
    Show that [tex](\neg B \wedge (A \Rightarrow B)) \Rightarrow \neg A[/tex] is a tautology.

    I tried a truth table and found this not to be a tautology. Did I screw up or is this just a poorly worded question?
  2. jcsd
  3. Sep 11, 2009 #2
    Yes, yes I did screw up. Carry on.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook