Results 1 to 4 of 4

Math Help - inference problem

  1. #1
    Newbie
    Joined
    Nov 2009
    Posts
    3

    inference problem

    Hi,
    I've been bogging down for a while but got nowhere.
    Use rules of inference to show that
    <br />
p\rightarrow\,q<br />
    <br />
q\rightarrow\ (r\wedge\ s)<br />
    <br />
\neg\ r \rightarrow\ (\neg\ t \vee\ u)<br />
    <br />
p \wedge\ t<br />
    -------------
    <br />
\therefore u<br />



    Thanks in advance
    Regards
    TmX
    Last edited by TurboManX; November 25th 2009 at 05:43 AM. Reason: Used Math notations
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,517
    Thanks
    771
    It does not seem to follow. Consider the assignment where p, q, r, s are true and t, u are false. Then it seems to me that all premises are true but u is false.

    Also, could you write an example of inference? There are dozens of way to write proofs, from completely formal to English text. I don't know what style you use.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Nov 2009
    Posts
    3
    Ignore this post please,
    Posted accidentally
    Sorry about that
    Last edited by TurboManX; November 25th 2009 at 12:18 AM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Nov 2009
    Posts
    3
    Quote Originally Posted by emakarov View Post
    It does not seem to follow. Consider the assignment where p, q, r, s are true and t, u are false. Then it seems to me that all premises are true but u is false.

    Also, could you write an example of inference? There are dozens of way to write proofs, from completely formal to English text. I don't know what style you use.
    Sure,
    Check out the link please
    List of rules of inference - Wikipedia, the free encyclopedia

    Regards
    TmX
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Arguments - Inference laws problem
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 18th 2010, 10:38 PM
  2. Inference
    Posted in the Discrete Math Forum
    Replies: 13
    Last Post: September 17th 2010, 10:39 AM
  3. Rules of Inference - Stuck on discrete problem
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: September 23rd 2009, 04:57 AM
  4. Rules of Inference... I think
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: September 17th 2009, 03:53 PM
  5. Inference for variances
    Posted in the Calculus Forum
    Replies: 0
    Last Post: November 13th 2006, 12:45 AM

Search Tags


/mathhelpforum @mathhelpforum