python - 了解递归奇/偶函数

Question

我目前正在学习Python http://www.sololearn.com/Play/Python我无法理解这段代码为何有效。

def is_even(x):
    if x == 0:
        return True

    else:
        return is_odd(x-1)

def is_odd(x):
    return not is_even(x)

print(is_odd(1))

我了解斐波那契数列和阶乘的递归原理，但我无法理解这个问题。

Answer 1

is_even 的基本情况解析为 True。由于 is_odd(x) 返回 not is_even(x)，因此值 True 将成为 is_odd< 返回的表达式的一部分。问题是这个True值会被否定多少次。通过跟踪调用，您可以看到它将被否定偶数次，因此当 x 为奇数时“保留”其真实性 [例如:x=3 = => (not (not (not (not True)))) == True] 和奇数次，因此“失去”其真实性，当 x 是偶数 [例如:x=2 ==> (not (not (not True))) == False]。可能有一些逻辑术语来命名多重否定的一般属性。