RISC JKU

[Graphics:indexgr388.gif][Graphics:indexgr406.gif]

Prove

(True conjunctive) [Graphics:indexgr407.gif]

with no assumptions.

Proving (True conjunctive) by natural deduction fails.

Not all the conjunctive parts of(True conjunctive) can be proved.

Proof of (True conjunctive.1) [Graphics:indexgr408.gif]:

Sorry, proving (True conjunctive.1) fails.

Proof of (True conjunctive.2) [Graphics:indexgr409.gif]:

Formula (True conjunctive.2) is true because it is the constant True.