首页 > TAG信息列表 > 合取范式
离散
1. "x+5>0"，这是一个命题。 F 2.设A，B，C，D为任意集合，则命题“若A⊆C且B⊆D，则有A×B⊆C×D”是真命题 T 3.命题公式 (┐p→q)→(q→┐p)的类型是（ ） 非重言式的可满足式 4.命题公式 ((p∨q)→r)↔s的类型是（ ） 非重言式的可满足式 ((p∨q)→r)←→s<=> (((p∨q)→r)→s)离散
1. "x+5>0"，这是一个命题。 F 2.设A，B，C，D为任意集合，则命题“若A⊆C且B⊆D，则有A×B⊆C×D”是真命题 T 3.命题公式 (┐p→q)→(q→┐p)的类型是（ ） 非重言式的可满足式 4.命题公式 ((p∨q)→r)↔s的类型是（ ） 非重言式的可满足式 ((p∨q)→r)←→s<=> (((p∨q)→r)→s)