问答题
设A,B,C为任意的命题公式:若A∨C⇔B∨C,举例说明A⇔B不一定成立。
问答题 设A,B为任意的命题公式,证明:¬A¬B当且AB。
问答题 证明:(p↓q)↓rp↓(q↓r),(p↑q)↑rp↑(q↑r)。
问答题 证明:p↑qq↑p,p↓qq↓p。