decidability
Sections
ClassicalProps(jlc)
Doc
Def
b == if b
false
else true
fi
In prior sections:
bool
1
union
b == if b
false else true fi