Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
if △
A
B
C
≅ △
D
E
F
, then
distance
A
C
=
distance
D
F
View as a table
|
Try proving it
Start from the conclusion and work back up the proof. Click the arrow to show the parents.