# MAU 22C00 Trinity College The Cartesian Product of Natural Numbers Questions

Description

Need help with a 4 math problems. Please find the attached file. Thank you for your help

1 attachmentsSlide 1 of 1attachment_1attachment_1

Unformatted Attachment Preview

MAU22C00: ASSIGNMENT 1
DUE BY FRIDAY, OCTOBER 16 BEFORE MIDNIGHT
ID number on everything you hand in. Please attach a cover
sheet with a declaration confirming that you know and understand College rules on plagiarism. Details can be found on
http://tcd-ie.libguides.com/plagiarism/declaration.
1) (10 points) Please carry out the following proof in propositional logic
following the proof format in tutorial 1: Hypotheses: P → (Q ↔ ¬R),
P ∨ ¬S, R → S, ¬Q → ¬R. Conclusion: ¬R.
For each line of the proof, mention which tautology you used giving its
number according to the list of tautologies posted in folder Course Documents. Solutions based on truth tables or any other method except
for the one specified will be given NO CREDIT.
2) (10 points) Prove the following statement: If n is any integer, then
n2 − 3n must be even. (Hint: Cases come in handy here. See tautology
#26 for the basis of proofs by√cases. This proof follows the format of
the one given in lecture that 2 is not a rational number.)
3) (10 points) Prove via inclusion in both directions that for any three
sets A, B, and C
A ∩ (B C) = (A ∩ B) (A ∩ C).
Venn diagrams, truth tables, or diagrams for simplifying statements in
Boolean algebra such as Veitch diagrams are NOT acceptable and will
not be awarded any credit.
4) (10 points) Let N × N be the Cartesian product of the set of natural
numbers with itself consisting of all ordered pairs (x1 , x2 ) such that
x1 ∈ N and x2 ∈ N. We define a relation on its power set P(N × N) as
follows: ∀A, B ∈ P(N × N) A ∼ B iff (A B) ∪ (B A) = C and C
is a finite set. Determine whether or not ∼ is an equivalence relation
and justify your answer by checking each of the three properties in the
definition of an equivalence relation. Please note that a set C is finite
if it has finitely many elements. In particular, the empty set ∅ has zero
elements and is thus finite.

attachment

Tags:
Propositional logic

boolean algebra

tautology

equivalence relation

the Cartesian product

User generated content is uploaded by users for the purposes of learning and should be used following Studypool’s honor code & terms of service.

## Reviews, comments, and love from our customers and community:

This page is having a slideshow that uses Javascript. Your browser either doesn't support Javascript or you have it turned off. To see this page as it is meant to appear please use a Javascript enabled browser.

Peter M.
So far so good! It's safe and legit. My paper was finished on time...very excited!
Sean O.N.
Experience was easy, prompt and timely. Awesome first experience with a site like this. Worked out well.Thank you.
Angela M.J.
Good easy. I like the bidding because you can choose the writer and read reviews from other students
Lee Y.
My writer had to change some ideas that she misunderstood. She was really nice and kind.
Kelvin J.
I have used other writing websites and this by far as been way better thus far! =)
Antony B.
I received an, "A". Definitely will reach out to her again and I highly recommend her. Thank you very much.