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

  • Thread starter Thread starter Cornelius
  • Start date Start date
  • Tags Tags
    Interesting Logic
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?
 
Physics news on Phys.org
What does your symbol ">" mean?
 

Thread 'Family of lines that are at a distance of 5 from the origin'

I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
View full post »

Similar threads

Solving system of 3 quadratic equations
Replies
4
Views
2K
A,B,C are 3 points with position vectors a,b,c Find length of median
Replies
18
Views
2K
Addition problem in Serge Lang Basic Mathematics
Replies
3
Views
1K
A proof in the Hilbert-style axiom system
Replies
2
Views
2K
Limit question to be done without using derivatives
Replies
25
Views
1K
Find the value of ##a, b## and ##k## in the problem involving graphs
Replies
6
Views
2K
A combinatorial probability question
Replies
18
Views
2K
Mathematical Induction with binomial sum
Replies
9
Views
2K
Multivariable calculus problem involving partial derivatives along a surface
Replies
9
Views
2K
Why Does AB*OA Equal (AQ)^2 in the Witch of Maria Agnesi Problem?
Replies
8
Views
2K

Hot Threads

Recent Insights

Back
Top