A Python based Reverse Descent Parser for basic logical languages that determines whether logical statements are valid or invalid.
# --------------------------------------------
# SENTENCE : PROP | TRUTH | NEG | AND | OR | IMPL | EQ
# PROPOSITION : a | b | c | ... | z
# TRUTH : true | false
# NEGATION : not S
# AND : S and S
# OR : S or S
# IMPLICATION : S impl S
# EQUALITY : S = S
# --------------------------------------------
The application can be started with:
python main.py
This repository is released under the MIT license. See LICENSE for details.