:: deftheorem Def19 defines conjunctive MODAL_1:def 19 :
for IT being MP-wff holds
( IT is conjunctive iff ex A, B being MP-wff st IT = A '&' B );