• Support PF! Buy your school textbooks, materials and every day products Here!

Finding a logical formula (wff) for an englsh expression

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

Related Threads on Finding a logical formula (wff) for an englsh expression

  • Last Post
Replies
1
Views
1K
Replies
4
Views
819
  • Last Post
Replies
19
Views
7K
  • Last Post
Replies
2
Views
2K
Replies
8
Views
898
Replies
1
Views
799
Replies
1
Views
7K
  • Last Post
Replies
4
Views
3K
Replies
5
Views
566
  • Last Post
Replies
4
Views
1K
Top