You are on page 1of 14

Juan is a math major but not a computer science major.

(m = "Juan is a math majo


r", c = "Juan is a computer science major")
Select one:
a. (m v c)
b. (m c) sahi
c. (m c)
d. (m v c)
e. (m v c)
f. (m v c)
g. (m c)

a) If all integers are rational, then the number 1 is rational.


All integers are rational.
Therefore, the number 1 is rational.
b) If all algebraic expressions can be written in prefix notation, then ________
__ .
All algebraic expressions can be written in prefix notation.
Therefore, (a + 2b)(a2 -b) can be written in prefix notation.
Choose the statement that belongs in the blank.
Select one:
a. (a+2b)(a2b. (a+2b)(a2c. (a+2b)(a2d. (a+2b)(a2-

b)
b)
b)
b)

can not be written in prefix notation.


is rational.
can be written in prefix notation. sahi
is an algebraic expression.

Evaluate the expression (p v (p v q )) (q r) to true or false when;


p is true, q is false, r is false
Select one:
True sahi
False

Evaluate the expression (p q) v ( p v q) to true or false when;


p is true and q is true
Select one:
True sahi
False

Evaluate the expression (p v (p v q )) (q r) to true or false when;


p is true, q is true, r is false
Select one:
True
False
sahi

Evaluate the expression ( p q ) v ( p v q) to true or false when;


p is true and q is false
Select one:
True
sahi
False

Evaluate the expression (p v (p v q )) (q r) to true or false when;


p is true, q is true, r is true
Select one:
True
sahi
False

Evaluate the expression (p v (p v q )) (q r) to true or false when;


p is false, q is false, r is false
Select one:
True
sahi
False

Let h = "John is healthy", w = "John is wealthy", s = "John is wise"


w ( h s)
(h w s)
h w s
(w h s)
w s h

a) If all computer programs contain errors, then this program contains an error.
This program does not contain an error.
Therefore, it is not the case that all computer programs contain errors.
b) If Answer , then 2 is odd.
2 is not odd.
Therefore, it is not the case that all prime numbers are odd.

Use De Morgan's laws to write the negations for the following statement.
0 > x -7
Select one:
a. (x 0) v
b. (x 0)
c. (x > 0) v
d. 0> x -7
e. (x 0)
f. (x 0) v
g. (x > 0)
h. 7 x > 0

(x < -7)
(x < -7)
(x < -7)

sahi

(x -7)
(x -7)
(x < -7)

Prepare the truth tables for (((p v q ) (p v r)) (p v q)) and for (p v r).
True or False, based on their truth tables the expressions are equivalent.
Select one:
True
False sahi

In the following steps an equivalence is derived from the expression (p v q) (p v q


). There is a reason for each step. Match each reason with the appropriate step.
(q v p) ( q v p)
Associativity
q v (p p)
q v c
q

Distributive
Identity

Negation

Prepare the truth tables to determine if the following statement is a tautology


or a contradiction.
(p q) v (p v (p q))
Select one:
a. Contradiction
b. Tautology
sahi

Use De
Hal is
Select
a. Hal
b. Hal
c. Hal
d. Hal
ahi
e. Hal
f. Hal
g. Hal
h. Hal

Morgan's laws to write the negations for the following statement.


a math major and Hal's sister is a computer science major.
one:
is a math major and Hal's sister is not a computer science major
is a math major or Hal's sister is a computer science major.
is not a math major and Hal's sister is not a computer science major.
is not a math major or Hal's sister is not a computer science major.
is
is
is
is

not a computer science major or Hal's sister is not a math major.


not a math major and Hal's sister is a computer science major.
a math major or Hal's sister is not a computer science major.
not a math major or Hal's sister is a computer science major.

Use De Morgan's laws to write the negations for the following statement.
The dollar is at an all-time high and the stock market is at a record low.
Select one:
a. The dollar is not at an all-time high and the stock market is at a record low
.
b. The dollar is at a record low and the stock market is not at a record low.
c. The dollar is at a record low or the stock market is at an all-time high. s
ahi
d. The dollar is at a record low or the stock market is not at an all-time high.
e. The dollar is not at a record low or the stock market is at an all-time high.
f. The dollar is at an all-time high and the stock market is not at a record low
.
g. The dollar is not at an all-time high and the stock market is not at a record
low.
h. The dollar is not at an all-time high or the stock market is not at a record
low.
The statement "This loop will repeat exactly N times if it does not contain a st
op or a go to" can be rewritten as "If this loop does contains a stop or a go to
then the loop will not repeat exactly N times." ".
Select one:
True
sahi

False

The statement "Catching the 8:05 bus is a sufficient condition for my being on t
ime for work" can be rewritten as "If I catch the 8:05 bus then I'm on time for
work".
Select one:
True
sahi
False
Construct truth tables for the
Select all statements that are
Select one or more:
a.
p
q
(p v q) v ( p
True
True
True

equation (p v q) v ( p q) q.
in this truth table.
q) q
sahi

b.
p
q
False True

(p v q) v ( p q) q
False

