search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Add: Implement logic system for symbolic derivation #15

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

This one should honestly be pretty fun. Note that the "derivative" operator kinda acts like a quantifier: the lhs can only be a variable.

gelijergensen commented 3 years ago

I don't really feel like doing this right now. We can maybe reconsider it later