表达判断的语句称为( )，命题的逻辑形式称为命题形式。命题的逻辑形式指的是与命题具体内容相对的形式结构。