RISC JKU
Asked by Barendregt

(B) [Graphics:indexgr165.gif]

with no assumptions.

We prove (B) by natural deduction.

We prove (B) in both directions.

Direction from left to right:

Direction from right to left: