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