Formula
Examples:
Parse Tree
Enter a formula to see its parse tree
Enter a formula above to practice.
The outer parentheses of a formula may be omitted when it is not part of a larger formula.
| Expression | Status |
|---|---|
(p ∨ (q → ¬r)) | official formula |
¬(p ∧ q) | official formula |
p → q | unofficial formula (abbreviates (p → q)) |
¬(p → A) | not a formula (A is not a sentence letter) |
| Type | Symbol |
|---|---|
~ - | ¬ |
& /\ | ∧ |
| \/ | ∨ |
-> => | → |
Enter a formula to see its parse tree
Enter a formula above to practice.