Scribd
Upload
51 views7 pages

Sample Questions From Previous Midterms: October 23, 2018

This document contains sample questions from previous midterm exams in logic and proofs. It includes 6 questions testing various concepts: [1] identifying logically equivalent statements using Venn diagrams and propositional logic, [2] determining whether quantifiers can be factored from an implication, [3] constructing a direct proof that a2 ≡n b2 if a ≡n b, [4] proving a statement about even and odd numbers, [5] writing a claim about relatively prime numbers as an implication and proving it, and [6] proving a statement using induction that for all natural numbers n ≥ 8, there exist integers a and b such that 3a + 5b = n. The document provides the questions,

Uploaded by

Mo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
51 views7 pages

Sample Questions From Previous Midterms: October 23, 2018

This document contains sample questions from previous midterm exams in logic and proofs. It includes 6 questions testing various concepts: [1] identifying logically equivalent statements using Venn diagrams and propositional logic, [2] determining whether quantifiers can be factored from an implication, [3] constructing a direct proof that a2 ≡n b2 if a ≡n b, [4] proving a statement about even and odd numbers, [5] writing a claim about relatively prime numbers as an implication and proving it, and [6] proving a statement using induction that for all natural numbers n ≥ 8, there exist integers a and b such that 3a + 5b = n. The document provides the questions,

Uploaded by

Mo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 7

Sample Questions from Previous Midterms

October 23, 2018

Question 1. [15 marks]


Answer the following short answer questions. For each question circle all appropriate answers.
Part (a) [5 marks]
Each option below is a predicate formula. Circle all answers equivalent to the given
Venn diagram:
a b

(a) a ∧ b ∧ c (b) (a ∧ c) ∨ (b ∧ c) (c) (¬b → a) ∧ c (d) c ∧ (b ∨ a) (e) None c

Part (b) [5 marks]


Write a propositional statement using → and ¬ (if necessary) equivalent to regions 3, 5 and 6. For part
marks you can leave your solution using ∧, ∨, ¬ and →. You do not need to specify which equivalence laws
you use if you need them.

Part (c) [5 marks]


Circle every statement equivalent to ¬a → b.

(a) ¬b → a (f) a is necessary for ¬b


(b) a → ¬b
(g) ¬a is necessary for b
(c) a is sufficient for ¬b
(h) b if ¬a
(d) ¬(a ∧ ¬b)
(e) b is sufficient for ¬a (i) b ∨ a

1
Question 2. [5 marks]
Determine whether ∀ can be factored from an implication. In other words is

∀x ∈ X, (p(x) → q(x)) ⇐⇒ (∀x ∈ X, p(x)) → (∀x ∈ X, q(x))


true? Explain your reasoning. Marks will only be given for your explanation.

Page 2 of ??
Question 3. [10 marks]
Answer the following questions to construct a direct proof that ∀n ∈ N, n ≥ 2,

∀a ∈ N, ∀b ∈ N, a ≡n b → a2 ≡n b2
Part (a) [2 marks]
Recall the Division Theorem which says that every natural number can be written in the form of nq + r
for some n, q, r ∈ N where 0 ≤ r < n. Write a and b in terms of n using the Division Theorem taking into
consideration any common variables.

Part (b) [8 marks]


Now complete the proof.

Page 3 of ??
Question 4. [10 marks]
2
Prove ∀n ∈ N, (n − 1 6≡4 0) → n is even.

Page 4 of ??
Question 5. [10 marks]
In Assignment 1 we proved that for natursal numbers a and n, a and n relatively prime is sufficient for there
to exist a unique natural number b < n such that ab ≡n 1 (note that you can still answer this question even
if you were unable to do the assignment question).
Part (a) [4 marks]
Write the following claim as an implication using quantifiers and →. You may use p(x, y) to denote that x
and y are relatively prime.

a and n relatively prime is necessary for there to exist a unique natural number b < n such that
ab ≡n 1.

Part (b) [6 marks]


Prove the claim.

Page 5 of ??
Question 6. [10 marks]
Prove the following statement S(n) for all n ∈ N, n ≥ 8:

S(n) : ∃a ∈ N, ∃b ∈ N, 3a + 5b = n.
You may use simple or strong induction.

Page 6 of ??
Use this page for rough work.

Page 7 of ?? End of Examination

You might also like