You are on page 1of 1

MAD101 (17/09/2022)

Exercise 01. Construct a truth table for each of these compound propositions:
 
a/ (p ∨ q) ∧ (¬p ∨ ¬q) ←→ (p ↔ q)
 
b/ (p ∨ q) ⊕ (¬p ∨ ¬q) ←→ (p ↔ q)

c/ (p → r) ∧ (q → s) ∧ (p → q) ∧ (r → s)
Exercise 02. Suppose P and Q are the statements: P : Jack passed math. Q: Jill passed
math.
(a) Translate ”Jack and Jill both passed math” into symbols.
(b) Translate ”If Jack passed math, then Jill did not” into symbols.
(c) Translate P ∨ Q into English.
(d) Translate ¬ (P ∧ Q) → Q into English.
(e) Suppose you know that if Jack passed math, then so did Jill. What can you conclude if
you know that Jill did not pass math?
Exercise 03. Assume that P (x, y) is a propositional function with variables x, y. Explain
why
(∀zP (z, z)) −→ ∀x∃yP (x, y)
is valid.
Exercise 04. Find the negation of
a/ ∀x∃y(∀z¬T (x, y, z) ∧ ¬Q(x, y))
b/ ∃x∃y(∀zT (x, y, z) ∨ Q(x, y))
Exercise 05. Consider the set
 
X= −1, 0, 1, 2, 3, 4, . . . .

a/ Prove that the following functions are one-to-one from X to Z:


g (n) = n3 − 1; h (n) = n2 + 2n
b/ Let f : X −→ Z be the function defined as follows
(
−4n if n ≤ 1,
f (n) = (1)
4n − 1 if n > 1.
Is the function f one-to-one? Give reasons for your answers.
Exercise 06. Determine whether f : Z → Z is onto if:
  
−2n if n ≤ 0, n+1
a/. f (n) = b/. f (n) = .
2n − 1 if n > 0. 3
    
x + sin πx
Exercise 07. Let S = −3, −1, 0, 2, 5, 7 . Find g (S) if g (x) = 7 + .
3
Exercise 08. Assume f : R −→ R, is given by
f (x) = 7x3 + 1
Prove that the function f is bijection and find the inverse function f −1 .

FPT University, Ha Noi 1 Lecturer : Huynh Khanh

You might also like