Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
if
b
>
0
,
then
(
0
-
0
) / ((
b
⋅
2
) -
0
)
=
0
View as a table
|
Try proving it
Start from the conclusion and work back up the proof. Click the arrow to show the parents.