You're not logged in. Exercises work as usual, but progress is not tracked.
Here is a random formula!
p
And here is a random substitution s! (For any atomic sentence A not listed, s(A) = A.)
| Atomic | s(Atomic) |
| p | ⊤ → (q ∨ ¬s) |
| q | u ∧ (r ∨ ⊤) |
| r | (s ∨ t) ∧ t |
| s | (p ∧ u) ∨ u |
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 |