真偽値の変数 , およびその否定 をリテラルという。リテラル, およびリテラルを論理和 で繋げた論理式を節という。さらに, 節, および節を論理積 で繋げた論理式を節形式という。例えば, , はリテラル, , , は節, , , , は節形式。 変数 からなる節形式 があ…

Reference. Awodey, S. (2010) Category Theory, Oxford: Oxford University Press, 2nd ed. 2011. 概要 集合 から生成する最小の同値関係を とかく. のcoequalizerが, とするとき であることを示せ. を包む最小の同値関係 問にはさらに, この をと定めよ, …