谓词逻辑中，重言式（tautlogy）的值是（）。