Prove
(True conjunctive)
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) :
Sorry, proving (True conjunctive.1) fails.
Proof of (True conjunctive.2) :
Formula (True conjunctive.2) is true because it is the constant True.