„Szerkesztő:Kizin/próba” változatai közötti eltérés

:: erre a v értékelésre a φ igaz lesz, hiszen φ tautológia, tehát v(φ)=i (igaz)

:: ekkor vizsgáljuk meg erre a v értékelésre a (φ→ψ)-t, v(φ→ψ)=h a "→" definíciója szerint, de ez ellentmond annak, hogy (φ→ψ) tautológia.