Sign in

Edit history

3 previous versions
← Back to the post

Changes from Version 1 to the current version

[…] occasion, I thought we should do something that cannot be disputed. $\mathbf{MP}:\;\; \varphi$ $, \; \varphi \to \psi $ $\varphi ;\to (vdash\; \psi$ $1$ : $\to \varphi)$ $2$ : $\vdash \varphi \to \varphipsi$ $\vdash \psi$

  1. Current versionHenry D’Angelo·

    Experiment - Final Draft

    Changes from Version 3

    Only formatting changed.

  2. Version 3Henry D’Angelo· Compare with the current version

    Experiment - Final Draft

    Changes from Version 2

    […] $\mathbf{MP}:\;\; \varphi, \; \varphi \to \psi \;\vdash\; \psi$ $1$: $\varphi$ $2$: $\varphi \to \psi$ $\vdash \psi$

  3. Version 2Henry D’Angelo· Compare with the current version

    Experiment - Final Draft

    Changes from Version 1

    […] occasion, I thought we should do something that cannot be disputed. $\mathbf{MP}:\;\; \varphi$ $, \; \varphi \to \psi \;\vdash\; \psi$ $1$: $\varphi$ $2$: $varphi \to (\psi \to \varphi)$ $\vdash \varphi \to \varphipsi$

  4. Version 1Henry D’Angelo· Compare with the current version

    Experiment - Final Draft

    This post is the first ever to be converted to a final draft. For the occasion, I thought we should do something that cannot be disputed.

    φ\varphi

    φ→ψ\varphi \to \psi

    φ→(ψ→φ)\varphi \to (\psi \to \varphi)

    ⊢φ→φ\vdash \varphi \to \varphi