命题“正数或0的平方根是实数”是----------的形式。