p→q∧p←q是不是重言式

Question

如题所述

Answer 1

是重言式。重言式（Tautology）又称为永真式，是逻辑学的名词，p-q·p-q是重言式。重言式的定义是：如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。