Conditional proof for multiple quantifier

Context:
Thread starter lize
Start date Mar 7, 2016
Tags

Conditional Multiple Proof

Join the discussion

Registration is free. Start your own thread to ask a follow-up.

1 reply · 2K views

lize

Thread starter
Mar 7, 2016

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

Physics news on Phys.org

Disordered atoms steer shared light pulses by matching motion and timing
Novel particle beam could challenge Einstein's theory of gravity
Speedy electrons for brilliant laser light: Research paves the way for compact, inexpensive free-electron lasers

Discussion

Evgeny.Makarov

Gold Member

MHB

Mar 13, 2016

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/.

Conditional proof for multiple quantifier

Discussion

Similar threads

Predicate logic with multiple quantifiers

Converse, Contrapositive and Negation for multiple Quantifiers

Graduate Inequality Proof: Is Multiplying Both Sides Valid?

High School Inductive proof for multiplicative property of sdet

Restriction with Multiple Quantifiers

How to apply universal quantifier introduction when x occurs free in hypotheses

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

Negating statements with multiple quantifiers

Graduate Proof of Multiplicative Inverses of Coprime Numbers via Euclidean Algorithm

Undergrad Attempting to find an intuitive proof of the substitution formula