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