You're not logged in. Exercises work as usual, but progress is not tracked.
Here is a random formula!
⊥ ∧ q
And here is a random substitution s! (For any atomic sentence A not listed, s(A) = A.)
| Atomic | s(Atomic) |
| p | ¬(¬q ∨ p) |
| q | u ∨ (s → s) |
| r | ⊥ |
| s | ¬¬p |
What is the result of applying this substitution to this formula?
You can input connectives by using the symbols below or their ASCII approximations as shown:
| Connective | Symbol (click to add symbol to your formula): |
|---|---|
| Negation | |
| Conjunction | |
| Disjunction | |
| Implication | |
| Falsum | |
| Verum |