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