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

　　（术语）就有无之义立四句而分别之时，第一句曰：“有而非无”，是有句也。第二句曰：“无而非有”，是无句也。第三句曰：“亦有亦无”，是双亦句也。第四句曰：“非有非无”，是双非句也。