Menu

Paste example

φ⇒φ
φ⇒¬¬φ
(φ⇒ψ)∧(ψ⇒θ)⇒(φ⇒θ)
ψ,φ⊢(φ⇒ψ)∧(ψ⇒θ)
(φ⇒θ)
(ψ⇒θ)
(φ⇒ψ)∧(ψ⇒θ)⇒(φ⇒θ)

Font size

32
38
44
50

Gentzen Fitch

a->b->c

All Hypotheses

Current Hypotheses

All rules
Recommended rules
Tree

General Syntax Input

Proof Document