teaching:is:ind-solutions
This is an old revision of the document!
Table of Contents
Solutions to the Individuals and Relations lab
12.3
C={r(a),r(e),p(c),q(b),s(a,b),s(d,b),s(e,d)}
C ∪ {q(a)} by rule 2 with X/a,Y/b
C ∪ {p(a)} by rule 1 with X/a
C ∪ {q(d)} by rule 2 with X/d,Y/b
C ∪ {q(e)} by rule 2 with X/e,Y/d
C ∪ {p(e)} by rule 1 with X/e
12.4
12.5
12.6
12.8
12.9
12.14
teaching/is/ind-solutions.1592991114.txt.gz · Last modified: by Franconi Enrico