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/06/24 10:05] Franconi Enrico |
teaching:is:prop-rules-solutions [2020/06/24 10:06] (current) Franconi Enrico [5.3] |
||
---|---|---|---|
Line 63: | Line 63: | ||
Any two of { b, d, h } . | Any two of { b, d, h } . | ||
- | ===== 5.3 ===== | + | ===== 5.4 ===== |
(a) | (a) | ||
+ | < | ||
C={} | C={} | ||
- | |||
C={c,e} (by 4 & 5) | C={c,e} (by 4 & 5) | ||
- | |||
C={c,e,b} (by 3) | C={c,e,b} (by 3) | ||
- | |||
C={c,e,b,a} (by 1) | C={c,e,b,a} (by 1) | ||
- | |||
C={c, | C={c, | ||
+ | </ | ||
(b) each of {c,e,b,a,j} is true and the other atoms (including f) are false. | (b) each of {c,e,b,a,j} is true and the other atoms (including f) are false. |