RISC JKU

[Graphics:indexgr388.gif][Graphics:indexgr425.gif]

Prove

(False conjunctive) [Graphics:indexgr426.gif]

with no assumptions.

We prove (False conjunctive) by natural deduction.

We prove (False conjunctive) in both directions.

Direction from left to right:

Direction from right to left: