Finding a logical formula (wff) for an englsh expression

  • Thread starter Syrus
  • Start date
  • #1
Syrus
214
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?
 

Answers and Replies

Suggested for: Finding a logical formula (wff) for an englsh expression

Replies
8
Views
1K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
4
Views
4K
Replies
2
Views
1K
Replies
2
Views
590
  • Last Post
Replies
7
Views
2K
Replies
5
Views
831
Replies
1
Views
7K
  • Last Post
Replies
1
Views
2K
Top