Proof checker of Christian Gottschall's Gateway to Logic

Esta página se ejecutará en el Gateway to Logic de Christian Gottschall

1 (1) all(x,F(x)->G(x)) A 2 (2) ~G(A) A 3 (3) F(A) A 1 (4) F(A)->G(A) 1UE 1,3 (5) G(A) 4,3->E 1,2,3 (6) G(A) & ~G(A) 2,5&I 1,2 (7) ~F(A) 3,6~I
		Tiempo de espera: