6.1 Formal Logic, Syllogisms & Venn Diagrams

6.1 Formal Logic, Syllogisms & Venn Diagrams

Formal logic forms the cornerstone of the Analytical Reasoning section of the HEC Higher Education Aptitude Test (HAT). Whether you are taking HAT 1, HAT 2, HAT 3, HAT 4, or HAT-General, questions testing categorical deduction, syllogistic validity, and conditional logical equivalence appear consistently. Mastery of standard proposition structures, distribution of terms, Venn diagram mapping, and conditional transformations enables candidates to solve complex logical problems systematically without relying on ambiguous intuition.

---

Categorical Propositions (A, E, I, O)

A categorical proposition is a declarative statement that asserts or denies a relationship between two categories or classes: a Subject class ($S$) and a Predicate class ($P$). Aristotelian and formal modern logic classify all categorical statements into four fundamental standard forms, designated by the letter names A, E, I, and O.

The Four Standard Forms

1. A — Universal Affirmative: "All $S$ are $P$"

   • Example: "All computer science scholars are research assistants."
   • Quality: Affirmative | Quantity: Universal
   • Class Relationship: The entirety of class $S$ is included within class $P$.

2. E — Universal Negative: "No $S$ are $P$"

   • Example: "No accredited universities are fraudulent entities."
   • Quality: Negative | Quantity: Universal
   • Class Relationship: The entirety of class $S$ is completely excluded from class $P$.

3. I — Particular Affirmative: "Some $S$ are $P$"

   • Example: "Some engineering applicants are HEC scholarship recipients."
   • Quality: Affirmative | Quantity: Particular
   • Class Relationship: At least one member of class $S$ is known to be a member of class $P$.

4. O — Particular Negative: "Some $S$ are not $P$"

   • Example: "Some doctoral candidates are not university lecturers."
   • Quality: Negative | Quantity: Particular
   • Class Relationship: At least one member of class $S$ is excluded from class $P$.

Summary Table of Categorical Propositions & Term Distribution

Distribution Rule: A term is distributed if the proposition makes an assertion about every individual member of the class represented by that term. Universal statements ($A, E$) distribute their Subject terms. Negative statements ($E, O$) distribute their Predicate terms. Particular statements ($I, O$) do not distribute their Subject terms, and affirmative statements ($A, I$) do not distribute their Predicate terms.

---

Categorical Syllogisms & Rules of Validity

A categorical syllogism is an argument consisting of exactly three categorical propositions: two premises (a Major Premise and a Minor Premise) and one Conclusion. The argument contains exactly three distinct terms, each appearing twice across the propositions:

• Major Term ($P$): The predicate of the conclusion.
• Minor Term ($S$): The subject of the conclusion.
• Middle Term ($M$): The term appearing in both premises but absent from the conclusion.

Standard Form Example:

• Major Premise: All tenured professors ($M$) are Ph.D. degree holders ($P$).
• Minor Premise: All department heads ($S$) are tenured professors ($M$).
• Conclusion: Therefore, all department heads ($S$) are Ph.D. degree holders ($P$).

Five Mandatory Rules for Syllogistic Validity

To evaluate whether a categorical syllogism is formally valid, test it against these five rules:

1. Distribution of the Middle Term: The middle term ($M$) must be distributed in at least one premise. Failure to do so commits the Fallacy of the Undistributed Middle.
2. Distribution of Conclusion Terms: Any term distributed in the conclusion ($S$ or $P$) must be distributed in the premise in which it occurs. Failure commits the Fallacy of Illicit Major or Illicit Minor.
3. No Two Negative Premises: A valid syllogism cannot have two negative ($E$ or $O$) premises. Two negative premises yield no logical connection between $S$ and $P$.
4. Negative Premise / Negative Conclusion Alignment: If either premise is negative, the conclusion must be negative. Conversely, if the conclusion is negative, one premise must be negative.
5. Particular Premise Rule: If both premises are universal, a valid deduction in modern boolean logic cannot yield a particular conclusion (to avoid the Existential Fallacy).

