Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
if
distance
Y
X
=
distance
Y
Z
and
X
T
⊥
T
Z
and
Z
S
⊥
S
X
and
m∠
X
S
Y
=
180
and
m∠
Z
T
Y
=
180
, then
distance
Z
S
=
distance
X
T
View as a table
|
Try proving it
Start from the conclusion and work back up the proof. Click the arrow to show the parents.