2.3 Deduction from Tables, Venn Diagrams & Logic Grids

Key Takeaways

  • Cross-tabulation tables structure multi-attribute categorical data, requiring systematic differentiation between subsets, unions, and joint intersections.

  • The Principle of Inclusion-Exclusion (∣A∪B∣=∣A∣+∣B∣−∣A∩B∣|A \cup B| = |A| + |B| - |A \cap B|) prevents double-counting elements when analyzing overlapping sets in Venn diagrams.

  • Matrix logic grids transform qualitative clues into binary confirmations (✓) and eliminations (✗), utilizing one-to-one row and column exclusions.

  • Truth-teller and liar logic puzzles are resolved by testing hypothetical assumptions to identify contradictory statements and isolate the single coherent truth state.

Last updated: October 2026

2.3 Deduction from Tables, Venn Diagrams & Logic Grids

Note

Relational and deductive reasoning questions require synthesizing multi-layered constraints into structured visual models. Whether interpreting cross-tabulated data, constructing Venn diagram regions, or building matrix elimination grids, rigorous visual organization eliminates cognitive overload.

Cross-Tabulation and Multi-Attribute Data Analysis

Real-world and assessment data frequently appear in two-way cross-tabulation tables. These matrices display categorical data across two distinct attributes (e.g., student grade level versus chosen extracurricular activity).

Principles for Reading Multi-Attribute Tables

  1. Identify the Scope of Marginal Totals: Rows summarize one attribute; columns summarize another. Marginal totals (the rightmost column and bottom row) show aggregate counts. The bottom-right cell represents the universal population (NN).
  2. Compound Condition Filtering: Distinguish between intersection ("students in Grade 6 AND Netball"), union ("students in Grade 6 OR Netball"), and conditional subsets ("of the students in Grade 6, how many play Netball?").
  3. Missing Value Reconstruction: If cells are blank, use the fact that the sum of cells in any row or column must equal its marginal total.

Worked Example: Activity Participation Table

A school surveyed 120 Grade 6 students regarding their participation in three clubs: Science Club, Debating Society, and Art Guild.

GenderScience ClubDebating SocietyArt GuildTotal
Boys22141854
Girls18262266
Total404040120
  • Subset Extraction: "What fraction of the boys chose Science Club?"
    • Total boys = 54; Boys in Science Club = 22.
    • Fraction = 2254=1127\frac{22}{54} = \frac{11}{27}.
  • Compound Union Filtering: "How many students are either girls OR in the Debating Society?"
    • Total Girls (66) + Total Debating (40) - Overlap (Girls in Debating = 26).
    • Result: 66+40−26=8066 + 40 - 26 = 80 students.

Set Theory and Venn Diagram Logic

Venn diagrams represent relationships between sets within a defined Universal Set (UU).

Anatomy of a Two-Set Venn Diagram

