如何证明列表nth索引取值大于列表最大值的命题为假
2026-8-27
如何证明「nth取值大于列表最大值」为假命题
首先明确所有给定前置条件：
- 研究对象：元素均为自然数、最大值不为0的列表
l - 待证伪命题：存在索引
k，使得nth k l 0的返回值大于列表l的最大值 - 已确认公理：列表内任意合法位置的元素值，都小于等于该列表的最大值
证明过程
nth k l 0的返回值只有两种互斥且穷尽所有可能的场景，分别验证如下：
- 场景1：
k是列表l的合法索引
此时函数直接返回列表第k位的实际存储元素，根据给定公理，该元素值必然小于等于列表最大值，不可能出现大于最大值的情况。 - 场景2：
k超出列表l的合法索引范围
此时函数按照定义返回默认值0。题目已经明确列表最大值不为0，且列表元素全为自然数，因此列表最大值必然是≥1的自然数，返回值0显然小于列表最大值，同样不可能大于最大值。
所有可能场景下，命题描述的情况都不可能发生，因此原命题为假命题。
内容的提问来源于stack exchange，提问作者niha kee
相关产品推荐
相关产品推荐