---

Venn Diagram Representation Techniques

Venn diagrams provide a visual, objective methodology for testing syllogistic validity. A two-circle Venn diagram represents a single proposition, while a three-circle Venn diagram represents a syllogism involving Subject ($S$), Predicate ($P$), and Middle ($M$) classes.

   3-Circle Venn Diagram Setup for Syllogisms

              /─────────\     /─────────\
             /           \   /           \
            /  Region 1   \ /  Region 2   \
           /   (S only)    X   (P only)    \
          /               / \               \
         |               /   \               |
         |   Subject    /     \  Predicate   |
         |    Class    / Region\   Class     |
         |     (S)    |    3    |   (P)      |
         |             \(S+P+M)/             |
          \             \     /             /
           \             \   /             /
            \  Region 4   \ /  Region 5   /
             \  (S+M)      X   (P+M)     /
              \───────────/ \───────────/
                         /   \
                        /     \
                       /       \
                      / Region 6\
                     ( Middle M  )
                      \─────────/

Diagramming Rules:

1. Shading: Universal statements ($A$ and $E$) are represented by shading out regions that contain zero members (empty sets).
   • "All S are M" $\rightarrow$ Shade out the portion of $S$ that lies outside $M$.
   • "No S are M" $\rightarrow$ Shade out the entire overlapping intersection of $S$ and $M$.
2. Placing an 'X': Particular statements ($I$ and $O$) are represented by placing an "X" in an unshaded region to signify that at least one member exists there.
3. Order of Operation: Always diagram universal premises before diagramming particular premises.
4. Testing Validity: Once both premises are diagrammed, inspect the diagram. If the conclusion is already visually depicted without drawing anything further, the syllogism is valid. If additional drawing is required to show the conclusion, the argument is invalid.

---

Conditional Statements & Logical Equivalences

In addition to categorical propositions, HEC HAT Analytical Reasoning heavily tests conditional (hypothetical) statements of the form "If $P$, then $Q$" ($P \rightarrow Q$).

• Antecedent ($P$): The condition following "If". It represents a Sufficient Condition.
• Consequent ($Q$): The result following "then". It represents a Necessary Condition.

The Four Conditional Transformations

Given the original conditional statement: "If an applicant earns a HAT score above 80 ($P$), then they receive an HEC scholarship ($Q$)."

1. Original Statement: $P \rightarrow Q$
   • "If $P$, then $Q$."
2. Converse: $Q \rightarrow P$
   • "If an applicant receives an HEC scholarship ($Q$), then they earned a HAT score above 80 ($P$)."
   • Status: NOT logically equivalent. Assuming the converse commits the Fallacy of Affirming the Consequent.
3. Inverse: $\neg P \rightarrow \neg Q$
   • "If an applicant does not earn a HAT score above 80 ($\neg P$), then they do not receive an HEC scholarship ($\neg Q$)."
   • Status: NOT logically equivalent. Assuming the inverse commits the Fallacy of Denying the Antecedent.
4. Contrapositive: $\neg Q \rightarrow \neg P$
   • "If an applicant does not receive an HEC scholarship ($\neg Q$), then they did not earn a HAT score above 80 ($\neg P$)."
   • Status: ALWAYS logically equivalent to $P \rightarrow Q$.

Hypothetical Syllogism & Chain Rules

When multiple conditional statements are chained together, valid deductions follow transitivity:

• Premise 1: $P \rightarrow Q$ (If a candidate passes the admission test, they attend the interview.)
• Premise 2: $Q \rightarrow R$ (If a candidate attends the interview, they receive a merit ranking.)
• Valid Conclusion: $P \rightarrow R$ (If a candidate passes the admission test, they receive a merit ranking.)
• Contrapositive Chain: $\neg R \rightarrow \neg P$ (If a candidate does not receive a merit ranking, they did not pass the admission test.)