This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
teaching:is:prop-rules-solutions [2020/05/21 16:55] Franconi Enrico |
teaching:is:prop-rules-solutions [2020/06/24 10:06] (current) Franconi Enrico [5.3] |
||
---|---|---|---|
Line 62: | Line 62: | ||
(d) Give two atoms that are not logical consequences of the KB: | (d) Give two atoms that are not logical consequences of the KB: | ||
Any two of { b, d, h } . | Any two of { b, d, h } . | ||
+ | |||
+ | ===== 5.4 ===== | ||
+ | (a) | ||
+ | < | ||
+ | C={} | ||
+ | C={c,e} (by 4 & 5) | ||
+ | C={c,e,b} (by 3) | ||
+ | C={c,e,b,a} (by 1) | ||
+ | C={c, | ||
+ | </ | ||
+ | |||
+ | (b) each of {c,e,b,a,j} is true and the other atoms (including f) are false. | ||
+ | |||
+ | < | ||
+ | < | ||
+ | | ||
+ | | | ||
+ | | ||
+ | / \ | ||
+ | {yes⇽d,c} {yes⇽e,c} | ||
+ | | | | ||
+ | {yes⇽h,c} {yes⇽c} | ||
+ | | | ||
+ | {yes⇽} | ||
+ | </ |