()是指或者总是为真或者总是为假命题。