A，B，C都是集合，如果A ∪B=A ∪C ，则B=C 。

若函数g 和f 是入射，则g○f 是（）；若g 和f 是满射的，则g○f 是（）；若g 和f是双射的，则g○f...

填空题若函数g 和f 是入射，则g○f 是（）；若g 和f 是满射的，则g○f 是（）；若g 和f是双射的，则g○f 是（）。

公式（∀x）R（x）→Q（y）中，x 是（）出现，y 是（）出现。

填空题公式（∀x）R（x）→Q（y）中，x 是（）出现，y 是（）出现。

谓词公式∀x （¬P（x）→¬P（x））是（），∀xP（x）→∃xP（x）是（）。（填逻辑有效式或矛盾式）

填空题谓词公式∀x （¬P（x）→¬P（x））是（），∀xP（x）→∃xP（x）是（）。（填逻辑有效式或矛盾式）