Mathematics Homework Solutions
Problem
#8207

Discrete Math: Logic Problems, Truth Table and Rules of Inference

Please see the attached file for the fully formatted problems.

1. Construct the truth table for the compound proposition: [p (q r)] (r p)
p q r
-------------------------------------------------------------
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F


2. What is the negation of the quantified statement:
For every integer, x, there is an integer, y, such that x + y = 0.


3. Use the rules of inference to deduce the following conclusion from the following set of premises.
Premises: p r
r q
p s t
~q
~r u s
Conclusion: t

4. Decide if the following is a Valid Argument and justify your reasoning:
All movie stars drive fast cars.
Dan Gordon drives a fast car.
Therefore, Dan Gordon is a movie star.

5. Later in this course, we will study the Inclusion-Exclusion Rule:
|A B C| = |A| + |B| + |C| |A B| |A C| |B C| + |A B C|.
Verify this for the sets A = {2,3,7,9}, B = {2,3,4}, and C = {1,3,5,7,9}.

6. Find A B for the sets A = { , {} } and B = { {}, {0} }

Attached file(s):
Attachments
math1.doc  View File

Attachment Content Summary (Note: view attachment at the above link before purchasing. Actual attachment content may vary slightly from that shown below.)

math1.doc
1. Construct the truth table for the compound proposition: [p
(q r)] (r p)

p q r

-------------------------------------------------------------

T T T

T T F

T F T

T F F

F T T

F T F

F F T

F F F

2. What is the negation of the quantified statement:

For every integer, x, there is an integer, y, such that x + y = 0.

3. Use the rules of inference to deduce the following conclusion from
the following set of premises.

Premises: p r

r q

p s t

~q

~r u s

Conclusion: t

X

l

p

t

|

Ђ

Њ

ђ



љ

ћ

 

¤

Ё

¬

°

ґ

М

Р

Ш

д

hx

X

x



ћ

ґ

Р

Т

Ф

Ц

Ш

Ш

Ъ

Ь

Ю

㜀$␸䠀$摧୸…฀following is a Valid Argument and justify your
reasoning:

All movie stars drive fast cars.

Dan Gordon drives a fast car.

Therefore, Dan Gordon is a movie star.

5. Later in this course, we will study the Inclusion-Exclusion Rule:

|A B C| = |A| + |B| + |C| |A B| |A
C| |B C| + |A B C|.

Verify this for the sets A = {2,3,7,9}, B = {2,3,4}, and C =
{1,3,5,7,9}.

6. Find A B for the sets A = { , {} } and B = { {}, {0} }

Solution Summary

Logic problems are solved. The solution is detailed and well presented.

Solution
What is this?
By OTA - Overall OTA Rating
Departed OTA
Purchase Cost Now
$2.19 CAD (was ~$7.98)
Included in Download
  • Plain text response
  • Attached file(s):
    • 8207.pdf
$2.19 Instant Download
Add to Cart
Why you can trust BrainMass.com
  • Your Information is Secure
  • Best Online Academic Help Service
  • Students find real academic Success
Related Solutions
  • Rules of Inference, Logic and Symbology - Designate each simple statement with a letter. Then write down the compound statements using the following rules(modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, addition, s ...
  • Boolean Algebra - Boolean Algebra Homework Help Required Translating formal propositions = not ∃ =there exists ∨ = or ≡ equivalent ∀= for all ⇒ ...
  • Introduction to Bayesian Inference with Examples and Practical Applications - Introduction to Bayesian Inference with examples and practical applications.
  • Symbolic Logic : Symbolic Notation - Determine whether or not the argument below is valid. Transcribe it into symbolic notation and if it is valid, provide a derivation of the conclusion from the premises using only primitive rules of i ...
  • Derivatives and Inverse Functions - Suppose g is the inverse function of a differentiable function f and let G(x) = 1/g(x), if f(3) = 2 and f'(3) = 1/9, find G'(2). Please see the attached file for the fully formatted problems.
Browse