问答题
设A，B，C为任意的命题公式：若A∨CB∨C，举例说明AB不一定成立。
问答题设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）。
