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