Proof: Is (\neg B \wedge (A \Rightarrow B)) \Rightarrow \neg A a Tautology?

  • Level: Undergrad 
  • Thread starter Thread starter dcramps
  • Start date Start date
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
1 reply · 2K views
dcramps
Messages
43
Reaction score
0
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?
 
Physics news on Phys.org

Discussion

Similar threads

Basic Inequality Prove: $A\leq B\wedge B\leq A \Rightarrow A=B$
  • solakis1
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Prove |a|=|b| $\Rightarrow$ a=b or a=-b
  • ver_mathstats
  • · Replies 4 ·
  • Calculus and Beyond Homework Help
Replies
4
Prove a|x|+bx ≥ 0 $\Rightarrow$ a ≥ |b|
  • solakis1
  • · Replies 16 ·
  • Set Theory, Logic, Probability, Statistics
Replies
16
Proving if ##b<0\Rightarrow \inf(bS)=b\sup S##
  • Potatochip911
  • · Replies 3 ·
  • Calculus and Beyond Homework Help
Replies
3
Undergrad Proof that $\lim_{x \rightarrow 0} \frac{sinx}{x} = 1$
  • JG89
  • · Replies 3 ·
  • Calculus
Replies
3
Proving Riemann Integral: Non-Negative f(x)=0 $\rightarrow \int^{b}_{a}f=0$
  • danielc
  • · Replies 1 ·
  • Calculus and Beyond Homework Help
Replies
1
Proving \lim_{z \rightarrow -i} 1/z = i using the Definition of a Limit
  • stunner5000pt
  • · Replies 11 ·
  • Calculus and Beyond Homework Help
Replies
11