[填空题,1分] 永真式的否定是________.
出自:河南理工大学-计算机科学与技术-离散数学