Pythonのany関数all関数の使い方
Contents
環境
- Python 3.6.7
any関数
any(iterable)
は、引数 $X$ に True
と判定される要素 $x_i$ が存在するかどうかを判定する関数。
\[ \mathrm{any}(X) = \begin{cases} \bigvee_{x_i\in X}x_i & \text{if }|X|\gt 0 \cr \bot & \text{if }|X|= 0 \cr \end{cases} \]
>>> X = [False, False, False]
>>> any(X)
False
>>> X = [False, False, True]
>>> any(X)
True
>>> X = []
>>> any(X)
False
all関数
all(iterable)
は、引数 $X$ に False
と判定される要素 $x_i$ が存在しないことを判定する関数。
\[ \mathrm{all}(X) = \begin{cases} \bigwedge_{x_i\in X} x_i & \text{if }|X|\gt 0 \cr \top & \text{if }|X|= 0 \cr \end{cases} \]
>>> X = [True, True, True]
>>> all(X)
True
>>> X = [True, True, False]
>>> all(X)
False
>>> X = []
>>> all(X)
True