Assignment #3 + Solution Winter 2009

34 views3 pages
16 Oct 2011
Course
Professor

For unlimited access to Class Notes, a Class+ subscription is required.

CS 245 Winter 2009
Assignment 3
Due: Thu 5 Feb 2009 10am in the CS245 Drop Boxes
25 marks
SOLUTION SET
There may be multiple correct answers to some of these questions.
1. (10 marks) Formalization in Predicate Logic
(a) (6 marks) Express each of the following sentences as a predicate logic formula. Do not
use types. Do not use sets.
(b) (4 marks) Redo your formalizations of part (a) with appropriate types.
For both parts, choose meaningful names for your predicates, constants, types, and functions.
Use functions where appropriate. If the meaning of your identifiers is not obvious, show the
English phrases that they represent.
1
Unlock document

This preview shows page 1 of the document.
Unlock all 3 pages and 3 million more documents.

Already have an account? Log in

Get access

Grade+
$10 USD/m
Billed $120 USD annually
Homework Help
Class Notes
Textbook Notes
40 Verified Answers
Study Guides
1 Booster Class
Class+
$8 USD/m
Billed $96 USD annually
Homework Help
Class Notes
Textbook Notes
30 Verified Answers
Study Guides
1 Booster Class