一棵树的3个4度点，4个2度点，其它的都是1度，那么这棵树的边数是

请写出表示德摩根律的两个命题公式等价定理_____，_____。

n个命题变元的_____称为小项，其中每个变元与它的否定不能同时出现，但两者必须_____。

前提引入规则：在证明的任何步骤上都可以_____，简称_____规则。

自由变元代入规则是指对某_____出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且_____。

设A={1，2，3，4}，A上的二元关系R={< 1，2 >，< 2，4 >，< 3，3 >}，S={< 1，3 >，< 2，4 >，< 4，2 >}，则R2∘S=_____，（R-1）2=_____。

设代数系统< A，·，* >是环，则< A，· >是_____，< A，* >是_____。

在< Z7-{0}，7 >中，元素2的阶是_____，它生成的子群为_____，其中（7为模7乘法。）

设< A，≤ >是一个_____，如果A中任意两个元素都有_____，则称< A，≤ >为格。

若一条_____中，所有的_____均不相同，称为迹。