永真式的否定是

永假式

永真式的否定是永假式。這是因為永真式是一個在任何情況下都為真的命題，其否定自然在任何情況下都為假，因此是一個永假式。