命题“对角线互相垂直的四边形面积等于两条对角线的长度乘积的一半”的题设_____________,结论是________