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