P∧Q■P规则相关硕士博士期刊学术论文

逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q=〉P规则在内的多条公理式......