构造推理证明:前提:非(p∧q)∨r,r→s,非s,p 结论:非q 推理证明不用归缪法

www.gotaobaowang.com    2022-09-13    标签：Array

参考资料

 

随机推荐