c.
p
True

q
False

(p v q) v ( p q) q
False
sahi

d.
p
True

q
False

(p v q) v ( p q) q
True

e.
p
True

q
True

(p v q) v ( p q) q
False

f.
p
q
False True

(p v q) v ( p q) q
True
sahi

g.
p
q
(p v q) v ( p q) q
False False False
h.
p
q
(p v q) v ( p q) q
False False True
sahi

Construct truth tables for the equation ( p q ) r


Select all statements that are in this truth table.
Select one or more:
a.
p
q
r
( p q ) r
True
True
False
True
sahi

b.
p
False

q
False

r
True

( p q ) r
False

c.
p
False

q
True

r
False

( p q ) r
False

d.
p
True

q
True

r
True

( p q ) r
True
sahi

e.
p
True

q
False

r
False

( p q ) r
False
sahi

f.
p
True

q
False

r
True

( p q ) r
True
sahi

g.
p
True

q
True

r
False

( p q ) r
False

h.
p
False

q
False

r
False

( p q ) r
False

i.
p
True

q
False

r
True

( p q ) r
False

j.
p
True

q
False

r
False

( p q ) r
True

k.
p
False

q
True

r
True

( p q ) r
False

l.
p
False

q
True

r
True

( p q ) r
True
sahi

m.
p
q
False False

n.
p
True

r
True

( p q ) r
False

o.
p
q
False False

r
True

( p q ) r
True
sahi

p.
p
q
False True

q
True

( p q ) r
False True
sahi

( p q ) r
False True
sahi

Use truth tables to verify the following logical equivalences.


(p q) (p v q)
The truth tables for these two statements are equivalent, true or false.
Select one:
True
sahi
False

a) Prepare the truth tables to show that the following statements are logically
equivalent.
(p (q v r)) (p (q r)) (p (r q))
b) Use the logical equivalence etablished in part (a) to rewrite the following s
entence in two different ways. (Assume that n represents a fixed integer.) Sel
ect two choices below that are
.
If n is prime, then n is odd or n is 2.
Select one or more:
a. If n is not prime and n
b. n is prime and if it is
c. In is prime and if n is
d. If n is 2 or it is odd,

is not 2, then n is not odd.


not odd, then n is 2.
not 2, then n is odd.
sahi
then n is prime. In

Use truth tables to verify the following logical equivalences.


(p (q r)) ((p q) r)
The truth tables for these two statements are equivalent, true or false.
Select one:
True
False
sahi

Write the following statement in symbolic form.


If you paid full price, you didn't buy it at Crown Books.

Let p = "You paid Full Price", and


Let q = "You didn't buy it at Crown Books"
Select
a. qp
b. q v
c. p
d. q

one:
p
q
p

sahi

Match each of the following three symbolic forms to the

statement.

p = walks like a duck


q = talks like a duck
r = is a duck
p q r
p v q v r
p q r

Write out the truth tables and determine which pairs are logically equivalent.
p v q v r
p q r
p q r
p = walks like a duck
q = talks like a duck
r = is a duck
Select one:
a. p q r
and
p q r
b. p v q v r
and

p q r
c. p q r
and
p v q v r

The negation of the statement'


"If P is a square, then P is a rectangle" is;
"P is a square and P is not a rectangle".
Select one:
True
sahi
False

The negation of the statement


"If the decimal expansion of r is terminating, then r is rational" is
"The decimal expansion of r is not terminating or r is rational".
Select one:
True
False
sahi

The negation of the statement,


"If x is nonnegative, then x is positive or x is 0." is;
"x is nonnegative and x is positive or 0."
Select one:
True
False
sahi

The negation of the statement,


"If n is divisible by 6, then n is divisible by 2 and n is divisible by 3." is;
"n is not divisible by 6, or n is not divisible by 2 or n is not divisible by 3.
"
Select one:
True
False
sahi

Choose the

ly rewritten if-then form of the following statement;

"Catching the 8:05 bus is a sufficient condition for my being on time for work.
"
Select one:
a. If I do not catch the 8:05 bus, I am on on time for work.

b. If I catch the 8:05 bus, then I am on time for work.


sahi
c. If I am not on time for work, then I did not catch the 8:05 am bus.
d. If I am on time for work, then I caught the 8:05 bus.

Use the logical equivalences p q p v q and p q (p v q ) (q v p ) to rewrite the


en statement form without using the symbol or ,and use the logical equivalence p
v q (p q ) to rewrite the statement below using only and .
p q r
Select one:
a. ((p q ) r)
b. (( p q ) (r q ))
c. ((p q ) r)
sahi
d. ((p q ) v r)
e. ((\neg p q ) (r q ))

If statement forms P and Q are logically equivalent, then P Q is a tautlogy. Co


nversely, if P Q is a tautology, then P and Q are logically equivalent. Use to
covert the following logical equivalence to a tautology. Then use a truth table
to verify the tautology.
p (q v r) (p q) r
True or False, this is a tautology.
Select one:
True
sahi
False

The contrapositive of the statement,


