Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
if
X
is the midpoint of line
R
T
and
Y
is the midpoint of line
S
T
, then (
distance
X
Y
) ⋅
2
=
distance
R
S
View as a table
|
Try proving it
Start from the conclusion and work back up the proof. Click the arrow to show the parents.