Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
71
if (
distance
A
B
=
distance
B
C
) and (
distance
B
C
=
distance
C
D
) and (
distance
C
D
=
distance
D
A
) and (
m∠
A
B
C
=
90
), then
A
B
C
D
is a square
Comments
Please
log in
to add comments