Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
if
A
is the midpoint of line
X
Y
and
B
is the midpoint of line
Z
X
and
P
B
⊥
B
X
and
P
A
⊥
A
Y
, then
distance
P
Z
=
distance
P
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.