艾弗森约定简介

为了能够在表述时方便，规定形如[条件判断的内容]有类似于

应用这种约定,可以推出下列恒等式

$\left [ 1\le j< k\le n \right ]+ \left [ 1\le k< j\le n \right ]=\left [ 1\le j, k\le n \right ]-\left [ 1\le j= k\le n \right ]$

上式可以通过类似于容斥原理的思想感性理解，然而不是所有情况下都那么方便

有没有一些公式定律能帮助我们做这类式子的恒等变换