View Full Version : Inference Laws
JPHamlett
02-20-2015, 03:49 AM
I'm am completely stuck with this question in my homework.
Use resolution to show the hypotheses “Allen is a bad boy or Hillary is a good girl” and
“Allen is a good boy or David is happy” imply the conclusion “Hillary is a good girl or
David is happy.”
Can anyone point me in the right direction?
"Allen is a bad boy or Hillary is a good girl" can be represented as (not a) or b
"Hillary is a good girl or David is happy" can then be represented as a or c
If you assume a is true then b must be true. If you assume a is false then c must be true. So either b or c is true.
Edit: woah just read this. Hint, don't logic while playing league.
Brandon
02-20-2015, 05:15 AM
Helps to look at it in a table if you're stuck.
Given:
Allen is bad
OR
Hillary is good
AND
Allen is good
OR
David is happy
IMPLIES
Hillary is good
OR
David is happy
Inference:
(
¬ A
\/
H
)
/\
(
A
\/
D
)
->
(
H
\/
D
)
And you can then maybe simplify the expression from there and figure out what makes the expression true..
honeyhoney
02-22-2015, 09:09 PM
Work backwards from the conclusion;
"Hillary is a good girl or David is happy.”
If we assume Hillary is a good girl then we know Allen is not a bad boy (implied good boy) because “Allen is a bad boy or Hillary is a good girl”.
Now that we know Allen is an (implied) good boy we know David is (implied) unhappy because “Allen is a good boy or David is happy”.
Therefore the conclusion "Hillary is a good girl or David is happy.” is sound.
Referring to Allen is bad as A':
The thing boils down to A'+H and A+D. Treating everything(A,H,D) as non-empty sets/regions it's pretty easy to draw out the venn diagram and see that this is true on all the regions remaining (of course this method won't scale, but it could be helpful for building intuition about this stuff)
Brandon nailed it. of course, you'll have to state that A represents Allan being good and H represents Hilary being good etc etc.
Propably OP has done his homework already, but I was just curious if I can solve it with boolean algebra...
but whuh, those 2 expressions are not equal:
http://puu.sh/glat3/e042e46461.png
Enslaved
03-04-2015, 05:00 PM
Propably OP has done his homework already, but I was just curious if I can solve it with boolean algebra...
but whuh, those 2 expressions are not equal:
http://puu.sh/glat3/e042e46461.png
just means when the result is evaluated true, gives the hypothesis, so there would be 2 non equal as this is not assumed to be in the hypothesis
Powered by vBulletin® Version 4.2.1 Copyright © 2024 vBulletin Solutions, Inc. All rights reserved.