艾佛森括号 在数学中以Kenneth E Iverson命名的艾佛森括号Iverson bracket是一种用方括号记号如果方括号内的条件满足则为不满足则为 更确切地讲  P     If  P  is true  Otherwise displaystyle PbegincasestextIf Ptext is truetextOtherwiseendcases 此处 P 是一个可真可假的命题该记号由Kenneth E Iverson在他的编程语言APL中引进而特别使用方括号则是由高德纳倡导的目的是避免含括号的表达式中的歧义