Results 1 to 6 of 6

Math Help - Monadic Predicate Logic - Hard Question

  1. #1
    Member
    Joined
    Mar 2010
    Posts
    78

    Monadic Predicate Logic - Hard Question

    Symbolize the following:

    Although some mean elves will bite even though not provoked, neither Bruce nor Carrie will bite unless provoked.

    Symbolization attempt:

    \exists x ((Gx \wedge Hx) \wedge (Ix \wedge \neg Jx))  \wedge (\neg (Ib \vee Ic) \vee (Jb \vee Jc))

    Symbolization Key:

    F{1} {1} is friendly.

    G{1} {1} is mean.

    H{1} {1} is an elf.

    I{1} {1} will bite.

    J{1} {1} is provoked.

    b Bruce

    c Carrie


    Apparently my answer is wrong, but I don't know why. Any help would be appreciated.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Oct 2010
    From
    Mumbai, India
    Posts
    203

    Re: Monadic Predicate Logic - Hard Question

    whats correct answer ? is it given ? to me your answer looks fine
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,504
    Thanks
    765

    Re: Monadic Predicate Logic - Hard Question

    Quote Originally Posted by RogueDemon View Post
    \exists x ((Gx \wedge Hx) \wedge (Ix \wedge \neg Jx))  \wedge (\neg (Ib \vee Ic) \vee (Jb \vee Jc))
    The second part of this formula is true if Bruce was provoked, but it was Carrie who bit, while the original sentence presumably disallows this.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Oct 2010
    From
    Mumbai, India
    Posts
    203

    Re: Monadic Predicate Logic - Hard Question

    ahh i see

    the second part should be

    (I_b \Rightarrow J_b)\wedge(I_c \Rightarrow J_c)

    right makarov ?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,504
    Thanks
    765

    Re: Monadic Predicate Logic - Hard Question

    Yes.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member
    Joined
    Mar 2010
    Posts
    78

    Re: Monadic Predicate Logic - Hard Question

    Thank you! I've been stuck on this problem and another for days. :/
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: October 4th 2011, 06:34 AM
  2. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: March 23rd 2011, 12:05 PM
  3. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 21st 2010, 08:39 PM
  4. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: February 6th 2010, 06:23 AM
  5. basic predicate logic question
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: April 23rd 2009, 03:55 PM

Search Tags


/mathhelpforum @mathhelpforum