teaching:is:prop-rules-solutions
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| teaching:is:prop-rules-solutions [2020/06/24 08:05] – Franconi Enrico | teaching:is:prop-rules-solutions [2020/06/24 08:06] (current) – [5.3] Franconi Enrico | ||
|---|---|---|---|
| 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: by Franconi Enrico