Conditional proof for multiple quantifier

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
1 reply · 2K views
lize
Messages
1
Reaction score
0
Hi, I don't know how to prove ((Ǝx) F(x) →(Ǝx) (G(x)) with conditional proof from:
((Ǝx) F(x) → (∀z) H(z))
H(a) →G(b)

Thanks
 

Discussion

Physics news on Phys.org
What kind of proof do you have in mind? If you are talking about a formal proof in some logical calculus, then please see https://driven2services.com/staging/mh/index.php?threads/29/.
 

Similar threads

Predicate logic with multiple quantifiers

  • brynjolf23
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2

Converse, Contrapositive and Negation for multiple Quantifiers

  • Sandra Tan
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1

Undergrad Supremum proof & relation to Universal quantifier

  • CGandC
  • · Replies 5 ·
  • Set Theory, Logic, Probability, Statistics
Replies
5

Graduate Inequality Proof: Is Multiplying Both Sides Valid?

  • Bashyboy
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3

High School Inductive proof for multiplicative property of sdet

  • Korybut
  • · Replies 1 ·
  • Linear and Abstract Algebra
Replies
1

Restriction with Multiple Quantifiers

  • Joseph1739
  • · Replies 2 ·
  • Calculus and Beyond Homework Help
Replies
2

Graduate Question about proof of Great Picard Theorem

  • MathLearner123
  • · Replies 3 ·
  • Calculus
Replies
3

Is my proof that multiplication is well-defined for reals correct?

  • yucheng
  • · Replies 5 ·
  • Calculus and Beyond Homework Help
Replies
5

Graduate Proof of Multiplicative Inverses of Coprime Numbers via Euclidean Algorithm

  • miccol999
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2

Undergrad Attempting to find an intuitive proof of the substitution formula

  • Adgorn
  • · Replies 7 ·
  • Calculus
Replies
7