Read
Build the mental model
Move through the guided explanation first so the central distinction and purpose are clear before you evaluate your own work.
Categorical Logic
Evaluating Syllogisms by Rules and by Venn Diagrams
Applies the five classical rules of the syllogism to evaluate validity and introduces the three-circle Venn diagram as an alternative decision procedure, giving students two independent ways to check syllogistic arguments.
Treat the lesson like coached reps. Compare each move you make with the worked examples and common mistakes before saving a response.
Start Here
What this lesson is helping you do
Applies the five classical rules of the syllogism to evaluate validity and introduces the three-circle Venn diagram as an alternative decision procedure, giving students two independent ways to check syllogistic arguments. The practice in this lesson depends on understanding Distribution, Venn Diagram, and Categorical Syllogism and applying tools such as The Middle Term Must Be Distributed At Least Once and No Term Distributed in Conclusion Unless Distributed in Premises correctly.
How to approach it
Treat the lesson like coached reps. Compare each move you make with the worked examples and common mistakes before saving a response.
What the practice is building
You will put the explanation to work through evaluation practice, formalization practice, proof construction, analysis practice, rapid identification, and diagnosis practice activities, so the goal is not just to recognize the idea but to use it under your own control.
What success should let you do
Evaluate 8 categorical syllogisms using both the five classical rules and three-circle Venn diagrams, and name the fallacy for every invalid argument.
Reading Path
Move through the lesson in this order
The page is designed to teach before it tests. Use this sequence to keep the reading, examples, and practice in the right relationship.
Study
Watch the move in context
Use the worked examples to see how the reasoning behaves when someone else performs it carefully.
Do
Practice with a standard
Only then move into the activities, using the pause-and-check prompts as a final checkpoint before you submit.
Guided Explanation
Read this before you try the activity
These sections give the learner a usable mental model first, so the practice feels like application rather than guesswork.
Core tools
The five classical rules
Traditional logic evaluates syllogisms by checking five rules. Rule 1: the middle term must be distributed in at least one premise. Rule 2: any term distributed in the conclusion must be distributed in the premise in which it appeared. Rule 3: the syllogism cannot have two negative premises. Rule 4: if one premise is negative, the conclusion must be negative, and if no premise is negative, the conclusion must be affirmative. Rule 5 (modern): two universal premises cannot yield a particular conclusion under the modern reading of existential import.
A syllogism is valid if and only if it satisfies all five rules. Each rule corresponds to a specific fallacy: violation of Rule 1 is the undistributed middle; Rule 2 gives illicit major or illicit minor; Rule 3 is the two-negative-premises fallacy; Rule 4 violations are called affirmative-from-negative or negative-from-affirmative; Rule 5 is the existential fallacy. Memorize the rules and their corresponding fallacies, and you can evaluate any syllogism by going through the list.
What to look for
- Memorize the five rules in order.
- Check each rule against the distribution map from the previous lesson.
- If any rule is violated, name the fallacy and stop — the syllogism is invalid.
Five rules, five fallacies. Going down the checklist gives you a complete evaluation of any standard-form categorical syllogism.
Alternative method
The Venn alternative
The three-circle Venn diagram gives an independent way to check syllogistic validity. Draw three overlapping circles labeled with the minor, major, and middle terms. Diagram the two premises onto the same three-circle figure, using shading for universals and 'x' for particulars. When both premises are drawn, inspect the diagram to see whether the conclusion's information is already there. If it is, the syllogism is valid; if it is not, the syllogism is invalid.
The Venn method has two advantages. First, it is a visual decision procedure; you do not need to remember the distribution rules. Second, it handles the modern reading of existential import naturally, since universals shade and particulars 'x.' The rule method and the Venn method always agree, and using both is a good habit: one serves as a check on the other, and disagreement is a sign that you made an error in at least one of them.
What to look for
- Draw three overlapping circles labeled S (minor), P (major), and M (middle).
- Diagram universal premises first, with shading.
- Diagram particular premises second, with 'x' (to avoid placing 'x' where it will later be shaded).
- Inspect whether the conclusion's information is already drawn.
Venn diagrams are a complete decision procedure for syllogisms. They agree with the classical rules and provide a useful visual check.
Subtlety
When an 'x' could go in two places
Particular premises sometimes force you to place an 'x' in a region that the other premise has not yet resolved. In that case, the 'x' could legitimately belong in either of two adjacent subregions, and you have no warrant for choosing one over the other. The standard convention is to place the 'x' on the line between the two regions, indicating that it belongs in one of them but you do not know which.
When you later inspect the diagram, an 'x' on the line counts as 'a member exists somewhere in this joined region' but not as 'a member exists in this specific subregion.' A conclusion that depends on which subregion the 'x' occupies is not licensed. This convention is how Venn diagrams capture the uncertainty that particular propositions sometimes introduce, and it is one of the reasons they feel more honest than memorized distribution rules.
What to look for
- If a particular premise leaves the 'x' ambiguous, place it on the boundary between the two possible regions.
- An 'x' on a line does not license any conclusion specific to one side of the line.
- Resolve ambiguity only if a later premise (or the context) forces the 'x' into a specific region.
A boundary 'x' represents uncertainty. Respect it: a conclusion that needs a more specific location is not licensed by the diagram.
Communication
Diagnosing fallacies in plain English
A logical evaluation is more useful when you can explain the result. Once you find that a syllogism is invalid, say which rule is violated and why. 'Undistributed middle: neither premise refers to every creative person.' 'Illicit major: the conclusion denies every warm-blooded animal, but the premise only denied some reptiles.' A plain-English explanation makes the analysis something you can share with someone who has not memorized the vocabulary.
This is especially important when teaching or reviewing others' arguments. Saying 'that's invalid' is rarely persuasive; saying 'that's invalid because the middle term is never distributed, so the major and minor terms never get connected' is. Work on the communication skill alongside the technical skill. Logic is more valuable when you can explain it.
What to look for
- Name the rule violation.
- Translate the violation into plain English for the specific argument.
- Link the failure to why the conclusion does not follow from the premises.
A good evaluation names the rule, diagnoses the specific violation, and explains it in plain language.
Core Ideas
The main concepts to keep in view
Use these as anchors while you read the example and draft your response. If the concepts blur together, the practice usually blurs too.
Distribution
A term is distributed in a categorical proposition if the proposition refers to every member of the class named by that term.
Why it matters: Distribution is the decisive feature for evaluating syllogistic validity; most classical rules are stated in terms of it.
Venn Diagram
A diagram using overlapping circles to represent classes; shading indicates an empty region and an 'x' indicates at least one member.
Why it matters: Venn diagrams provide a decision procedure for single categorical propositions and for three-term syllogisms.
Categorical Syllogism
A deductive argument consisting of exactly two categorical premises and a categorical conclusion involving exactly three terms.
Why it matters: The categorical syllogism is the central structure of traditional deductive logic and the focus of syllogistic evaluation.
Reference
Open these only when you need the extra structure
How the lesson is meant to unfold
Concept Intro
The core idea is defined and separated from nearby confusions.
Rule Or Standard
This step supports the lesson by moving from explanation toward application.
Worked Example
A complete example demonstrates what correct reasoning looks like in context.
Guided Practice
You apply the idea with scaffolding still visible.
Independent Practice
You work more freely, with less support, to prove the idea is sticking.
Assessment Advice
Use these prompts to judge whether your reasoning meets the standard.
Mastery Check
The final target tells you what successful understanding should enable you to do.
Reasoning tools and formal patterns
Rules and standards
These are the criteria the unit uses to judge whether your reasoning is actually sound.
The Middle Term Must Be Distributed At Least Once
A valid categorical syllogism must distribute the middle term in at least one premise.
Common failures
- Both premises leave the middle term undistributed, so the subject and predicate of the conclusion are never connected through the whole middle class.
- The student confuses the middle term with the major or minor term and overlooks its distribution.
No Term Distributed in Conclusion Unless Distributed in Premises
No term may be distributed in the conclusion unless it was also distributed in the premise in which it appeared.
Common failures
- Illicit major: the major term is distributed in the conclusion but undistributed in the major premise.
- Illicit minor: the minor term is distributed in the conclusion but undistributed in the minor premise.
No Valid Conclusion from Two Negative Premises
If both premises are negative, no valid conclusion can be drawn.
Common failures
- Two E or O premises appear to support a conclusion but the structural connection is lost.
- Students infer from 'no A are B' and 'no B are C' that 'no A are C,' which is not valid.
Negative Premise Requires Negative Conclusion
If either premise is negative, the conclusion must be negative; if neither premise is negative, the conclusion must be affirmative.
Common failures
- The argument has a negative premise but an affirmative conclusion.
- The argument has two affirmative premises but concludes negatively.
No Particular Conclusion from Two Universal Premises (Modern Reading)
Under the modern (Boolean) reading of existential import, a syllogism with two universal premises cannot yield a particular conclusion, because universal premises do not assert the existence of class members.
Common failures
- The argument infers 'some S are P' from two universal premises under the modern interpretation.
- The student conflates traditional and modern existential import and draws inferences allowed only by the traditional reading.
Patterns
Use these when you need to turn a messy passage into a cleaner logical structure before evaluating it.
Categorical Standard-Form Analysis
Input form
natural_language_categorical_claim
Output form
A_E_I_O_classification
Steps
- Identify the subject class and the predicate class.
- Determine whether the claim is universal (every/no) or particular (some).
- Determine whether the claim is affirmative or negative.
- Classify the proposition as A, E, I, or O.
- Record which terms are distributed under the resulting form.
Watch for
- Misidentifying quantity because of ordinary-language wording ('a' can be universal or particular depending on context).
- Ignoring hidden negation such as 'only' or 'except.'
- Switching subject and predicate when rephrasing into standard form.
Syllogism Term Map
Input form
categorical_syllogism
Output form
major_minor_middle_structure
Steps
- Identify the conclusion and its subject (minor term) and predicate (major term).
- Find the term that appears in both premises but not in the conclusion; that is the middle term.
- Classify each premise as A, E, I, or O.
- Note distribution of every term in every line.
- Apply the five classical rules to determine validity.
Watch for
- Labeling the middle term wrong because the student starts from the first premise instead of the conclusion.
- Checking distribution only for the middle term and missing illicit major or minor.
- Skipping the quality check and missing a negative-premise error.
Three-Circle Venn Validity Test
Input form
categorical_syllogism
Output form
validity_judgment
Steps
- Draw three overlapping circles labeled with the subject, predicate, and middle terms.
- Shade or mark the premises onto the diagram, using shading for universal premises and an 'x' for particular premises.
- After drawing the premises, inspect the diagram to see whether the conclusion is already represented.
- If the conclusion's information is already present in the diagram, the argument is valid; otherwise it is invalid.
- When placing an 'x' that could go in more than one region, place it on the line between regions to represent the ambiguity.
Watch for
- Drawing both premises as shading and then forgetting that the conclusion is a particular claim.
- Placing an 'x' in a single region when the premise does not specify which region.
- Interpreting the shaded diagram as asserting emptiness beyond what the premise actually said.
Worked Through
Examples that model the standard before you try it
Do not skim these. A worked example earns its place when you can point to the exact move it is modeling and the mistake it is trying to prevent.
Worked Example
Valid Syllogism by Rules and by Venn
Two independent methods, one answer. This is the payoff of categorical logic: you can check your work in two different ways, and they must agree.
Content
- Premise 1: All mammals are warm-blooded.
- Premise 2: All whales are mammals.
- Conclusion: All whales are warm-blooded.
- Rule check: middle term 'mammals' is distributed in premise 1 (subject of an A proposition). No term is distributed in the conclusion without being distributed in the premise. Both premises are affirmative, so the conclusion is affirmative. Both premises are not negative, so rule 3 is satisfied. Both premises are universal, and the conclusion is also universal, so rule 5 is satisfied. All five rules pass. Valid.
- Venn check: shade whales-only (no whales exist outside mammals) and mammals-only-not-warm-blooded (no mammals exist outside warm-blooded). The region whales-only-not-warm-blooded is now shaded. The conclusion 'all whales are warm-blooded' says exactly that region is empty. Diagram confirms validity.
Worked Example
Undistributed Middle by Rules and by Venn
When the middle term is undistributed, the diagram will leave the key region unshaded. The rule and the diagram give you two views of the same failure.
Content
- Premise 1: All musicians are creative people.
- Premise 2: All painters are creative people.
- Conclusion: All painters are musicians.
- Rule check: middle term 'creative people' is the predicate of two A propositions, so it is undistributed in both. Rule 1 is violated. Undistributed middle fallacy. Invalid.
- Venn check: shade painters-only-not-creative and musicians-only-not-creative. The region painters-only-not-musicians is not shaded. Diagram does not support the conclusion. Invalid.
Pause and Check
Questions to use before you move into practice
Self-check questions
- Have I checked every one of the five classical rules?
- Does my Venn diagram confirm or contradict my rule-based judgment?
- For any invalid argument, have I named the specific rule violation and fallacy?
Practice
Now apply the idea yourself
Move into practice only after you can name the standard you are using and the structure you are trying to preserve or evaluate.
Evaluation Practice
DeductiveApply the Five Rules
For each syllogism, build the term map, classify each line, and check the five classical rules. Name the fallacy if the argument is invalid.
Syllogisms to evaluate
Evaluate each syllogism by the five rules. For any invalid argument, name the violated rule and the corresponding fallacy.
Syllogism A
All mammals are warm-blooded. All whales are mammals. Therefore, all whales are warm-blooded.
Barbara — valid. Confirm all five rules are satisfied.
Syllogism B
All musicians are creative people. All painters are creative people. Therefore, all painters are musicians.
Undistributed middle — the middle term 'creative people' is undistributed in both premises.
Syllogism C
All scholarship recipients submitted the final paperwork. No late applicants submitted the final paperwork. Therefore, no late applicants are scholarship recipients.
Valid — confirm the middle term is distributed and the negative-premise rules are satisfied.
Syllogism D
All dolphins are mammals. No fish are mammals. Therefore, all dolphins are fish.
Negative-premise violation — a negative premise cannot yield an affirmative conclusion.
Syllogism E
All unicorns are magical creatures. All magical creatures are legendary beings. Therefore, some unicorns are legendary beings.
Existential fallacy — two universal premises yielding a particular conclusion under the modern reading.
Proof Draft
LineStatementJustificationAction
1
2
3
Evaluation Practice
DeductiveConfirm with a Venn Diagram
For each syllogism, draw a three-circle Venn diagram, diagram both premises, and inspect whether the conclusion's information is present. Compare your Venn result with your rule-based result.
Syllogisms to diagram
Use the three-circle method. Diagram universal premises before particular ones, and use a boundary 'x' when a particular premise is ambiguous.
Syllogism A
All M are P. All S are M. Therefore all S are P.
The classic Barbara pattern. Shade S-only-not-M, then M-only-not-P; confirm S-only-not-P is already shaded.
Syllogism B
All M are P. All S are P. Therefore all S are M.
Undistributed middle. The diagram should leave S-only-not-M unshaded, showing the conclusion is not forced.
Syllogism C
Some S are M. All M are P. Therefore some S are P.
Valid particular conclusion. Diagram the universal first to push the 'x' into the correct region.
Proof Draft
LineStatementJustificationAction
1
2
3
Formalization Practice
DeductiveFormalization Drill: Evaluating Syllogisms by Rules and by Venn Diagrams
Translate each natural-language argument into formal notation. Identify the logical form and check whether the argument is valid.
Practice scenarios
Work through each scenario carefully. Apply the concepts from this lesson.
Argument 1
If the server crashes, then the backup activates. If the backup activates, then an alert is sent. The server crashed. What follows?
Argument 2
Either the contract is valid or the parties must renegotiate. The contract is not valid. What follows?
Argument 3
All databases store records. This system does not store records. What can we conclude about this system?
Choose one of the arguments above, assign sentence letters, and translate the premises and conclusion into symbolic form.
Proof Construction
DeductiveProof Practice: Evaluating Syllogisms by Rules and by Venn Diagrams
Construct a step-by-step proof or derivation for each argument. Justify every step with the rule you are applying.
Practice scenarios
Work through each scenario carefully. Apply the concepts from this lesson.
Prove
From premises: (1) P -> Q, (2) Q -> R, (3) P. Derive R.
Prove
From premises: (1) A v B, (2) A -> C, (3) B -> C. Derive C.
Prove
From premises: (1) ~(P & Q), (2) P. Derive ~Q.
Proof Draft
LineStatementJustificationAction
1
2
3
Evaluation Practice
DeductiveValidity Check: Evaluating Syllogisms by Rules and by Venn Diagrams
Determine whether each argument is deductively valid. If invalid, describe a counterexample where the premises are true but the conclusion is false.
Practice scenarios
Work through each scenario carefully. Apply the concepts from this lesson.
Argument A
All philosophers study logic. Socrates is a philosopher. Therefore, Socrates studies logic.
Argument B
If it rains, the ground is wet. The ground is wet. Therefore, it rained.
Argument C
No birds are mammals. Some mammals fly. Therefore, some things that fly are not birds.
Argument D
Either the door is locked or the alarm is on. The door is not locked. Therefore, the alarm is on.
Proof Draft
LineStatementJustificationAction
1
2
3
Proof Construction
DeductiveDeep Practice: Evaluating Syllogisms by Rules and by Venn Diagrams
Work through these challenging exercises. Each one requires careful application of formal reasoning. Show your work step by step.
Challenging derivations
Prove each conclusion from the given premises. Label every inference rule you use.
Challenge 1
Premises: (1) (A & B) -> C, (2) D -> A, (3) D -> B, (4) D. Derive: C.
Challenge 2
Premises: (1) P -> (Q & R), (2) R -> S, (3) ~S. Derive: ~P.
Challenge 3
Premises: (1) A v B, (2) A -> (C & D), (3) B -> (C & E). Derive: C.
Challenge 4
Premises: (1) ~(P & Q), (2) P v Q, (3) P -> R, (4) Q -> S. Derive: R v S.
Proof Draft
LineStatementJustificationAction
1
2
3
Analysis Practice
DeductiveReal-World Transfer: Evaluating Syllogisms by Rules and by Venn Diagrams
Apply formal logic to real-world contexts. Translate each scenario into formal notation, determine validity, and explain the practical implications.
Logic in the wild
These scenarios come from law, science, and everyday reasoning. Formalize and evaluate each.
Legal reasoning
A contract states: 'If the product is defective AND the buyer reports within 30 days, THEN a full refund will be issued.' The product was defective. The buyer reported on day 35. The company denies the refund. Is the company's position logically valid?
Medical reasoning
A diagnostic protocol states: 'If the patient has fever AND cough, test for flu. If the flu test is negative AND symptoms persist for 7+ days, test for bacterial infection.' A patient has a cough but no fever. What does the protocol require?
Policy reasoning
A policy reads: 'Students may graduate early IF they complete all required courses AND maintain a 3.5 GPA OR receive special faculty approval.' Due to the ambiguity of OR, identify the two possible readings and explain what difference they make.
Proof Draft
LineStatementJustificationAction
1
2
3
Rapid Identification
DeductiveTimed Drill: Evaluating Syllogisms by Rules and by Venn Diagrams
Work through these quickly. For each mini-scenario, identify the logical form, name the rule used, and state whether the inference is valid. Aim for accuracy under time pressure.
Quick-fire logic identification
Identify the logical form and validity of each argument in under 60 seconds per item.
Item 1
If the reactor overheats, the failsafe triggers. The failsafe triggered. Therefore, the reactor overheated.
Item 2
All licensed pilots passed the medical exam. Jenkins is a licensed pilot. Therefore, Jenkins passed the medical exam.
Item 3
Either the encryption key expired or someone changed the password. The encryption key did not expire. Therefore, someone changed the password.
Item 4
If taxes increase, consumer spending decreases. Consumer spending has not decreased. Therefore, taxes have not increased.
Item 5
No insured vehicle was towed. This vehicle was towed. Therefore, this vehicle is not insured.
Item 6
If the sample is contaminated, then the results are unreliable. The sample is contaminated. Therefore, the results are unreliable.
Proof Draft
LineStatementJustificationAction
1
2
3
Evaluation Practice
DeductivePeer Review: Evaluating Syllogisms by Rules and by Venn Diagrams
Below are sample student responses to a logic exercise. Evaluate each response: Is the formalization correct? Is the proof valid? Identify specific errors and suggest corrections.
Evaluate student proofs
Each student attempted to prove a conclusion from given premises. Find and correct any mistakes.
Student A's work
Premises: P -> Q, Q -> R, P. Student wrote: (1) P [premise], (2) P -> Q [premise], (3) Q [MP 1,2], (4) Q -> R [premise], (5) R [MP 3,4]. Conclusion: R. Student says: 'Valid proof by two applications of Modus Ponens.'
Student B's work
Premises: A v B, A -> C. Student wrote: (1) A v B [premise], (2) A -> C [premise], (3) A [from 1], (4) C [MP 2,3]. Conclusion: C. Student says: 'Since A or B is true, A must be true, so C follows.'
Student C's work
Premises: ~P v Q, P. Student wrote: (1) ~P v Q [premise], (2) P [premise], (3) ~~P [DN 2], (4) Q [DS 1,3]. Conclusion: Q. Student says: 'I used double negation then disjunctive syllogism.'
Student D's work
Premises: (P & Q) -> R, P, Q. Student wrote: (1) P [premise], (2) Q [premise], (3) (P & Q) -> R [premise], (4) R [MP 1,3]. Conclusion: R. Student says: 'Modus Ponens with P and the conditional.'
Proof Draft
LineStatementJustificationAction
1
2
3
Proof Construction
DeductiveConstruction Challenge: Evaluating Syllogisms by Rules and by Venn Diagrams
Build complete proofs or arguments from scratch. You are given only a conclusion and some constraints. Construct valid premises and a rigorous derivation.
Build your own proofs
For each task, create a valid argument with explicit premises and step-by-step derivation.
Task 1
Construct a valid argument with exactly three premises that concludes: 'The network is secure.' Use at least one conditional and one disjunction in your premises.
Task 2
Build a valid syllogistic argument that concludes: 'Some scientists are not wealthy.' Your premises must be universal statements (All X are Y or No X are Y).
Task 3
Create a proof using reductio ad absurdum (indirect proof) that derives ~(P & ~P) from no premises. Show every step and justify each with a rule name.
Task 4
Construct a chain of conditional reasoning with at least four steps that connects 'The satellite detects an anomaly' to 'Emergency protocols are activated.' Make each link realistic and name the domain.
Proof Draft
LineStatementJustificationAction
1
2
3
Diagnosis Practice
DeductiveCounterexample Challenge: Evaluating Syllogisms by Rules and by Venn Diagrams
For each invalid argument below, construct a clear counterexample -- a scenario where all premises are true but the conclusion is false. Then explain which logical error the argument commits.
Find counterexamples to invalid arguments
Each argument appears plausible but is invalid. Prove invalidity by constructing a specific counterexample.
Argument 1
If a student studies hard, they pass the exam. Maria passed the exam. Therefore, Maria studied hard.
Argument 2
All roses are flowers. Some flowers are red. Therefore, some roses are red.
Argument 3
No fish can fly. No birds are fish. Therefore, all birds can fly.
Argument 4
If the alarm sounds, there is a fire. The alarm did not sound. Therefore, there is no fire.
Argument 5
All effective medicines have been tested. This substance has been tested. Therefore, this substance is an effective medicine.
Proof Draft
LineStatementJustificationAction
1
2
3
Analysis Practice
DeductiveIntegration Exercise: Evaluating Syllogisms by Rules and by Venn Diagrams
These exercises combine deductive logic with other topics and reasoning styles. Apply formal logic alongside empirical evaluation, explanation assessment, or problem-solving frameworks.
Cross-topic deductive exercises
Each scenario requires deductive reasoning combined with at least one other skill area.
Scenario 1
A quality control team uses this rule: 'If a batch fails two consecutive tests, it must be discarded.' Batch 47 failed Test A and passed Test B, then failed Test C. Formally determine whether the rule requires discarding Batch 47, and discuss whether the rule itself is well-designed from a problem-solving perspective.
Scenario 2
A researcher argues: 'All peer-reviewed studies in this meta-analysis show that X reduces Y. This study shows X reduces Y. Therefore, this study will be included in the meta-analysis.' Evaluate the deductive form, then inductively assess whether the meta-analysis conclusion would be strong.
Scenario 3
An insurance policy states: 'Coverage applies if and only if the damage was caused by a covered peril AND the policyholder reported it within 72 hours.' A policyholder reported water damage after 80 hours, claiming the damage was not discoverable sooner. Apply the formal logic of the policy, then consider whether the best explanation supports an exception.
Scenario 4
A hiring algorithm uses: 'If GPA >= 3.5 AND experience >= 2 years, then advance to interview.' Candidate X has GPA 3.8 and 18 months experience. Formally determine the outcome. Then evaluate: is the algorithm's rule inductively justified? What evidence would you want?
Proof Draft
LineStatementJustificationAction
1
2
3
Diagnosis Practice
DeductiveMisconception Clinic: Evaluating Syllogisms by Rules and by Venn Diagrams
Each item presents a common misconception about deductive logic. Identify the misconception, explain why it is wrong, and provide a correct version of the reasoning.
Common deductive misconceptions
Diagnose and correct each misconception. Explain the error clearly enough for a fellow student to understand.
Misconception 1
A student claims: 'An argument is valid if its conclusion is true. Since the conclusion "Water is H2O" is obviously true, any argument concluding this must be valid.'
Misconception 2
A student says: 'Modus Tollens and denying the antecedent are the same thing. Both involve negation and a conditional, so they must work the same way.'
Misconception 3
A student writes: 'This argument is invalid because the conclusion is false: All cats are reptiles. All reptiles lay eggs. Therefore, all cats lay eggs.'
Misconception 4
A student argues: 'A sound argument can have a false conclusion, because soundness just means the argument uses correct logical rules.'
Misconception 5
A student claims: 'Since P -> Q is equivalent to ~P v Q, we can derive Q from P -> Q alone, without knowing whether P is true.'
Proof Draft
LineStatementJustificationAction
1
2
3
Proof Construction
DeductiveScaffolded Proof: Evaluating Syllogisms by Rules and by Venn Diagrams
Build proofs in stages. Each task gives you a partially completed derivation. Fill in the missing steps, justify each one, and then extend the proof to a further conclusion.
Step-by-step proof building
Complete each partial proof, then extend it. Every step must cite a rule.
Scaffold 1
Premises: (1) (A v B) -> C, (2) D -> A, (3) D. Partial proof: (4) A [MP 2,3]. Your tasks: (a) Complete the proof to derive C. (b) If we add premise (5) C -> E, extend the proof to derive E.
Scaffold 2
Premises: (1) P -> (Q -> R), (2) P, (3) Q. Partial proof: (4) Q -> R [MP 1,2]. Your tasks: (a) Complete the proof to derive R. (b) If we add premise (5) R -> ~S, extend to derive ~S. (c) If we also add (6) S v T, what can you derive?
Scaffold 3
Premises: (1) ~(A & B), (2) A. Your task: Prove ~B step by step. Hint: You may need to use an assumption for indirect proof. Show the subproof structure clearly.
Scaffold 4
Premises: (1) P v Q, (2) P -> R, (3) Q -> S, (4) ~R. Your tasks: (a) Derive ~P from (2) and (4). (b) Using (a), derive Q from (1). (c) Using (b), derive S. (d) Name each rule used.
Proof Draft
LineStatementJustificationAction
1
2
3
Analysis Practice
DeductiveSynthesis Review: Evaluating Syllogisms by Rules and by Venn Diagrams
These exercises require you to combine everything you have learned about deductive reasoning. Each scenario tests multiple skills simultaneously: formalization, rule application, validity checking, and proof construction.
Comprehensive deductive review
Each task combines multiple deductive skills. Show all your work.
Comprehensive 1
A software license agreement states: 'The software may be used commercially if and only if the licensee has purchased an enterprise plan and has fewer than 500 employees, or has received written exemption from the vendor.' Formalize this using propositional logic, determine what follows if a company has an enterprise plan and 600 employees with no exemption, and identify any ambiguity in the original text.
Comprehensive 2
Construct a valid argument with four premises and one conclusion about data privacy. Then create an invalid argument about the same topic that looks similar but commits a formal fallacy. Finally, prove the first is valid and show a counterexample for the second.
Proof Draft
LineStatementJustificationAction
1
2
3
Venn Diagram Builder
Define your sets, then place items into the correct regions to visualize categorical relationships.
Diagram type
Set names
Add an item to a region
2 sets · 0 items placed
Animated Explainers
Step-by-step visual walkthroughs of key concepts. Click to start.
Read the explanation carefully before jumping to activities!
Further Support
Open these only if you need extra help or context
Mistakes to avoid before submitting
- Do not treat the rules as a loose checklist; each one must be checked explicitly.
- Do not resolve a boundary 'x' into a single region without warrant from the premises.
Where students usually go wrong
Skipping the term map and guessing at distribution.
Forgetting to diagram the universal premise before the particular one.
Treating a boundary 'x' as if it were in a specific subregion.
Failing to name the fallacy when an argument is invalid.
Historical context for this way of reasoning
Aristotle
Aristotle's syllogistic system identified the valid moods of the first figure directly and derived the others by reduction. The rules-based approach used in modern teaching is a later systematization, but it reaches the same conclusions Aristotle reached argument by argument.