问答题 设A，B，C为任意的命题公式：若A∨CB∨C，举例说明AB不一定成立。

问答题 设A，B为任意的命题公式，证明：￢A￢B当且AB。

问答题 证明：（p↓q）↓rp↓（q↓r），（p↑q）↑rp↑（q↑r）。