Results 1 to 3 of 3

Math Help - Rules of Inferences

  1. #1
    Newbie
    Joined
    Mar 2009
    Posts
    13

    Rules of Inferences

    Find the relevant conclusion or conclusions from the given set of premises.

    "If I take the day off, it either rains or snows."
    "I took Tuesday off or I took Thursday off."
    "It was sunny on Tuesday."
    "It did not snow on Thursday."

    The problem that I have with this question is setting up the premises. I do have the answer and I don't understand it. The thing that confuses me is the date.

    Do I set the date in with the premise as one proposition or two propositions. To me, both are necessary.
    ie The 2nd premise and the last one respectively.

    Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    May 2009
    From
    Tokyo, Japan
    Posts
    46
    Kinda depends on the logic you are allowed to use, but in general:

    NOT weather(snow, Thursday)
    weather(sunny, Tuesday)
    take_day_off(Tuesday) XOR take_day_off(Thursday)
    take_day_off(x) IMPLIES (weather(rain, x) XOR (weather(snow,x))

    try and find the missing information now, we know the weather on both days, s we need to know if the day was taken off on Thursday or Tuesday.

    if Tuesday was taken off, this would mean that (weather(rain, x) XOR (weather(snow,x)) is true, which it is not since weather(sunny, Tuesday). So take_day_off(Tuesday) is false.
    take_day_off(Tuesday) XOR take_day_off(Thursday) now says that take_day_off(Thursday) is true. a combination of NOT weather(snow, Thursday) and take_day_off(x) IMPLIES (weather(rain, x) XOR (weather(snow,x)) now says that the weather on Thursday was rain.

    Sorry for the crappy notation, forgot how to make the logical symbols on here...
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2009
    Posts
    13
    TiRune

    Your answers are right, and I will work on the question using your suggestion.

    Thanks
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Making Population Inferences From Samples
    Posted in the Statistics Forum
    Replies: 1
    Last Post: April 8th 2010, 08:25 PM
  2. Inferences About Means
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: December 10th 2009, 03:00 PM
  3. Small Sample Inferences About a Single Mean
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: November 18th 2008, 02:01 PM
  4. proof and rules of inferences
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: September 4th 2006, 11:24 PM

Search Tags


/mathhelpforum @mathhelpforum