Results 1 to 4 of 4

Math Help - Causal form

  1. #1
    Newbie
    Joined
    Apr 2013
    From
    fraga
    Posts
    2

    Causal form

    What is the causal form of ((p ⇒ q) ⇒ (p ⇒ r))
    And the negation of the result?
    Thanks in advance,.
    Last edited by doctorpi; April 17th 2013 at 02:30 PM.
    Follow Math Help Forum on Facebook and Google+

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

    Re: Causal form

    Do you mean clausal form, i.e., a conjunctive normal form?

    What have you tried to find it, and what exactly is your difficulty?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2013
    From
    fraga
    Posts
    2

    Re: Causal form

    (p=>q)=>(p=>r)
    (pvq)=>(pvr)
    (pvq)v(pvr)
    (p^q)v(pvr)
    .
    And here is where I'm not sure.

    With the result I have to negate it because is a conclusion to include in a Resolution, and I'm not sure again of the result.
    Follow Math Help Forum on Facebook and Google+

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

    Re: Causal form

    Quote Originally Posted by doctorpi View Post
    (p=>q)=>(p=>r)
    (pvq)=>(pvr)
    (pvq)v(pvr)
    (p^q)v(pvr)
    .
    And here is where I'm not sure.
    At this point, use distributivity laws.

    [(p ∧ q) ∨ p] ∨ r
    [(p ∨ p) ∧ (q ∨ p)] ∨ r
    q ∨ p ∨ r

    Quote Originally Posted by doctorpi View Post
    With the result I have to negate it because is a conclusion to include in a Resolution, and I'm not sure again of the result.
    The negation is q ∧ p ∧ r.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: January 3rd 2013, 04:27 PM
  2. Replies: 3
    Last Post: October 14th 2012, 10:16 PM
  3. Causal Representation
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: September 11th 2011, 05:30 AM
  4. Replies: 14
    Last Post: May 30th 2008, 06:10 AM
  5. [SOLVED] Causal relation
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: June 15th 2005, 12:31 PM

Search Tags


/mathhelpforum @mathhelpforum