SOLUTION: CSCI 2112 Dalhousie University Discrete Structures I Worksheet

Discrete Structures I
Assignment 2
Due: June 1, 11:59PM Atlantic Standard Time
Please write down your name and B00 number on your solution
Problem 1 (5pts): For this exercise, it is easier not to use truth tables.
a) Suppose that A → ((B ∧ C) → D) is false. What are the truth values of A, B, C, and D?
b) Suppose that (A → B) ∨ ((C ∧ (D ∧ E)) → F ) is false. What are the truth values of A, B, C, D, E,
and F ?
Problem 2 (5pts): Prove the equivalences below without using truth tables. Instead, use the rules of
logical equivalence given in class. Justify your reasoning.
a) ∼ (P ∨ (Q ∨ R)) ≡∼ P ∧ (∼ Q∧ ∼ R).
b) P → (Q → S) ≡ (P ∧ Q) → S.
c) ((P → Q) → P ) → P ≡ 1.
Problem 3 (6pts): Reduce the following statements to the fewest number of literals.
a) (∼ P ∧ ∼ Q∧ ∼ R) ∨ (∼ P ∧ Q ∧ R) ∨ (∼ P ∧ Q∧ ∼ R) ∨ (P ∧ ∼ Q∧ ∼ R) ∨ (P ∧ ∼ Q ∧ R)
b) (P ∧ ∼ Q∧ ∼ R) ∨ (∼ P ∧ ∼ R∧ ∼ S) ∨ (∼ P ∧ ∼ R ∧ S) ∨ (∼ P ∧ R∧ ∼ S) ∨ (∼ P ∧ Q ∧ R ∧ S) ∨ (P ∧ ∼
Q ∧ R∧ ∼ S))
Problem 4 (3pts): Formalize the following argument and show that it is valid using the inference rules
from class.
If Jose took the jewelery or Mrs. Krasov lied, then a crime was committed. Mrs. Krasov was
not in town. If a crime was committed, then Mrs. Krasov was in town. Therefore Jose did not
take the jewelery.
Problem 5 (4pts):
quantifiers ∀ and ∃.
Formalize the following statements using the connectives ∧, ∨, ∼, and → and the
a) Every non-negative integer strictly less than 4 is an integer squared.
b) For every real numbers x and y there is a rational number q such that if x is strictly smaller than y
then x
Purchase answer to see full

Order a unique copy of this paper
(550 words)

Approximate price: $22

Our Basic features
  • Free title page and bibliography
  • Plagiarism-free guarantee
  • Unlimited revisions
  • Money-back guarantee
  • 24/7 support
Our Options
  • Writer’s samples
  • Expert Proofreading
  • Overnight delivery
  • Part-by-part delivery
  • Copies of used sources
Paper format
  • 275 words per page
  • 12 pt Arial/Times New Roman
  • Double line spacing
  • Any citation style (APA, MLA, Chicago/Turabian, Harvard)

AcademicWritingCompany guarantees

Our customer is the center of what we do and thus we offer 100% original essays..
By ordering our essays, you are guaranteed the best quality through our qualified experts.All your information and everything that you do on our website is kept completely confidential.

Money-back guarantee always strives to give you the best of its services. As a custom essay writing service, we are 100% sure of our services. That is why we ensure that our guarantee of money-back stands, always

Read more

Zero-plagiarism tolerance guarantee

The paper that you order at is 100% original. We ensure that regardless of the position you are, be it with urgent deadlines or hard essays, we give you a paper that is free of plagiarism. We even check our orders with the most advanced anti-plagiarism software in the industry.

Read more

Free-revision guarantee

The thrives on excellence and thus we help ensure the Customer’s total satisfaction with the completed Order.To do so, we provide a Free Revision policy as a courtesy service. To receive free revision the Academic writing Company requires that the you provide the request within Fifteen (14) days since the completion date and within a period of thirty (30) days for dissertations and research papers.

Read more

Privacy and Security policy

With, your privacy is the most important aspect. First, the academic writing company will never resell your personal information, which include credit cards, to any third party. Not even your lecturer on institution will know that you bought an essay from our academic writing company.

Read more

Adherence to requirements guarantee

The academic writing company writers know that following essay instructions is the most important part of academic writing. The expert writers will, therefore, work extra hard to ensure that they cooperate with all the requirements without fail. We also count on you to help us provide a better academic paper.

Read more

Calculate the price of your order

550 words
We'll send you the first draft for approval by September 11, 2020 at 10:52 AM
Total price:
The price is based on these factors:
Customer Academic level
Number of pages required
Urgency of paper