Change parenthesis requirements for quantifiers.

gauravmm / Navelgazer

Linter for first-order logic

http://navelgazer.gauravmanek.com/

MIT License

0 stars 1 forks source link

Change parenthesis requirements for quantifiers. #5

Closed gauravmm closed 8 years ago

gauravmm commented 8 years ago

When using quantifiers:

Parens are required around the quantifiers; this should not be necessary in input. Also, parens are not automatically inserted around the thing quantified. For example:

// These:
(∀x)Rxy
(∀x)(Rxy)
∀x Rxy
∀x(Rxy)
// Should automatically become:
(∀x)(Rxy)