COT 3541 Midterm UPDATED ACTUAL Questions and CORRECT
Answers
Question: Which of the following is a propositional logic connective? A) If-Then B) For All C) There
Exists D) And
Correct Answer: D) And
Question: Which of the following is a tautology in propositional logic? A) P ^ ~P B) P v ~P C) ~(P ^ Q)
<=> ~P v ~Q D) P -> (Q -> P)
Correct Answer: B) P v ~PExplanation: A tautology is a compound proposition that is always true,
regardless of the truth values of its componentpropositions. Option A) P ^ ~P is not a tautology because it is
always false. The proposition states that P is true and false at thesame time, which is a contradiction. Option
C) ~(P ^ Q) <=> ~P v ~Q is a logical equivalence, meaning that it is true if and only if
Question: What is the negation of the statement "P and Q are both true" in propositional logic? A) P or Q is
true B) P is true, or Q is false C) P is false, or Q is false D) P is true, and Q is false
Correct Answer: C) P is false or Q is falseExplanation: In propositional logic, the negation of a
conjunction (an "and" statement) is a disjunction (an "or" statement) withthe negation of each conjunct. The
negation of "P and Q are both true" is "It is not the case that P and Q are both true," whichcan be restated as
"P is false, or Q is false." Option A) P or Q is true is not the negation of the given statement, as it is a
truestatement when both P and Q are true. Option B) P is true, or Q is false is also not the negation of the
given statement, as itallows for the possibility that both P and Q are true. Option D) P is true, and Q is false
is not the negation of the given statement,as it describes a different scenario altogether where only P is true
and Q is false, but not necessarily the opposite
Question: Which of the following is equivalent to ~(P -> Q) in propositional logic? A) ~P v ~Q B) P v ~Q
C) P ^ ~Q D) P v Q
Correct Answer: C) P ^ ~QThe negation of an implication ~(P -> Q) is logically equivalent to the
disjunction of the negation of the antecedent with theconsequent. Applying this to the statement ~(P -> Q),
we get:~(P -> Q)= ~(~P v Q) [Using the definition of implication]= ~~P ^ ~Q [Using De Morgan's law]= P
^ ~Q [Double negation]
Question: Which of the following is the contrapositive of the statement "If it is raining, then the ground is
wet" in propositional logic? A) If the ground is wet, then it is raining. B) If it is not raining, then the ground
is not wet. C) If the ground is not wet, then it is not raining. D) If it is not wet, then it is not raining.
Correct Answer: C) If the ground is not wet, then it is not raining.The contrapositive of a conditional
statement is formed by negating both the antecedent and the consequent, and thenreversing their order. In
this case, the negation of "it is raining" is "it is not raining," and the negation of "the ground is wet" is"the
ground is not wet." The contrapositive statement is therefore "If the ground is not wet, then it is not
raining."Option A) If the ground is wet, then it is raining is the converse of the original statement, which is
not logically equivalent to thecontrapositive. Option B) If it is not raining, then the ground is not wet is the
inverse of the original statement, which is also notlogically equivalent to the contrapositive. Option D) If it
is not wet, then it is not raining is not a valid statement as it does notcontain the entire information from the
original statement.
Question: Which of the following is a disjunctive normal form (DNF) of the statement "If P and Q are true,
then R is true" in propositional logic? A) (P v ~Q) ^ (Q v ~R) B) (~P v ~Q) v R C) (P v Q) -> R D) ~(P ^ Q
, ^ ~R)
Correct Answer: ) (~P v ~Q) v ROption B) (~P v ~Q) v R is a disjunctive normal form (DNF) of the
statement "If P and Q are true, then R is true" in propositionallogic. A disjunctive normal form (DNF) of a
statement is a disjunction of conjunctions, where each conjunction is a set of literals(propositional variables
or their negations). To convert the given statement into DNF, we can first use the definition ofimplication to
rewrite it as ~(P ^ Q ^ ~R) - the negation of the conjunction of P, Q, and the negation of R. We can then
apply DeMorgan's law and distribute the negation to get:~(P ^ Q ^ ~R)= ~P v ~Q v R [Using De Morgan's
law and associativity]This is now in the form of a disjunction of literals, which is a DNF. Option B) (~P v
~Q) v R is equivalent to this DNF, since it is thesame disjunction of literals with the same truth values.
Option A) (P v ~Q) ^ (Q v ~R) is a conjunction of disjunctions, which is
Question: Which of the following is the negation of "P or Q" in propositional logic? A) ~P or ~Q B) ~(P
and Q) C) ~P and ~Q D) P and Q
Correct Answer: C) ~P and ~QTo find the negation of "P or Q," we first apply De Morgan's law to the
disjunction and get:~(P or Q)= ~P and ~Q [Using De Morgan's law]Therefore, option C) ~P and ~Q is
actually the negation of "P and Q," not "P or Q." Option A) ~P or ~Q is not the negation of "Por Q," but
rather the negation of "P and Q." Option D) P and Q is not the negation of "P or Q," but rather the
conjunction of Pand Q
Question: Which of the following is a logically equivalent statement to "If P, then Q" in propositional
logic? A) If not Q, then not P B) If not P, then not Q C) If Q, then P D) P and Q
Correct Answer: A)
Question: Which of the following is a contradiction in propositional logic? A) P and ~P B) P or ~P C) P ->
Q D) ~(P and Q)
Correct Answer: A)Option A) "P and ~P" is a contradiction in propositional logic. A contradiction is a
proposition that is always false, regardless ofthe truth values of its constituent propositions. In this case, "P
and ~P" is always false, because it asserts that both P and not Pare true, which is impossible. Therefore, "P
and ~P" is a contradiction. Option B) "P or ~P" is a tautology, because it is true in allcases. This can be seen
from the following truth table:P | ~P | P or ~P-----------------------T F TF T TOption C) "P -> Q" is not a
contradiction, because it can be true or false depending on the truth values of P and Q. It is only
acontradiction if P is true and Q is false. Option D) "~(P and Q)" is not a contradiction, because it can be
true or false dependingon the truth values of P and Q. It is only a contradiction if both P and Q are true
Question: What is the truth value of the conjunction (AND) of two propositions if one is false? A) True B)
False C) Cannot be determined
Correct Answer: B)The truth value of the conjunction (AND) of two propositions is false if one of the
propositions is false. For example, considerthe two propositions:P: It is raining outside.Q: The sun is
shining.The conjunction of these two propositions is "It is raining outside AND the sun is shining." This
statement is false because theproposition Q is false (the sun is not shining), even though proposition P may
be true (it is raining outside)
Question: What is the inverse of the proposition "If it rains, then the ground is wet"? (Inverse) A) If it
doesn't rain, then the ground is dry. B) If the ground is wet, then it must have rained. C) If it doesn't rain,
then the ground is wet.
Correct Answer: A) If it doesn't rain, then the ground is dry.The inverse of the proposition "If it rains, then
the ground is wet" is the proposition that is formed by negating both theantecedent and the consequent of
the original proposition and then interchanging them. The original proposition is: "If it rains, then the
Answers
Question: Which of the following is a propositional logic connective? A) If-Then B) For All C) There
Exists D) And
Correct Answer: D) And
Question: Which of the following is a tautology in propositional logic? A) P ^ ~P B) P v ~P C) ~(P ^ Q)
<=> ~P v ~Q D) P -> (Q -> P)
Correct Answer: B) P v ~PExplanation: A tautology is a compound proposition that is always true,
regardless of the truth values of its componentpropositions. Option A) P ^ ~P is not a tautology because it is
always false. The proposition states that P is true and false at thesame time, which is a contradiction. Option
C) ~(P ^ Q) <=> ~P v ~Q is a logical equivalence, meaning that it is true if and only if
Question: What is the negation of the statement "P and Q are both true" in propositional logic? A) P or Q is
true B) P is true, or Q is false C) P is false, or Q is false D) P is true, and Q is false
Correct Answer: C) P is false or Q is falseExplanation: In propositional logic, the negation of a
conjunction (an "and" statement) is a disjunction (an "or" statement) withthe negation of each conjunct. The
negation of "P and Q are both true" is "It is not the case that P and Q are both true," whichcan be restated as
"P is false, or Q is false." Option A) P or Q is true is not the negation of the given statement, as it is a
truestatement when both P and Q are true. Option B) P is true, or Q is false is also not the negation of the
given statement, as itallows for the possibility that both P and Q are true. Option D) P is true, and Q is false
is not the negation of the given statement,as it describes a different scenario altogether where only P is true
and Q is false, but not necessarily the opposite
Question: Which of the following is equivalent to ~(P -> Q) in propositional logic? A) ~P v ~Q B) P v ~Q
C) P ^ ~Q D) P v Q
Correct Answer: C) P ^ ~QThe negation of an implication ~(P -> Q) is logically equivalent to the
disjunction of the negation of the antecedent with theconsequent. Applying this to the statement ~(P -> Q),
we get:~(P -> Q)= ~(~P v Q) [Using the definition of implication]= ~~P ^ ~Q [Using De Morgan's law]= P
^ ~Q [Double negation]
Question: Which of the following is the contrapositive of the statement "If it is raining, then the ground is
wet" in propositional logic? A) If the ground is wet, then it is raining. B) If it is not raining, then the ground
is not wet. C) If the ground is not wet, then it is not raining. D) If it is not wet, then it is not raining.
Correct Answer: C) If the ground is not wet, then it is not raining.The contrapositive of a conditional
statement is formed by negating both the antecedent and the consequent, and thenreversing their order. In
this case, the negation of "it is raining" is "it is not raining," and the negation of "the ground is wet" is"the
ground is not wet." The contrapositive statement is therefore "If the ground is not wet, then it is not
raining."Option A) If the ground is wet, then it is raining is the converse of the original statement, which is
not logically equivalent to thecontrapositive. Option B) If it is not raining, then the ground is not wet is the
inverse of the original statement, which is also notlogically equivalent to the contrapositive. Option D) If it
is not wet, then it is not raining is not a valid statement as it does notcontain the entire information from the
original statement.
Question: Which of the following is a disjunctive normal form (DNF) of the statement "If P and Q are true,
then R is true" in propositional logic? A) (P v ~Q) ^ (Q v ~R) B) (~P v ~Q) v R C) (P v Q) -> R D) ~(P ^ Q
, ^ ~R)
Correct Answer: ) (~P v ~Q) v ROption B) (~P v ~Q) v R is a disjunctive normal form (DNF) of the
statement "If P and Q are true, then R is true" in propositionallogic. A disjunctive normal form (DNF) of a
statement is a disjunction of conjunctions, where each conjunction is a set of literals(propositional variables
or their negations). To convert the given statement into DNF, we can first use the definition ofimplication to
rewrite it as ~(P ^ Q ^ ~R) - the negation of the conjunction of P, Q, and the negation of R. We can then
apply DeMorgan's law and distribute the negation to get:~(P ^ Q ^ ~R)= ~P v ~Q v R [Using De Morgan's
law and associativity]This is now in the form of a disjunction of literals, which is a DNF. Option B) (~P v
~Q) v R is equivalent to this DNF, since it is thesame disjunction of literals with the same truth values.
Option A) (P v ~Q) ^ (Q v ~R) is a conjunction of disjunctions, which is
Question: Which of the following is the negation of "P or Q" in propositional logic? A) ~P or ~Q B) ~(P
and Q) C) ~P and ~Q D) P and Q
Correct Answer: C) ~P and ~QTo find the negation of "P or Q," we first apply De Morgan's law to the
disjunction and get:~(P or Q)= ~P and ~Q [Using De Morgan's law]Therefore, option C) ~P and ~Q is
actually the negation of "P and Q," not "P or Q." Option A) ~P or ~Q is not the negation of "Por Q," but
rather the negation of "P and Q." Option D) P and Q is not the negation of "P or Q," but rather the
conjunction of Pand Q
Question: Which of the following is a logically equivalent statement to "If P, then Q" in propositional
logic? A) If not Q, then not P B) If not P, then not Q C) If Q, then P D) P and Q
Correct Answer: A)
Question: Which of the following is a contradiction in propositional logic? A) P and ~P B) P or ~P C) P ->
Q D) ~(P and Q)
Correct Answer: A)Option A) "P and ~P" is a contradiction in propositional logic. A contradiction is a
proposition that is always false, regardless ofthe truth values of its constituent propositions. In this case, "P
and ~P" is always false, because it asserts that both P and not Pare true, which is impossible. Therefore, "P
and ~P" is a contradiction. Option B) "P or ~P" is a tautology, because it is true in allcases. This can be seen
from the following truth table:P | ~P | P or ~P-----------------------T F TF T TOption C) "P -> Q" is not a
contradiction, because it can be true or false depending on the truth values of P and Q. It is only
acontradiction if P is true and Q is false. Option D) "~(P and Q)" is not a contradiction, because it can be
true or false dependingon the truth values of P and Q. It is only a contradiction if both P and Q are true
Question: What is the truth value of the conjunction (AND) of two propositions if one is false? A) True B)
False C) Cannot be determined
Correct Answer: B)The truth value of the conjunction (AND) of two propositions is false if one of the
propositions is false. For example, considerthe two propositions:P: It is raining outside.Q: The sun is
shining.The conjunction of these two propositions is "It is raining outside AND the sun is shining." This
statement is false because theproposition Q is false (the sun is not shining), even though proposition P may
be true (it is raining outside)
Question: What is the inverse of the proposition "If it rains, then the ground is wet"? (Inverse) A) If it
doesn't rain, then the ground is dry. B) If the ground is wet, then it must have rained. C) If it doesn't rain,
then the ground is wet.
Correct Answer: A) If it doesn't rain, then the ground is dry.The inverse of the proposition "If it rains, then
the ground is wet" is the proposition that is formed by negating both theantecedent and the consequent of
the original proposition and then interchanging them. The original proposition is: "If it rains, then the
