填空题
x 是全称量词（∀）下自由出现，y 是存在量词下约束出现。解释：在逻辑公式中，变量的出现可以是自由的也可以是约束的。自由......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
谓词公式∀x （¬P（x）→¬P（x））是（），∀xP（x）→∃xP（x）是（）。（填逻辑有效式或矛盾式）
填空题谓词公式∀x （¬P（x）→¬P（x））是（），∀xP（x）→∃xP（x）是（）。（填逻辑有效式或矛盾式）
设集合A={a，b，c，d}，A上的二元关系R={（a，b）（b，a）（b，c）（c，d）}，求t（R）=（）...
填空题设集合A={a，b，c，d}，A上的二元关系R={（a，b）（b，a）（b，c）（c，d）}，求t（R）=（）。
设n（A）=m，则A 上有（）个不同的自反关系。
填空题设n（A）=m，则A 上有（）个不同的自反关系。
