“(p→q)∧(r→s)∧(p∨r)→q∨s”这一推理式是()
C
暂无解析
下列关系中既传递又对称的关系有()
“A不是瘙綈[KG-*5]A”是___公式。
已知“可能p”假,可推知()
联言推理有两种推理式:分解式和___。
同时具有对称性和传递性的关系包括()。