单项选择题请判断复合命题式 ((p → q) ∧ ¬p) → ¬q 是否是永真式.
多项选择题根据《建筑工程建筑面积计算规范》(GB T50353-2005)，建筑物内的( )应按建筑物的自然层计算建筑面积。
