Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

ProofObject

ProofObject[…]

表示由 FindEquationalProof 产生的证明对象 (proof object).

更多信息

可通过 ProofObject[…]["prop"] 获取证明的属性.
可能的属性包括：

	"ProofDataset"	用数据集给出的证明步骤
	"ProofGraph"	抽象证明网络
	"ProofGraphWeighted"	强调中央引理的抽象证明网络
	"ProofLength"	证明中的步骤数
	"ProofNotebook"	写在笔记本中的证明
	"ProofFunction"	用于验证重写规则的函数
	"Theorem"	定理陈述
	"Axioms"	公理陈述
	"Logic"	使用的逻辑类型（如 "EquationalLogic"）

范例

打开所有单元关闭所有单元

基本范例 (1)

用一阶逻辑证明一个定理：

显示定理陈述：

陈述证明定理所用的公理

显示使用的逻辑类型：

用 Dataset 对象显示完整的证明步骤：

显示抽象证明网络：

输入自然语言参数：

构建执行证明步骤的函数：

范围 (5)

指定群论的公理：

证明左边的恒等式存在：

显示定理陈述：

陈述证明定理所用的公理

显示使用的逻辑类型：

指定阿贝尔群论公理：

证明阿贝尔群论定理：

显示证明过程数据集：

提取 Critical Pair Lemma 2 的陈述：

提取 Critical Pair Lemma 2 的证明过程：

指定一些布尔逻辑的简短公理：

证明一个布尔代数定理：

显示抽象证明网络：

突出显示所有代入引理：

证明一阶逻辑定理：

输入自然语言参数：

指定 Sheffer 逻辑公理：

证明 Sheffer 逻辑定理：

构建（并运行）相关的证明函数：

顶部