问答题
设R是A上的关系，如下定义R的3个性质（定义表达式中x∈A，y∈A、z∈A省略）： R是循环的当且仅当∀x∀y∀z（xRy∧yRz→zRx）； R有欧几里得性质当且仅当∀x∀y∀z（xRy∧xRz→yRz）； R有菱形性质当且仅当∀x∀y∀z（xRy∧xRz→彐ω（yRω∧xRω）．
证明：如果R是自反且循环的，那么R是对称且传递的。
问答题 将下列公式用只含，∧，的等价式表示：p∨q∨（r→p）
问答题 将下列公式用只含¬，∧，∨的等价式表示： （p↔q）↔r
问答题 将下列公式用只含¬，∧，∨的等价式表示： ¬（p→（q↔（q∧r）））
