数集合上的不等关系(≠)可确定A的一个划分。

若集合A上的关系R是对称的，则R∧-1也是对称的。

根树中最长路径的端点都是叶子。

任何循环群必定是阿贝尔群，反之亦真。

命题公式 (A∧( A→B))→B是一个矛盾式。

附带民事诉讼当事人及其法定代理人提出上诉的，二审法院只应对附带民事诉讼部分进行审查。

检察机关在作出审查批捕决定前有权要求公安机关补充侦查。

专门机关及辩护人、诉讼代理人是我国刑事诉讼中的送达主体。

刑事诉讼法与刑法之间是内容与形式的关系，刑事诉讼法是内容，刑法是形式。

证据是实现司法公正的唯一保障。