teaching:is:prop-rules-solutions
Differences
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. | ||
teaching/is/prop-rules-solutions.1592985934.txt.gz · Last modified: 2020/06/24 10:05 by Franconi Enrico
Page Tools
