问答题
将下列公式用只含¬,∧,的等价式表示:(p→(q∨r))∨(¬p→r)
问答题 证明:如果R是自反的且具有欧几里得性质,那么R具有菱形性质.
问答题 证明:如果R是对称且传递的,那么R具有欧几里得性质。
问答题 将下列公式用只含,∧,的等价式表示:(p∨q)∨(p→q)