In a two-set diagram with sets AA and BB:

  • Region 1 (AA only): Elements in AA but not BB (A∩B′A \cap B').
  • Region 2 (Intersection A∩BA \cap B): Elements belonging to both AA and BB.
  • Region 3 (BB only): Elements in BB but not AA (B∩A′B \cap A').
  • Region 4 (Neither): Elements in UU that belong to neither AA nor BB ((A∪B)′(A \cup B)').

The Principle of Inclusion-Exclusion

When aggregating sets, simply adding ∣A∣+∣B∣|A| + |B| counts the elements in the intersection twice. To find the total number of unique elements in at least one set: ∣A∪B∣=∣A∣+∣B∣−∣A∩B∣|A \cup B| = |A| + |B| - |A \cap B|

Conversely, if the union is known, the intersection can be isolated: ∣A∩B∣=∣A∣+∣B∣−∣A∪B∣|A \cap B| = |A| + |B| - |A \cup B|

Step-by-Step 2-Set Venn Worked Example

Problem: In a cohort of 45 students:

  • 28 students participate in Track and Field (TT).
  • 21 students participate in Swimming (SS).
  • 5 students participate in neither sport.

Question: How many students participate in both Track and Field and Swimming? How many participate in Track and Field only?

StepDeductive ActionFormula AppliedValue Obtained
1Determine total students participating in at least one sport∣U∣−Neither=∣T∪S∣\lvert U \rvert - \text{Neither} = \lvert T \cup S \rvert45−5=4045 - 5 = 40
2Sum individual sport counts∣T∣+∣S∣\lvert T \rvert + \lvert S \rvert28+21=4928 + 21 = 49
3Calculate overlap (Intersection)∣T∩S∣=(∣T∣+∣S∣)−∣T∪S∣\lvert T \cap S \rvert = (\lvert T \rvert + \lvert S \rvert) - \lvert T \cup S \rvert49−40=949 - 40 = 9
4Determine Track and Field ONLY∣T∣−∣T∩S∣\lvert T \rvert - \lvert T \cap S \rvert28−9=1928 - 9 = 19
5Determine Swimming ONLY∣S∣−∣T∩S∣\lvert S \rvert - \lvert T \cap S \rvert21−9=1221 - 9 = 12
6Verification check19(Track only)+9(Both)+12(Swim only)+5(Neither)19 (\text{Track only}) + 9 (\text{Both}) + 12 (\text{Swim only}) + 5 (\text{Neither})19+9+12+5=4519 + 9 + 12 + 5 = 45

The deduction confirms that 9 students participate in both sports, and 19 students participate in Track and Field only.

Tip

Always work from the inside out when populating a Venn diagram. Place the intersection (A∩BA \cap B) value first. Then subtract that intersection value from each single set total to find the "only" regions.

Matrix Logic Grids (Deduction by Elimination)

Matrix logic grids are formal deduction tables used to match multiple categories (e.g., people, sports, musical instruments).

Mechanics of the Elimination Grid

  • Place one category along the vertical axis and corresponding categories along the horizontal axis.
  • Use a confirmation symbol (✓) for confirmed true relationships and an elimination symbol (✗) for confirmed false relationships.
  • The Binary Exclusion Rule: When a ✓ is placed in any cell, all other cells in that specific row and column for that category sub-grid must immediately be marked ✗ (since pairings are one-to-one).
  • Transitive Deduction: If Person XX plays Sport YY, and Sport YY practices on Day ZZ, then Person XX practices on Day ZZ.

Full Worked Logic Grid Scenario

Clues:

  1. Devon, Kayla, and Leo each play one sport: Cricket, Football, or Basketball.
  2. Kayla does not play Football.
  3. The basketball player is an only child.
  4. Devon has two brothers and plays Cricket.
PersonCricketFootballBasketballDeductive Reason
Devon✓✗✗Clue 4 explicitly states Devon plays Cricket
Kayla✗✗✓Cannot play Cricket (Devon) or Football (Clue 2); must play Basketball
Leo✗✓✗By elimination, Leo must play Football

Through simple tabular elimination, every sport is uniquely paired without ambiguity.

Truth-Teller and Liar Logic Puzzles

In these classic logical deduction problems, individuals make statements, and you are given constraints regarding who tells the truth and who lies.

The Contradiction Resolution Strategy

  1. Identify Mutually Exclusive Statements: If Person A says "X is true" and Person B says "X is false", exactly one of them is telling the truth and one is lying.
  2. Formulate a Test Hypothesis: Assume Person A is telling the truth. Follow the logical implications. If any contradiction emerges with the given rules, Person A must be a liar.
  3. Verify the Single Coherent World: Confirm that the deduced solution satisfies every constraint simultaneously.

Strategic Deductive Workflows Under Time Pressure

  • Identify Anchor Clues First: Direct positive statements (✓) provide immediate anchors that eliminate entire rows and columns.
  • Convert Negative Clues into Binary Constraints: Knowing what something is not is just as powerful as knowing what it is.
  • Avoid Extraneous Assumptions: Rely exclusively on facts logically deduced from the provided statements.
Test Your Knowledge

In a Grade 6 class of 50 students, 30 students participate in Spanish club, 25 students participate in French club, and 7 students participate in neither language club. How many students participate in both Spanish and French clubs?

A

15 students

B

10 students

C

12 students

D

8 students

Test Your Knowledge

Four students—Amir, Bianca, Caleb, and Dania—competed in a sprint race. Amir finished ahead of Caleb. Dania did not win, but finished ahead of Bianca. Caleb finished immediately ahead of Dania. Who won first place in the sprint race?

A

Caleb

B

Dania

C

Bianca

D

Amir

Test Your Knowledge

Three students—Shane, Tahlia, and Vance—are questioned about who solved the bonus mathematics riddle. Exactly one of them solved it, and exactly one of them is telling the truth while the other two are lying. Shane states: "I did not solve the riddle." Tahlia states: "Shane solved the riddle." Vance states: "I did not solve the riddle." Who solved the bonus riddle?

A

Vance

B

Shane

C

Tahlia

D

None of them

Sections you finish are checked off in the contents.