RISC JKU
Distributivity of Implication over Conjunction

(DA) [Graphics:indexgr123.gif]

with no assumptions.

We prove (DA) by natural deduction.

We prove (DA) in both directions.

Direction from left to right:

Direction from right to left: