NAL Rules

Procedural

goal deduction (backward)

a!
(&/, x, y) =/> a.
|- ded
(&/, x, y)!

structural deducation (forward/backward)

(&/, a, b)!
|- structural ded
a!

revision