Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
(
3
/
4
) ⋅ (
s
⋅
s
)
=
3
⋅ ((
s
⋅
s
) ⋅ (
1
/
4
))
View as a table
|
Try proving it
Start from the conclusion and work back up the proof. Click the arrow to show the parents.