问答题
试举例说明:自反性与传递性对差运算不封闭.
问答题 试举例说明:反对称性与传递性对并运算不封闭。
问答题 用主合取范式判断下列命题公式是否等价:(p→q)→r和p→(q→r)
问答题 用主析取范式判断下列命题公式是否等价:(p→q)∧(p→r)和p→(q∧p)