重言式

如果一个复合命题，不管其原子命题取什么值，它总是为真，则我们称之为重言式。 例如 A是A， p→p