[Top page]

Trying to prove with threshold = 0 --------- Ax --------- Ax p,q --> q p,q --> p ----------------------- R/\ p,q --> q/\p ------------- L/\ p/\q --> q/\p # Proved in 0 msec. Trying to prove with threshold = 0 --------- Ax --------- Ax q,p --> p q,p --> q ----------------------- R/\ q,p --> p/\q ------------- L/\ q/\p --> p/\q # Proved in 0 msec.

Maintained by Naoyuki Tamura / Programmed by Naoyuki Tamura