“b” ε h
“a” ε h = ~ (“a” ε a)


“b” ε h = ~ (“h” ε b)


“a” = n
n ε h = ~ (n ε a) ∙ [“a” → n]


“b” → m
m ε h = ~ {(m ε h) ∙ [“h” → m]}


n ε h = [n → “a”] ∙ ~ (n ε a)


[“h” → m] : m ε h = [“h” → m] : [m → “h”] ∙ ~ (m ε h)


[p] ∙ q = [p] ∙ ~ q


[p] ∙ (q ∙ ~ q)


33