:: deftheorem defines conditional QC_LANG2:def 11 :
for A being QC-alphabet
for H being Element of QC-WFF A holds
( H is conditional iff ex p, q being Element of QC-WFF A st H = p => q );