Search results

I need to prove this by using the indirect proof method and avoiding universal generalization. 1. (existential quantifier) (Px) horseshoe Qc/ (x) (Px horseshoe Qc) Any help is some help. :) thanks!