什么是演绎证明?

• 显示结果的数学和逻辑论点是真的

如何做演绎证明

你可能还需要:

• 写倍数N在形式kn.对于一些整数K.
• 使用代数技术，显示简化的逻辑步骤
• 使用正确的数学符号

集的数字

• ℕ - 集自然数量
• ℤ - 集整数
• ℚ—一组商品/有理数
• ℝ - 集实数

证据是什么?

• 证明是一系列表明结果的逻辑步骤真正的对于所有指定的数字

证明中的符号

• LHS和RHS是左手边和右手边的标准缩写
• 整数在证明语言中经常使用吗
  • 整型集合用ℤ表示

技术证明