Syntax/logic analyzer made with semantic trees for logic propositions.
SYMBOLS
- PROPOSITIONS: All lower case letters (excluding 'ñ' character)
- NEGATION: ~
- CONJUNCTION: &
- DISJUNCTION: |
- IMPLICATION: -> (two chars)
- DOUBLE IMPLICATION: <-> (three chars)
HOW DOES IT WORK?
- You'll be asked to type how many propositions you want before the conclusion.
- Type the logic propositions, 1 per line (logic propositions that have two operands MUST be inside parentheses)
- Finally, type the conclusion (MUST be between parentheses)
PARENTHESES MAY NOT APPEAR ON ATOMIC PROPOSITIONS
Modus Ponens