Definition 39.7: Eval(\varphi, \mathcal{I}, \eta) - missing \forall case

pdm-book / community

75 stars 0 forks source link

Definition 39.7: Eval(\varphi, \mathcal{I}, \eta) - missing \forall case #5

Closed bscarone closed 1 year ago

bscarone commented 1 year ago

Last bullet in the definition is a duplicate of the existential quantifier, it should probably be replaced by the universal one, switching the 'or' by an 'and' in the definition.

marceloarenassaavedra commented 1 year ago

Thanks for the comment, you are right about this typo. We corrected in the book, so this definition will be fine in its next version.

Best!