Propositional Logic | Rewrite Rules | Formula to DNF

  • (3 Pages)
  • +
  • 1
  • 2
  • 3

33 Replies - 3716 Views - Last Post: 12 July 2012 - 11:06 AM

#31 TechSyndrome  Icon User is offline

  • D.I.C Head
  • member icon

Reputation: 3
  • View blog
  • Posts: 135
  • Joined: 06-May 12

Re: Propositional Logic | Rewrite Rules | Formula to DNF

Posted 12 July 2012 - 10:45 AM

View PostTechSyndrome, on 12 July 2012 - 10:37 AM, said:

View Postsepp2k, on 12 July 2012 - 10:15 AM, said:

Here the negation wasn't part of the pattern that was being replaced. The rule said "replace F->G" with "not F or G". So the solution replaced "S -> R" with "not S or R". The not in front of the parentheses remained unaffected.

If the rule had said "replace not(F -> G) with not F or G" instead, the not would have been removed.


If I understood correctly, the parentheses make quite a difference?


Quote

If the rule had said "replace ¬ (F -> G) with ¬ F or G" instead, the not would have been removed.


The ¬ ("not") would have been removed outside the parentheses, but, a ¬ ("not") would have been added to the "s" inside the parentheses.

So, ¬(S -> R) becomes (¬S -> R) with the above rule ^?

This post has been edited by TechSyndrome: 12 July 2012 - 10:46 AM

Was This Post Helpful? 0
  • +
  • -

#32 sepp2k  Icon User is offline

  • D.I.C Lover
  • member icon

Reputation: 2134
  • View blog
  • Posts: 3,272
  • Joined: 21-June 11

Re: Propositional Logic | Rewrite Rules | Formula to DNF

Posted 12 July 2012 - 10:54 AM

No, in the second case the not would have been removed because it was part of the pattern not because of the parentheses. The first pattern didn't contain a not anywhere - the second did. That's why the not disappears in the second case - not because of the parentheses.
Was This Post Helpful? 1
  • +
  • -

#33 TechSyndrome  Icon User is offline

  • D.I.C Head
  • member icon

Reputation: 3
  • View blog
  • Posts: 135
  • Joined: 06-May 12

Re: Propositional Logic | Rewrite Rules | Formula to DNF

Posted 12 July 2012 - 10:59 AM

View Postsepp2k, on 12 July 2012 - 10:54 AM, said:

No, in the second case the not would have been removed because it was part of the pattern not because of the parentheses. The first pattern didn't contain a not anywhere - the second did. That's why the not disappears in the second case - not because of the parentheses.


Ok, do you get the sense that I'm lacking basic knowledge in this, and if so, do you have a reference (YouTube link etc), where I can see where this is all going wrong. Out of everything I've done in Propositional Logic so far, it has been very easy, but something seems to have gone wrong here. I think theres some fundamental topic I've missed out?
Was This Post Helpful? 1
  • +
  • -

#34 sepp2k  Icon User is offline

  • D.I.C Lover
  • member icon

Reputation: 2134
  • View blog
  • Posts: 3,272
  • Joined: 21-June 11

Re: Propositional Logic | Rewrite Rules | Formula to DNF

Posted 12 July 2012 - 11:06 AM

I don't know. I don't think there's something specific you're missing (or if you do, I don't know what it is) - just maybe a general familiarity with abstract thinking. But that kind of thing is trained - not learned.
Was This Post Helpful? 1
  • +
  • -

  • (3 Pages)
  • +
  • 1
  • 2
  • 3