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