[证明题,7.1分] 在自然推理系统P中用附加前提法证明下面推理:
前提:
结论:
出自:河南理工大学-计算机科学与技术-离散数学

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块