计算题 设A，B，C为任意的命题公式：若A∨C⇔B∨C，举例说明A⇔B不一定成立。

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

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

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

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

证明：p↑qq↑p，p↓qq↓p。

问答题证明：p↑q⇔q↑p，p↓q⇔q↓p。