使用一阶逻辑导出Horn条款（确定条款）的前瞻性结论
您的邮箱地址不会被公开。 必填项已用 * 标注
Name*
电子邮箱*
网站
在此浏览器中保存我的显示名称、邮箱地址和网站地址，以便下次评论时使用。
Δ
