## MTH110 |
## Lab 7 | |

[an error occurred while processing this directive]
## (none) |
[an error occurred while processing this directive]
## (none)[an error occurred while processing this directive]## (none) |
[an error occurred while processing this directive]
## Due: (none) |

**Presentations A to E**-
For all presentations from section 2.2, 2.3 and 2.4, first give the argument

**form**of all the arguments you are working with. In other words, please rewrite all the English statements of the arguments into symbolic form using formal set notation. For example "all cats are black" could be rewritten as:∀ Where*x ∈ A, c(x) → b(x)*or C ⊆ B.*U = A*= {all animals}*c(x) = x*is a cat,*C*= truth set of*c*= {*x ∈ A*|*c(x)*}*b(x) = x*is black,*B*= truth set of*b*= {*x ∈ A*|*b(x)*}

Presentation | Exercise(s) | Difficulty Level |
---|---|---|

A | p. 96 #43,45
Rewrite these statements formally to explain your work. | Medium |

B | p. 110 #34ab, 35ab
In parts b, first write the negation symbolically and then informally. | Medium |

C | p. 110 #46, #50 Also give the statement and its negation in Tarski (Tilomino) Notation. | Hard |

D | p. 110 #54, #55 | Hard |

E | p. 122 #11,12 | Easy |

F | p. 123 #20 | Hard |

G | p. 123 #29
First rewrite the statement in symbolic form using Tarski syntax. | Hard |

H | Normal Forms and Resolution Handout: #1d, 3d. | Medium |

I | Normal Forms and Resolution Handout: #6 | Hard |

By the end of the course, each student will have had the opportunity to present at least one exercise at each level.

Maintained by Peter Danziger.

This page is best viewed with Mozilla Firefox.

Last modified
Friday, 23-Oct-2009 22:06:43 EDT