【判断题】
命题逻辑中任何命题公式的主析取范式如果存在,一定是唯一的。
【判断题】
集合A上的等价关系确定了A的一个划分。
【判断题】
任意一棵无向树至少有两片树叶(退化树除外)。
【判断题】
任意一个谓词公式均和一个前束范式等价。
【判断题】
设是一个代数系统,且集合A中元素的个数大于1。如果该代数系统中存在幺元e和零元θ,则e≠θ。
【判断题】
f为群到的同态映射,则f的同态核中只有一个元素,即的幺元。
【判断题】
R是A上的二元关系,R是自反的,当且仅当r(R)=R。
【判断题】
A、B、C为任意集合,已知A∪B=A∪C,必须有B=C。