Explore BrainMass

# Discrete structures and logical equivalences

This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

Q1) Use the standard logical equivalences to simplify the expression
(&#12593;p ^ q) v &#12593;(pVq)

Q2) consider the following theorem
"The square of every odd natural number is again an odd number"
What is the hypothesis of the theorem? what is the conclusion? give a direct proof of the theorem.

Q3) consider the following theorem
" The sum of a rational number and an irrational number is an irrational number.
What is the hypothesis of the theorem? what is the conclusion? Give a direct proof of the theorem

Q4) Prove that for any integer n, 3&#12643;n^3+2n (Hint, consider 3 separate cases)

Q5) For the following sets A and B find A&#8746;B, A&#8745;B and AB.

a) A={1,2,a} B={2,3,a} b) A={2,7,b), B={7,3,4} c) A=Z, B=N

Q6) Write down the power sets for each of the following sets:

a) &#966; b) {&#966;} c) {4,7}

Q7) Find the Cartesian products A*B, B^2 and A^3 for the sets A={0,x} and B={0,1,4}.

© BrainMass Inc. brainmass.com March 4, 2021, 8:48 pm ad1c9bdddf
https://brainmass.com/math/discrete-structures/discrete-structures-logical-equivalences-195585

#### Solution Summary

The following posting provides an example of working with logic (theorems and statements), sets, and proofs.

\$2.49