Scribd
Upload
110 views

Assignment 1

This document contains an assignment for a course in applied discrete mathematics. The 6-question assignment covers topics like: 1) Writing propositional logic statements symbolically. 2) Determining if logical statements are tautologies, contradictions, or contingencies. 3) Finding elements of sets after various set operations. 4) Determining if statements about cardinalities of sets are true. 5) Identifying if functions are injective, surjective, or bijective. 6) Proving statements about increasing and decreasing functions.

Uploaded by

moiz
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
110 views

Assignment 1

This document contains an assignment for a course in applied discrete mathematics. The 6-question assignment covers topics like: 1) Writing propositional logic statements symbolically. 2) Determining if logical statements are tautologies, contradictions, or contingencies. 3) Finding elements of sets after various set operations. 4) Determining if statements about cardinalities of sets are true. 5) Identifying if functions are injective, surjective, or bijective. 6) Proving statements about increasing and decreasing functions.

Uploaded by

moiz
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

CS 220/MATH 320 – Applied Discrete Mathematics

Fall 2018
Instructor: Marc Pomplun

Assignment #1
Posted on September 23 – Due by October 2, 5:30pm

Question 1: Say it with Propositional Functions

Let Takes(x, y) be the propositional function “x takes course y,” Teaches(x, y) be the
propositional function “x teaches course y,” and Passes(x, y) be the propositional function
“x passes course y”. The universe of discourse is the set of all living people and all
courses (i.e., you do not have to check this in your expressions). Write each of the
following propositions symbolically in one expression:

a) Peter takes CS 220 and CS 410, but not CS 680.

b) Bob passes every course that he takes except CS 220.

c) Francesca passes every course that is taught by Prof. Einstein.

d) There is a course that both Julia and Peter took, but both of them failed it.

Question 2: Tautologies and Contradictions

Find out for each of the following propositions whether it is a tautology, a contradiction,
or neither (a contingency). Prove your answer.

a) [(p → q) ∧ (q → p)] → (p ↔ q)

b) (p ∨ q ∨ r) → [(q → r) ∨ (p → q)]

Question 3: Set Operations

Let us take a look at the sets A = {x, y, z}, B = {1, 2}, C = {x, z}. List the elements of
the following sets D, E, F, G, H, and I:

a) D = (A × B) – (B × C)

1
b) E = 2C – 2A
B
c) F = 2(2 )

d) G = (A × B × C) ∩ (C × B × A)

e) H = {(a, b, c) | a, b, c∈Β ∧ a ≠ b ∧ a ≠ c}.

f) I = {(a, b, c) | a∈B ∧ b∈A ∧ c∈B ∧ a ≠ c}

Question 4: Cardinality

Are the following statements true for all sets A, B and C? Prove your answers.

a) |A ∪ B ∪ C| = |A - B - C| + |B – A - C| + |C - A - B|

b) |A ∪ B ∪ C| = |A| + |B| + |C| - |A ∩ B| - |A ∩ C| - |B ∩ C| + | A ∩ B ∩ C|

Question 5: Functions

Find out whether the following functions from R to R are injective, surjective, and/or
bijective. No proofs are required.

a) f(z) = z2 - z

b) f(z) = 3z3 - 7

c) f(z) = z⋅sin z

d) f(z) = z2/(z2 + 1)

Question 6 (Bonus Question): Function Proofs

Are the following statements true or false? In each case, prove your answer.

a) There is a strictly decreasing function f from N to N with f(0) = 100.

b) Let f(x) and g(x) be strictly increasing functions from R to R. Then (f + g)(x) is also
strictly increasing.

c) Once again, let f(x) and g(x) be strictly increasing functions from R to R. Then
(f⋅g)(x) is also strictly increasing.

2
3

You might also like