sanjanasuresh927 sanjanasuresh927 13-07-2024 Mathematics Answered 1. AX:(p(X) => ~q(X)) Premise 2. EX:p(X) => AX:q(X) Premise Goal: ~EX:p(X)