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