SyntaxAnalyzer

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)

Instructions

HOW DOES IT WORK?

1. You'll be asked to type how many propositions you want before the conclusion.
2. Type the logic propositions, 1 per line (logic propositions that have two operands MUST be inside parentheses)
3. Finally, type the conclusion (MUST be between parentheses)

PARENTHESES MAY NOT APPEAR ON ATOMIC PROPOSITIONS

Example

Modus Ponens