计算题 将下列命题公式仅用“↓”表示：¬p

证明下列等价式：（p↓q）p↑q

问答题证明下列等价式：¬（p↓q）<=>¬p↑¬q

称A上的关系R是反传递的，如果∀x∀y∀z（xRy∧yRz→xRz） 证明：R是反传的当且仅当R2∩R=ø.

问答题

称A上的关系R是反传递的，如果∀x∀y∀z（xRy∧yRz→xRz）
证明：R是反传的当且仅当R²∩R=ø.

证明下列等价式：（p↑q）p↓q

问答题证明下列等价式：¬（p↑q）<=>¬p↓¬q