Notes to Dependence Logic
1.
Since, for simplicity, we are working with expressions in negation
normal form, there is no need of a third element to indicate whether
the current subformula is or is not negated as a component of the
sentence.
Copyright © 2021 by
Pietro Galliani
<pgallian@gmail.com>