Finding a logical formula (wff) for an englsh expression

Syrus
Messages
213
Reaction score
0

Homework Statement



Suppose P(x) is a statement with a free variable x. Find a formula, using logical symbols, that means "there are exactly two values of x for which P(x) is true."


Homework Equations





The Attempt at a Solution




(∃x)(∃y)(∀z)(P(x) ∧ P(y) ∧ P(z) → ( x=z ∨ y=z) ∧ x≠y)

Is this valid?
 
Physics news on Phys.org

Thread 'Prove that the integral is equal to ##\pi^2/8##'

Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
View full post »

Similar threads

How to Interpret the Basic Logic Problem with Predicate P(x,y,z)
Replies
2
Views
1K
Lagrange multipliers understanding
Replies
8
Views
2K
Find the density of the sum of two jointly distributed rv's
Replies
11
Views
2K
How should I find the equilibrium points and the general equation?
Replies
3
Views
1K
Probability Theory: Need help understanding a step
Replies
5
Views
1K
Finding line where two planes intersect
Replies
3
Views
1K
Find the osculating plane and the curvature
Replies
1
Views
2K
Find the set of all functions that satisfy the inequality
Replies
9
Views
2K
How do we write a sinusoidal solution to a 2nd order DE as a sum of exponentials raised to complex roots?
Replies
2
Views
2K
Finding Probability Density Functions for Independent Random Variables
Replies
2
Views
2K

Hot Threads

Recent Insights

Back
Top