Differences

This shows you the differences between two versions of the page.

--- 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:
 Any two of { b, d, h } .
+===== 5.4 =====
+(a)
+<code>
+C={}
+C={c,e} (by 4 & 5)
+C={c,e,b} (by 3)
+C={c,e,b,a} (by 1)
+C={c,e,b,a,j} (by 9)
+</code>
+(b) each of {c,e,b,a,j} is true and the other atoms (including f) are false.
+<nowiki>(c)</nowiki> The rightmost branch is the top-down derivation:
+<code>
+   {yes⇽a}
+       |
+   {yes⇽b,c}
+        / \
+{yes⇽d,c} {yes⇽e,c}
+    |         |
+{yes⇽h,c} {yes⇽c}
+              |
+          {yes⇽}
+</code>

FranconiSpace