Logic 2010: Derivation e Deriv 3.422: Fx + P. FyGx:P All derived rules of Chapter III have been disabled for this problem. This is a very difficult problem unless an appropriate technique is used to deal with the free variables in the premises. Deriv 3.422: Fx P. Fyn Gx :P Select User Rules Check Save Delete Submit Print Menu Close Feedback Starting Help FAQ Advice Sat, 2/6/2021 10:00 PM