[Top page]
Trying to prove with threshold = 0 ------- Ax p --> p --------- L~ p,~p --> ----------- L/\ p/\ ~p --> -------------- Rbot p/\ ~p --> bot # Proved in 0 msec. Trying to prove with threshold = 0 -------------- Lbot bot --> p/\ ~p # Proved in 0 msec.