Xavier's Propositional Logic Analyser v2.4.0
Share/Save
Logic Symbols Synonyms
Logic Symbols Hints
Load Example
(Example modified)
Variables
New Premise
Conclusion
Open source at
https://github.com/XavierCooney/logic/
© Xavier Cooney 2020.
Licensed under 2-Clause BSD
.