A.(∀x)(A(x)∧B(x))
B.┐(∀x)(A(x)→B(x))
C.(∃x)(A(x)∧B(x))
D.┐(∃x)(A(x)∧┐B(x))

A.5
B.10
C.9
D.12

A.10
B.20
C.30
D.5

A.{1，2}∈A
B.{1，2，3}⊆A
C.{1，2，3}⊃A
D.{1，2，3}∈A

A.在推演过程中可随便使用前提
B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果
C.如果要演绎出的公式为B→C形式，那么将B作为前提，设法演绎出C
D.设Φ(A)是含公式A的命题公式，，则可用B替换Φ(A)中的A

A.①→②
B.②→③
C.③→④
D.④→⑤