1. Apply a truth table to show each conclusion of following: (a) ~(~p) ≡ p (b) ~(p ∨ ?) ≡ (~?) ∧ (~?)
1. Apply a truth table to show each conclusion of following:
(a) ~(~p) ≡ p (b) ~(p ∨ ?) ≡ (~?) ∧ (~?)
2. Write down the converse, inverse and contra-positive of each of the following statements:
(a) For any real number
x
, if
x 4,
then
2
x 16 .
(b) If both a and b are integers, then their product ab is an integer.
3. Use logical equivalences to simplify each one of following
a) ((? ∧ ¬?) ∨ (? ∧ ?)) ∧ ? (b)
((p q)(p q))(p q)
4. Negating the following statements:
(a)
primes p, p is odd.
(b)
a triangle T such that the sum of the angles equals
0
200 .
(c) For every square x there is a triangle y such that x and y have different colors.
(d) There exists a triangle y such that for every square x, x and y have different colors.
(e)
people p, if p is blond then p has blue eyes.
5. Construct a truth table to determine whether or not the argument is valid
(a) ? ∨ (? ∨ ?)
¬?
∴ ? ∨ ?
(b)
? → ? ∨ (¬?)
? → ? ∧ ?
∴ ? → ?
6. Prove that
(a) 9?
2 + 3? − 2 is even for any integer
n .
(b) For all integers m an n, m + n
and
m − n
are either both odd or both even.
(c) There are real numbers such that √? + ? = √? + √?.
(d) For all integers, if n is odd then ?
2
is odd.
7. Show that the following statements are false:
(a) There is an integer n such that 2?
2 − 5? + 2 is a prime.
(b) If m and n are any two positive integers then ?? > ? + ?.
![](/static/compass_v2/shared-icons/check-mark.png)
Since you have posted a multiple question according to guidelines I will solve first(Q.1) question for you. To get remaining part solved please repost the complete question and mention parts.
Trending now
This is a popular solution!
Step by step
Solved in 3 steps with 2 images
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)