$`\lambda`$ や $`\forall`$ は省略されることが多い。$`\forall`$ に関しては次の2つのケースがある。 モノグサ： 書くのがめんどくさいから省略。 推論規則： 全称限量子 $`\forall`$ の消去〈elimination〉規則を適用した。 証明の途中で全称限量子は正式…

$`\newcommand{\u}[1]{\underline{#1}}M = (\u{M}, (*), e)`$ をモノイドとして、例えば可換律は：$`\quad \forall x, y\in \u{M}.(x* y = y*x)`$次の正規表現で表される言い方は事実上同じ。 {可換 | 交換}{法則 | 律} 可換性{の}?{条件 | 公理} 可換性〈可…

実数係数の2×2行列だけを考える。$`O`$ はゼロ行列、$`I`$ は単位行列。次のような行列の例を挙げよ。 $`A B \ne B A`$ である $`A, B`$ $`A^{-1}`$ を持たないが $`O`$ ではない $`A`$ どちらも $`O`$ ではないが、$`A B = O`$ となる $`A, B`$ $`O`$ でも …