CS245 Lecture Notes - Lecture 1: University Of Waterloo, Parallelogram, Quadrilateral

87 views2 pages
UNIVERSITY OF WATERLOO
Computer Science 245, Winter 2016
Applied Logic for Computer Science
ASSIGNMENT 1
Given: Monday, January 11, Due: Tuesday. January 19, 4:30pm
Problem (1)
1. R∧ ¬O(R: “Jane loves rock-and-roll”; O: “Jane likes opera”)
2. JE(J: “Jerry will get to the top of the mountain”; E: “Elaine will get
to the top of the mountain”)
3. ¬S(S: “All sailors are good swimmers”)
4. (OG)∧¬(OG) (O: “Oscar dates Virginia”; G: “George dates Virginia”)
5. ¬(HS)→ ¬P(P: “Oscar will pass the logic course”; H: “Oscar does
his homework”; S: “Oscar studies”)
6. D(OVS) (D: “Logic is difficult”; O: “Oscar will pass”; V:
“Virginia will pass”; S: “Oscar and Virginia study”)
7. Q(PEL) (Q: “Qis a quadrilateral”; P: “Qis a parallelogram”;
E: “Opposite sides of Qare equal”; L: “Opposite sides of Qare parallel”)
8. P→ ¬I∧ ¬C(P: “The two lines in question are parallel”; I: “The two
lines in question intersect”; C: “the two lines in question coincide”)
9. D(IP) (D: “The derivative of fis defined on the interval (a, b)”;
I: “fis increasing”; P: “The derivative of fis positive on the interval
(a, b)”)
10. CABM(M: “fhas a maximum on the interval [a, b]”; A: “fis
continuous at a”; B: “fis continuous at b”; C: “fis continuous on the
interval (a, b)”)
1
Unlock document

This preview shows half of the first page of the document.
Unlock all 2 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
Booster Classes
Class+
$8 USD/m
Billed $96 USD annually
Homework Help
Class Notes
Textbook Notes
30 Verified Answers
Study Guides
Booster Classes