Results 1 to 2 of 2

Math Help - More predicate logic

  1. #1
    Junior Member
    Joined
    Feb 2009
    Posts
    44

    More predicate logic

    Can someone check my answers for me?

    e)“Only zero is divided by all natural numbers.”
    x(∃y(y|x) → (y = 0))

    f) ”Each Pythagorean triple involves at least one even number.”
    x∀y∀z((x^2 + y^2 = z^2) → ∀n(x = 2n V y = 2n V z = 2n))

    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,678
    Thanks
    1618
    Awards
    1
    Passive voice is much more difficult to symbolize that active voice.
    Suppose the domain is the set of non-negative integers.
    ‘Some number is divisible by every number’: \left( {\exists n} \right)\left( {\forall k} \right)\left[ {k|n} \right].
    ‘Every number is divides some number: \left( {\forall k} \right)\left( {\exists n} \right)\left[ {k|n} \right]
    Now on the domain the first statement is false, no number is divisible by zero.
    But on that domain the second statement is true, 1 divides every number.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 5th 2010, 07:53 AM
  2. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: April 29th 2010, 03:51 PM
  3. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 21st 2010, 08:39 PM
  4. Predicate Logic #2
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: February 21st 2010, 08:34 PM
  5. predicate logic
    Posted in the Discrete Math Forum
    Replies: 10
    Last Post: March 6th 2009, 06:04 AM

Search Tags


/mathhelpforum @mathhelpforum