# Tautologies [Simple]

1. Sep 11, 2009

### dcramps

Show that $$(\neg B \wedge (A \Rightarrow B)) \Rightarrow \neg A$$ 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. Sep 11, 2009

### dcramps

Yes, yes I did screw up. Carry on.