Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals

Read-only question overview. Answers and scoring remain inside authenticated learner attempts.

• What forms do the two premises of an exceptive syllogism take?
• Which inference is “If A then B; A; therefore B”?
• What follows when the consequent of a connected conditional is denied?
• What is wrong with “Divisible by 4 implies even; 6 is even; so 6 is divisible by 4”?
• From “If square, then four-sided” and “not a square,” what follows?
• In “But the sun has risen,” what is asserted?
• In the textbook’s example, what follows from “But daytime is absent”?
• Which pair contains the two valid connected-conditional moves?
• Does the word “but” in an exceptive premise necessarily signal what?
• What distinguishes a true disjunction?
• An integer is even or odd; it is not even. What follows?
• An integer is even or odd; it is even. What follows?
• Why can “This shape is a triangle or a square” illustrate exclusion of conjunction?
• Which exception is valid for exclusion of conjunction?
• Why does “Not a triangle; therefore a square” fail for exclusion of conjunction?
• What is ruled out in an exclusion-of-emptiness disjunction?
• For “at least 5 or at most 5,” what is true at 5?
• Which inference is valid for exclusion of emptiness?
• Why does affirming one side not deny the other in exclusion of emptiness?
• In the rule for exclusion of conjunction, what does the book’s “first kind” mean?
• Which is a valid example of denying the consequent?
• What demonstrates that a proposed exceptive conclusion is not entailed?
• What is wrong with “If stone then living; it is stone; therefore living”?
• Why does affirming the antecedent of a true conditional yield the consequent?
• The alternatives cannot both be true but can both be false. Which type is this?
• The alternatives cannot both be false but can both be true. Which type is this?
• Which independent topic does the book treat immediately after exceptive syllogism?
• A true “If A then B” plus B is always enough to establish A.
• In exclusion of conjunction, affirming one side entails denying the other.
• In exclusion of emptiness, denying one side entails affirming the other.
• A true disjunction allows both alternatives to be true at once.