四句分別
四句 - WikiArc
レンマ - Wikipedia
インド論理学 - Wikipedia#四句分別（チャトゥシュコーティ）
Catuṣkoṭi - Wikipedia
Graham Priest "THE LOGIC OF THE CATUSKOTI" 2010
四句分別
$ P\lor\overline P\lor(P\curlywedge\overline P)\lor(\neg P\curlywedge\overline P)
四句否定
$ \neg P\land\neg\overline P\land\neg(P\curlywedge\overline P)\land\neg\overline{P\curlywedge\overline P}