MTH110

Lab 6

 Ryerson University

Readings

The presentations are exercises on material covered in class and in sections 5.3, 2.1, 2.2 and 2.3.

  • For all presentations from chapter 2, please rewrite any statement which is in symbolic form using formal set notation.
    i.e. all statements in symbolic form should have the form: ∀ or ∃
    You may need to define a set for the domain D and/or the predicate P(x).

  • When you are asked to write something "informally" it means "in English". This means that the statement should have no quantifiers or variables.

Presentations

From the textbook:

Presentation Exercise(s) Difficulty Level
A p. 291 #30 Medium
B p. 291 #33 Medium
C p. 86 #16bdf
Rewrite the English statements in symbolic form, then negate them symbolically, then rewrite the negation informally. 		Medium
D p. 95 #2abcegh
First write the original statement is symbolic form assuming that
A = {all animals}, D = {all dogs}, d(x)="x is a dog" and l(x)="x is loyal".
For each question, first translate the statement into symbolic form using the sets A and D and predicates d and l. Use this to explain why this statement is or isn't the negation of the original statement.
Medium
E p. 96 #21, #25
For question #21, first write the statement informally, then write the statement and its negation formally, and then the English version of the negation.
Follow a similar process for question #25 		Medium
F p. 96 #43,45
Rewrite these statements formally to explain your work. 		Medium
G p. 108 #8
Note that we have a version of Tarski's world available online here 		Medium
H p. 109 # 11 b,c
Before answering the question, express each statement in symbolic form. 		Hard
I p. 109 #12ef Medium

Levels of Difficulty

There are three levels of difficulty: Easy, Medium and 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 Saturday, 17-Oct-2009 21:36:13 EDT