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