How to Derive ((A>B)>A)>A Using Sentential Logic?

  • Thread starter Thread starter Cornelius
  • Start date Start date
  • Tags Tags
    Interesting Logic
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
1 reply · 2K views
Cornelius
Messages
4
Reaction score
0
1. How do you prove, using SD, that ((A>B)>A)>A?


3. I tried to first assume (A>B)>A. Then I made a sub-derivation, assuming ~A. In this sub-derivation, I need to derive a contradiction. How?
 

Discussion

Physics news on Phys.org
What does your symbol ">" mean?
 

Similar threads

Undergrad Arguments in sentential logic and contradictions/tautologies.

  • pandaBee
  • · Replies 7 ·
  • Set Theory, Logic, Probability, Statistics
Replies
7

Sentential Logic: Is the argument valid?

  • Saladsamurai
  • · Replies 4 ·
  • Calculus and Beyond Homework Help
Replies
4

Proving (s ^ ~p) ==> t using Sentential Calculus

  • lizzyb
  • · Replies 1 ·
  • Engineering and Comp Sci Homework Help
Replies
1

How Do You Prove Theorems in Sentential Logic?

  • yankes2k
  • · Replies 9 ·
  • Introductory Physics Homework Help
Replies
9

Proving two theorems in sentential logic with SD derivation

  • yankes2k
  • · Replies 2 ·
  • Introductory Physics Homework Help
Replies
2

Proving Set Theory Equality: How to Use Sentential Calculus Rules

  • JoeRocket
  • · Replies 3 ·
  • Calculus and Beyond Homework Help
Replies
3

Graduate Are sentential logic axioms complete and how does P -> Q work as a binary operation?

  • StephenPrivitera
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3

Can I use programming logic to solve logic questions using sentence letters?

  • aychamo
  • · Replies 10 ·
  • Programming and Computer Science
Replies
10