MHB Conditional proof for multiple quantifier

Click For Summary
To prove ((Ǝx) F(x) → (Ǝx) G(x)) using conditional proof, start with the premises: ((Ǝx) F(x) → (∀z) H(z)) and H(a) → G(b). The discussion suggests that a formal proof in logical calculus may be necessary for clarity. A reference link is provided for additional guidance on formal proofs. Understanding the relationship between existential and universal quantifiers is crucial in this context.
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
 
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/.
 

Thread 'Two interesting number theory tricks'

First trick I learned this one a long time ago and have used it to entertain and amuse young kids. Ask your friend to write down a three-digit number without showing it to you. Then ask him or her to rearrange the digits to form a new three-digit number. After that, write whichever is the larger number above the other number, and then subtract the smaller from the larger, making sure that you don't see any of the numbers. Then ask the young "victim" to tell you any two of the digits of the...
View full post »

Similar threads

Undergrad Proof request for best linear predictor
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Help understanding conditional expectation identity
  • · Replies 1 ·
Replies
1
Views
2K
MHB How to Prove the Negation of Nested Quantifiers After Instantiation?
  • · Replies 4 ·
Replies
4
Views
2K
Undergrad On the expected value of a sum of a random number of r.v.s.
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad On Jensen's inequality for conditional expectation
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Expected value of X~Geom(p) given X+Y=z
  • · Replies 5 ·
Replies
5
Views
2K
MHB Proving Turan's Theorem (Dual Version) and its Implications for $ex(n, K_{p+1})$
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Is this conditional expectation identity true?
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Contrapositive of theorem and issue with proof
  • · Replies 5 ·
Replies
5
Views
2K
Graduate Quantifying nonlinearity from data
  • · Replies 3 ·
Replies
3
Views
1K