Sequent Prover (seqprover)

Sequent:
Output style:

[Top page]


Trying to prove with threshold = 0

------- Ax
p --> p
--------- R~
 --> ~p,p
---------- L~
~ ~p --> p

# Proved in 0 msec.

Trying to prove with threshold = 0

------- Ax
p --> p
--------- L~
~p,p --> 
---------- R~
p --> ~ ~p

# Proved in 0 msec.

Maintained by Naoyuki Tamura / Programmed by Naoyuki Tamura