LogoClawIndex
案例技能关于
LogoClawIndex

proof-by-contradiction - 反证法：数学证明技术

通过假设否定并推导矛盾来证明数学陈述

标签

更新于: 2026-02-14
数学证明逻辑定理证明lean

能力

典型输入

典型输出

该技能可以做什么

  • 否定数学陈述
  • 推导逻辑结果
  • 识别矛盾模式
  • 在Lean中形式化证明
  • 验证证明正确性

输入

  • 数学陈述
  • Lean定理证明器
  • 证明假设

输出

  • 形式化证明
  • 证明文档
  • Lean代码文件

要求

  • Lean定理证明器环境
  • 待证明的数学陈述

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
否定数学陈述
推导逻辑结果
识别矛盾模式
在Lean中形式化证明
数学陈述
Lean定理证明器
证明假设
形式化证明
证明文档
Lean代码文件