Scribd
Upload
25 views6 pages

Math 1302: Discrete Mathematics: Niversity OF HE Eople

This document contains a written assignment with 4 questions on discrete mathematics. Question 1 constructs the truth table for a proposition with 8 variables. Question 2 uses truth tables to prove an equivalence. Question 3 writes the dual of a statement and proves it using logic laws. Question 4 uses mathematical induction to prove a formula for the sum of the first n positive integers. The conclusion restates that logic has been used to solve several problems.

Uploaded by

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

Math 1302: Discrete Mathematics: Niversity OF HE Eople

This document contains a written assignment with 4 questions on discrete mathematics. Question 1 constructs the truth table for a proposition with 8 variables. Question 2 uses truth tables to prove an equivalence. Question 3 writes the dual of a statement and proves it using logic laws. Question 4 uses mathematical induction to prove a formula for the sum of the first n positive integers. The conclusion restates that logic has been used to solve several problems.

Uploaded by

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

12/17/2014

UNIVERSITY
OF THE
PEOPLE

MATH 1302: DISCRETE MATHEMATICS

Written Assignment | Unit 5

Content
Content ............................................................................................................................................................. 1
Introduction................................................................................................................................................... 2
Question 1....................................................................................................................................................... 2
Question 2....................................................................................................................................................... 2
Question 3....................................................................................................................................................... 3
Question 4....................................................................................................................................................... 3
Conclusion ...................................................................................................................................................... 4
Reference ........................................................................................................................................................ 5

Introduction
The purpose of the written assignment is to solve some problems using logic. All workings are
clearly shown in this assignment for maximum credit.

Question 1
1.
Construct the truth table of

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
0
1
1
0
0

0
0
0
0
1
1
0
0

0
0
0
1
0
0
0
1

1
1
1
0
1
1
1
0

0
0
0
0
0
1
0
1

1
1
1
0
1
1
1
1

Question 2
2. Use truth tables to prove that

Your table should begin with columns headed like so:

0
0
0
0
1
1

0
0
1
1
0
0

0
1
0
1
0
1

1
1
0
0
1
1

0
0
0
0
1
1

0
0
0
0
1
1

1
1
1
0
1
1

0
0
0
0
0
1

1
1
1
0
1
1

1
1
1
0
1
1

1
1

1
1

0
1

0
0

0
0

0
0

1
0

0
1

1
1

1
1

1
1
1
0
1
1
1
1

Question 3
3. Write the dual of the statement (1) and use the laws of logic (not truth tables) to prove the
dual.

and

Question 4
4. Use mathematical induction to prove:

1.
2. Induction hypothesis: Assume P(n) is true. i.e.
3. Induction step: We must show that

Conclusion
From the above, many problems have been solved using logic theory.

Reference
Doerr, A., & Levasseur, K. (March 2013). Applied Discrete Structures (Version 2.0 ed.).
Massachusetts Lowe: Department Of Mathematical Sciences, University of
Massachusetts.

You might also like