问答题
将下列命题公式仅用“↓”表示：¬p
<=>p↓p
问答题 证明下列等价式：（p↓q）p↑q
问答题 称A上的关系R是反传递的，如果∀x∀y∀z（xRy∧yRz→xRz） 证明：R是反传的当且仅当R2∩R=ø.
问答题 证明下列等价式：（p↑q）p↓q
