1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Finding a logical formula (wff) for an englsh expression

  1. Sep 22, 2012 #1
    1. The problem statement, all variables and given/known data

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


    2. Relevant equations



    3. The attempt at a solution


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

    Is this valid?
     
  2. jcsd
  3. Sep 22, 2012 #2

    Simon Bridge

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member
    2016 Award

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Finding a logical formula (wff) for an englsh expression
  1. Logic formula (Replies: 1)

  2. Finding Expressions (Replies: 7)

  3. Finding an expression (Replies: 4)

Loading...