问答题
设A,B为任意的命题公式,证明:¬A⇔¬B当且A⇔B。
问答题 证明:(p↓q)↓rp↓(q↓r),(p↑q)↑rp↑(q↑r)。
问答题 证明:p↑qq↑p,p↓qq↓p。
问答题 将公式化成与之等值且仅含{¬,→}中联结词的公式:(p∧q)r。