TRY IT:
Prove
![]()
OK, here's a different type... Same process, it just works differently because it's a different kind of formula to prove. It's one of our old algebra buddies!
| Prove |
![]() |
|
|
Show |
|
is true: |


| So, |
|
is true. |
|
|
Assume |
|
is true: |
![]() |
is true |
|
|
Show |
|




| So, |
|
|
|
Thus, |
|
is true.
|
Write this guy out without my comments. Think about each step!
TRY IT:
Prove
![]()

