于諸經論中，常采用肯定、否定、複肯定、複否定等四句來分類諸法之形式，或解釋各種義理，稱爲“四句分別”；而于各種形式之四句分別中，若以“有”、“無”概念爲分別之標准者，則稱“有無四句”，有無四句之第一句即爲“有句”。蓋就有、無之義而言，可成立四句以分別諸法，即：(一)有句，即“有而非無”。(二)　　無句，即“無而非有”。(叁)雙亦句（複肯定），即“亦有亦無”。(四)雙非句（複否定），即“非有非無”。（參閱“四句分別”1675）

　　（術語）就有無之義立四句而分別之時，第一句曰：“有而非無”，是有句也。第二句曰：“無而非有”，是無句也。第叁句曰：“亦有亦無”，是雙亦句也。第四句曰：“非有非無”，是雙非句也。