ICode9

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)