If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)

Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie

Logic: help with resolution principle

mightyreds · 2016-01-08 10:47:05

Hi guys just need a little help with the resolution principle, for starters I am terrible at logic so if it looks like I haven't a clue what I'm talking about I really don't. So here goes: When being lectured in the resolution principle our equations were always given in the form (A∧B) → B, so I would turn it into…

Options

08-01-2016 11:47am

#1

mightyreds

Registered Users Posts: 2,789 ✭✭✭

Join Date: December 2009

Posts: 2746

Hi guys just need a little help with the resolution principle, for starters I am terrible at logic so if it looks like I haven't a clue what I'm talking about I really don't.

So here goes:

When being lectured in the resolution principle our equations were always given in the form (A∧B) → B, so I would turn it into conjunctive normal form and negate the conclusion {A},{B},{¬B}, what if the problem is (A∧(b=>(¬C∨D)))∨F do i negate everything after the implies, also what if there is 2 implies in the equation?? Do you just continue on and solve it without negating anything?

0