"If n is divisible by 6, then n is divisible by 2 and n is divisible by 3." is;
"If n is not divisible by 2 or n is not divisible by 3, then n is not divisible
by 6."
Select one:
True
sahi
False

The statement "A necessary condition for this computer program to be


(ahi)
is that it not produce error messages during translation" can be written as "If
the program is
(ahi) then it does not produce error messages".
Select one:
True
sahi
False

The contrapositive of "If the decimal expansion of r is terminating, then r is r


ational" is "If r is not rational, then the decimal expansion of r is terminatin
g".
Select one:
True
False
sahi

The contrapositive of "If today is New Year's Eve, then tomorrow is January" is
"If tomorrow is not January, then today is not New Year's Eve".
Select one:
True
sahi
False

Use the logical equivalences p q p v q and p q (p v q ) (q v p ) to rewrite the


en statement form without using the symbol or ,and use the logical equivalence p
v q (p q ) to rewrite the statement below using only and .
(p v q) (r v q)
Select one:
a. ((p q ) v r)
b. ((p q ) (r q ))
c. ((p q ) ( r q ))
d. ((p q ) r)
e. ((p q ) r)

sahi

The contrapositive of the statement "If x is nonnegative, then x is positive or


x is 0" is "If x is not positive and x is not 0, then x is negative".
Select one:
True
sahi
False

The statement "A sufficient condition for Jon's team to win the championship is
that it win the rest of its games" can be written as "If Jon's team wins the res
t of the games then they will win the championship".
Select one:
True
sahi
False

The contrapositive of the statement,


"If n is prime, then n is odd or n is 2" is;
"If n is odd or n 2, then n is prime"
Select one:
True
False
sahi

Use the contrapositive to rewrite the statement in if-then form in two ways. As
sume that only if has its formal, logical meaning.
The Cubs will win the pennant only if they win tomorrow's game. Choose the two
ly rewritten statements.
A conditional with no negations.
A conditional with negated antecedent and consequent.

"Do you mean that you think you can find out the answer to it?" said the March H
are.
"Exactly so, " said Alice.
"Then you should say what you mean," the March Hare went on.
"I do," Alice hastily replied; "at least -- at least I mean what I say -- that's
the same thing, you know."
"Not the same thing a bit!" said the Hatter. "Why, you might just as well say t
hat 'I see what I eat' is the same thing as 'I eat what I see'!"
-- from "A Mad Tea-Party" in Alice in Wonderland by Lewis Carroll
The Hatter is right. "I say what I mean" is not the same thing as "I mean what
I say". Match the sentence "I mean what I say" to it's if-then form.

Select one:
a. If I mean it, then I say it. (precise)
b. If I say it, then I mean it. (sincere)

sahi

"Do you mean that you think you can find out the answer to it?" said the March H
are.
"Exactly so, " said Alice.
"Then you should say what you mean," the March Hare went on.
"I do," Alice hastily replied; "at least -- at least I mean what I say -- that's
the same thing, you know."
"Not the same thing a bit!" said the Hatter. "Why, you might just as well say t
hat 'I see what I eat' is the same thing as 'I eat what I see'!"
-- from "A Mad Tea-Party" in Alice in Wonderland by Lewis Carroll
The Hatter is right. "I say what I mean" is not the same thing as "I mean what
I say".
What relationship do the sentences "I say what I mean" and "I mean what I say" h
ave?
Select one:
a. These sentences
b. These sentences
c. These sentences
d. These sentences

are
are
are
are

the inverse of each other.


the converse of each other.
logical equivalences.
contrapositives.

sahi

The contrapositives of the statement,


"If Tom is Ann's father, then Jim is her uncle and Sue is her aunt." is;
"If Jim is not her uncle or Sue is not her aunt, then Tom is not Ann's father."
Select one:
True
sahi
False

The contrapositive of "If P is a square, then P is a rectangle" is "If P is a re


ctangle, then P is not a square"
Select one:
True
False sahi

Do you mean that you think you can find out the answer to it?" said the March Ha
re.
"Exactly so, " said Alice.
"Then you should say what you mean," the March Hare went on.
"I do," Alice hastily replied; "at least -- at least I mean what I say -- that's
the same thing, you know."
"Not the same thing a bit!" said the Hatter. "Why, you might just as well say t
hat 'I see what I eat' is the same thing as 'I eat what I see'!"
-- from "A Mad Tea-Party" in Alice in Wonderland by Lewis Carroll
The Hatter is right. "I say what I mean" is not the same thing as "I mean what
I say". Match the sentence "I say what I mean" to it's if-then form.
Select one:
a. If I mean it, then I say it. (precise)
b. If I say it, then I mean it. (sincere)

sahi

If statement forms P and Q are logically equivalent, then P Q is a tautlogy. C


onversely, if P Q is a tautology, then P and Q are logically equivalent. Use t
o covert the following logical equivalence to a tautology. Then use a truth tab
le to verify the tautology.
p (q v r) (p q) (p r)
True or False, this is a tautology.
Select one:
True
False
sahi