Propositional Statements and Logical Relationships Quiz

Reviewed by Alva Benedict B.
Alva Benedict B., PhD
Math Expert
Review Board Member
Alva Benedict B. is an experienced mathematician and math content developer with over 15 years of teaching and tutoring experience across high school, undergraduate, and test prep levels. He specializes in Algebra, Calculus, and Statistics, and holds advanced academic training in Mathematics with extensive expertise in LaTeX-based math content development.
, PhD
By Thames
T
Thames
Community Contributor
Quizzes Created: 10017 | Total Attempts: 9,652,179
| Attempts: 22 | Questions: 14 | Updated: Jan 27, 2026
Please wait...
Question 1 / 15
🏆 Rank #--
0 %
0/100
Score 0/100

1) The statement “If it rains, then I take an umbrella” is:

Explanation

This is an "if-then" statement, which in logic is represented by implication (→).

Submit
Please wait...
About This Quiz
Propositional Statements and Logical Relationships Quiz - Quiz

Are you ready to see how logic helps us analyze everyday claims? This quiz dives into propositions, implications, biconditionals, and exclusive OR statements. You’ll practice identifying which sentences count as propositions, evaluating compound statements, and applying core rules like the law of excluded middle. With each question, you’ll discover how... see moretruth values behave, how statements relate to one another, and how logic turns ordinary language into clear, testable expressions. By the end, you’ll have a solid foundation in understanding the structure of logical reasoning!
see less

2)

What first name or nickname would you like us to use?

You may optionally provide this to label your report, leaderboard, or certificate.

2) The statement “7 is odd OR 10 is even” is:

Explanation

Since 10 is even, the entire disjunction is true regardless of whether 7 is odd.

Submit

3) Evaluate: P ∧ Q where P = T and Q = F.

Explanation

Conjunction (AND) is only true when both operands are true.

Submit

4) Wvaluate: (P → Q) ∧ (Q → P) where P = T and Q = F.

Explanation

This is logically equivalent to P ↔ Q. When P and Q have different truth values, the biconditional is false. Thus the entire expression evaluates to False.

Submit

5) Which statement matches P∧Q?

Explanation

The symbol ∧ represents logical conjunction or "and".

Submit

6) An implication “If P then Q” is false only when:

Explanation

An implication is only false when the premise (P) is true but the conclusion (Q) is false.

Submit

7) The truth value of P↔Q is true when:

Explanation

Biconditional (↔) is true when both statements are simultaneously true or simultaneously false.

Submit

8) If P is true and Q is false, then P∨Q is:

Explanation

Disjunction (OR) is true when at least one operand is true.

Submit

9) Every proposition must be either true or false, not both.

Explanation

This is the law of excluded middle in classical logic.

Submit

10) From P ∧ Q, what can we validly conclude?

Explanation

If P ∧ Q is true, then both P and Q must be true individually.

Submit

11) Which is NOT a binary connective?

Explanation

Negation (¬) is a unary operator as it acts on only one operand.

Submit

12) “If I study, I pass. If I don’t study, I fail.” concludes:

Explanation

This describes a biconditional relationship between studying and passing. From “If I study, I pass” (S → P) and “If I don’t study, I fail” (¬S → ¬P), the second is equivalent to P → S (contrapositive). So we have S → P and P → S, i.e., S ↔ P.

Submit

13) The implication “If 3333 is smaller than 10 then it is smaller than 5” is:

Explanation

An implication with a false premise is always true in logic.

Submit

14) In propositional logic, the XOR (exclusive OR) connective yields a true result in which of the following cases?

Explanation

XOR is true when the operands have different truth values - one true and one false. It is false when both statements share the same truth value, whether both are true or both are false. That’s why it’s called an exclusive OR. In contrast, the AND connective is true only when both are true, and the inclusi ⅴ e OR is true when at least one is true.

Submit
×
Saved
Thank you for your feedback!
View My Results
Alva Benedict B. |PhD
Math Expert
Alva Benedict B. is an experienced mathematician and math content developer with over 15 years of teaching and tutoring experience across high school, undergraduate, and test prep levels. He specializes in Algebra, Calculus, and Statistics, and holds advanced academic training in Mathematics with extensive expertise in LaTeX-based math content development.
Cancel
  • All
    All (14)
  • Unanswered
    Unanswered ()
  • Answered
    Answered ()
The statement “If it rains, then I take an umbrella” is:
The statement “7 is odd OR 10 is even” is:
Evaluate: P ∧ Q where P = T and Q = F.
Wvaluate: (P → Q) ∧ (Q → P) where P = T and Q = F.
Which statement matches P∧Q?
An implication “If P then Q” is false only when:
The truth value of P↔Q is true when:
If P is true and Q is false, then P∨Q is:
Every proposition must be either true or false, not both.
From P ∧ Q, what can we validly conclude?
Which is NOT a binary connective?
“If I study, I pass. If I don’t study, I fail.” concludes:
The implication “If 3333 is smaller than 10 then it is smaller than...
In propositional logic, the XOR (exclusive OR) connective yields a...
play-Mute sad happy unanswered_answer up-hover down-hover success oval cancel Check box square blue
Alert!