# Logic: Truth Tables, Conditional Statements, DeMorgan's Laws and Symbolic Form

1. Write the negation for the statement below.

No one in the family eats rhubarb

2. Let p, q, and r be the following statements:

p: Mike is sailing

q: Alice is on vacation

r: Sam is in town

Translate the following statement into English: (p   q)  r

3. Write the following compound statement in symbolic form

Let p: Today is Monday

q: Tomorrow is the day Sara leaves

If tomorrow is not the day Sara leaves, then today is Monday

4. Construct a truth table for  (p  q)

5. Write the converse, inverse, and contrapositive of the following conditional statement

If a dog is barking, then it will not bite

6. Determine whether the argument is valid or invalid.

A tree has green leaves or the tree does not produce oxygen.

This tree has green leaves

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

 This tree does not produce oxygen.

7. Use Euler Diagrams to determine whether the following syllogism is valid or invalid.

Some senators are conservationists

No conservationists are pro-development

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

 Some senators are not pro-development

8. Determine the truth value of the statement q  [  r  (p  q)] when p is false, q is true, and r is true.

9. Determine the truth value of the following statement:

Rembrandt was a famous painter and some odd number are prime.

10. Use De Morgan's Laws to determine whether the two statements are equivalent

 (p  q),  (q  p)

11. Determine which, if any, of the three statements are equivalent.

a) If today is Monday, then tomorrow is not Wednesday

b) It is false that today is Monday and tomorrow is not Wednesday

c) Today is not Monday or tomorrow is Wednesday

See attached for full problem description.

Â© BrainMass Inc. brainmass.com March 4, 2021, 7:38 pm ad1c9bdddfhttps://brainmass.com/math/discrete-math/logic-truth-tables-conditional-statements-demorgan-s-laws-and-symbolic-form-113014

#### Solution Summary

Logic, Truth Tables, Conditional Statements, DeMorgan's Laws and Symbolic Form are investigated in this solution, which is given in Word and .bmp format.