于诸经论中，常采用肯定、否定、复肯定、复否定等四句来分类诸法之形式，或解释各种义理，称为“四句分别”；而于各种形式之四句分别中，若以“有”、“无”概念为分别之标准者，则称“有无四句”，有无四句之第一句即为“有句”。盖就有、无之义而言，可成立四句以分别诸法，即：(一)有句，即“有而非无”。(二)无句，即“无而非有”。(三)双亦句（复肯定），即“亦有亦无”。(四)双非句（复否定），即“非有非无”。（参阅“四句分别”1675） p2429