若公式中包含某个命题变项及其否定式，则该公式要么是永真式，要么是永假式。