SOLUTION: What are the proof steps for A ≡ (B ≡ C) // (A ≡ B) ≡ C ?

Algebra.Com
Question 1193969: What are the proof steps for A ≡ (B ≡ C) // (A ≡ B) ≡ C ?
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
It's a cinch to prove it with truth tables, and murder to prove it by 
argument forms.  Since all the argument forms are proved by truth tables,
your teacher should allow a truth table proof.

[A ≡ (B ≡ C)] ≡ [(A ≡ B) ≡ C]
---------------------------
 T ≡ (T ≡ T)  ≡  (T ≡ T) ≡ T
 T ≡ (T ≡ F)  ≡  (T ≡ T) ≡ F
 T ≡ (F ≡ T)  ≡  (T ≡ F) ≡ T
 T ≡ (F ≡ F)  ≡  (T ≡ F) ≡ F
 F ≡ (T ≡ T)  ≡  (F ≡ T) ≡ T
 F ≡ (T ≡ F)  ≡  (F ≡ T) ≡ F
 F ≡ (F ≡ T)  ≡  (F ≡ F) ≡ T
 F ≡ (F ≡ F)  ≡  (F ≡ F) ≡ F

Do equivalence inside the parentheses
If the values are the same on both sides
of the ≡, put T, otherwise put F.
Then erase what you used to get what
you just put down.

[A ≡ (B ≡ C)] ≡ [(A ≡ B) ≡ C]
-----------------------------
[T ≡    T   ] ≡ [   T    ≡ T]
[T ≡    F   ] ≡ [   T    ≡ F]
[T ≡    F   ] ≡ [   F    ≡ T]
[T ≡    T   ] ≡ [   F    ≡ F]
[F ≡    T   ] ≡ [   F    ≡ T]
[F ≡    F   ] ≡ [   F    ≡ F]
[F ≡    F   ] ≡ [   T    ≡ T]
[F ≡    T   ] ≡ [   T    ≡ F]

Now do equivalence inside the brackets
As before, if the values are the same 
on both sides of the ≡, put T, otherwise 
put F. Then erase what you used to get 
what you just put down.
 

[A ≡ (B ≡ C)] ≡ [(A ≡ B) ≡ C]
-----------------------------
   T          ≡     T    
   F          ≡     F    
   F          ≡     F    
   T          ≡     T    
   F          ≡     F    
   T          ≡     T    
   T          ≡     T    
   F          ≡     F    

Now do the final equivalence inside the 
brackets As before, if the values are the 
same on both sides of the ≡, put T, otherwise 
put F. Then erase what you used to get 
what you just put down.

[A ≡ (B ≡ C)] ≡ [(A ≡ B) ≡ C]
-----------------------------
              T         
              T         
              T         
              T         
              T         
              T         
              T         
              T

Since we end up with all T's, that proves
that  [A ≡ (B ≡ C)] ≡ [(A ≡ B) ≡ C] is a
tautology.        

Edwin

RELATED QUESTIONS

what are the steps to solving a=bc/b+c for... (answered by ankor@dixie-net.com,dabanfield,rapaljer)
Construct a proof for the following: 1. ~C 2. (~A * B) v (~A * C). .·.... (answered by Edwin McCravy)
(A&B)->C B&~C/ ~A (indirect... (answered by Edwin McCravy)
What are the steps for transposing: (a-b)/b=c to solve for b. I know the solution to be: (answered by erica65404)
Create a proof for the following argument. 1.~D 2.B ⊃ (C ⊃ D) /~(B •... (answered by math_tutor2020)
My book doesn't show me how to do this. Any steps and explanations would be great.... (answered by rothauserc)
if bx=c-x , x= (a)b-c (b)c/b+1 (c)b+1/c (d)c-b (e)none of these what are the steps... (answered by MathLover1)
How do you figure out problems like: A= B/C Find C. Or like A= B/C Find B. What are the... (answered by MathLover1)
Proof... (answered by Alan3354)