CAT Quant · Chapter Test
Mathematical Reasoning — 25-Question Test
A fresh, mixed-difficulty set drawn from the whole chapter — questions you haven't been asked before. Auto-graded with full solutions; your result is saved to your dashboard.
Building your 25-question test…
Formula Reference Sheet
This chapter
Connectives & negation
| Negation | ¬p is true exactly when p is false |
|---|---|
| Conjunction (AND) | p ∧ q true only when both p and q are true |
| Disjunction (OR) | p ∨ q false only when both p and q are false |
| Implication | p → q false only when p is true and q is false |
| Biconditional | p ↔ q true when p and q have the same truth value |
Logical identities (CAT power-tools)
| Contrapositive (equivalent) | (p → q) ≡ (¬q → ¬p) |
|---|---|
| Implication as OR | (p → q) ≡ (¬p ∨ q) |
| De Morgan (AND) | ¬(p ∧ q) ≡ ¬p ∨ ¬q |
| De Morgan (OR) | ¬(p ∨ q) ≡ ¬p ∧ ¬q |
| Negation of quantifiers | ¬(∀x P) ≡ ∃x ¬P; ¬(∃x P) ≡ ∀x ¬P |
CAT reference
🖩 Graphing Calculator