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

Both sides previous revision Previous revision Next revision | Previous revision | ||

cs-236:homework-6 [2017/10/17 16:01] cgc [Problems] |
cs-236:homework-6 [2017/10/17 17:35] jrtyler [Problems] |
||
---|---|---|---|

Line 6: | Line 6: | ||

==Problems== | ==Problems== | ||

- | # (6 points) Section 1.6 (int'l 1.5) Problem 6 (page 78) | + | For the International version of the book, change "Section 1.6" to "Section 1.5". |

- | # (2 points) Section 1.6 (int'l 1.5) Problem 8 | + | |

- | # (14 points) Section 1.6 (int'l 1.5) Problem 10 parts a and b | + | Please format your answers as closely to these examples: [[https://wiki.cs.byu.edu/_media/cs-236/homework_6_examples.pdf]] |

- | # (6 points) Section 1.6 (int'l 1.5) Problem 16 parts b and d | + | |

- | # (2 points) Section 1.6 (int'l 1.5) Problem 24 | + | For each of the problems (except Section 1.6 question 24), '''you will need to provide a proof''' in addition to what the question is asking (unless the conclusion you are asked to prove is incorrect; instead you will need to explain why it is incorrect). |

- | # (4 points) Section 1.6 (int'l 1.5) Problem 34 part a | + | |

+ | For the problems involving Section 1.6 question 10, you don't need to explain what rules of inference are used as long as you provide a proof. | ||

+ | |||

+ | # (6 points) Section 1.6 Problem 6 | ||

+ | # (2 points) Section 1.6 Problem 8 | ||

+ | # (6 points) Section 1.6 Problem 10 part a | ||

+ | # (8 points) Section 1.6 Problem 10 part b (use resolution) | ||

+ | # (3 points) Section 1.6 Problem 16 part b | ||

+ | # (3 points) Section 1.6 Problem 16 part d | ||

+ | # (2 points) Section 1.6 Problem 24 | ||

+ | # (4 points) Section 1.6 Problem 34 part a (use resolution) | ||

# (6 points) Use resolution to answer the query in '''a.dl''' below | # (6 points) Use resolution to answer the query in '''a.dl''' below | ||

# (6 points) Use resolution to answer the query in '''b.dl''' below | # (6 points) Use resolution to answer the query in '''b.dl''' below |