search

melvic-ybanez / lohika

A Proof Generator for Entailments and Tautologies in First-order Logic
MIT License
37 stars 1 forks source link

Parse Universal Quantification #20

Closed melvic-ybanez closed 2 months ago

melvic-ybanez commented 2 months ago

Reopening this since it doesn't support nested quantifications such as A:A:x (P => Q)

melvic-ybanez commented 2 months ago

Reopening this since it doesn't support nested quantifications such as A:A:x (P => Q)

Closing again since that example above isn't even valid.