代表任意命题的p、q、r、s等符号，是命题逻辑中的______。