A small project which will take a series of premises and a conclusion in formal logic notation and verify them against every truth assignment. Available online at github.io. Written in TypeScript, licensed under 2 clause BSD.
-
Notifications
You must be signed in to change notification settings - Fork 0
A zero-order predicate logic verifier
License
XavierCooney/logic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A zero-order predicate logic verifier