How to Use LogicCoach 9

• About...
• Using LogicCoach 9
• Starting The Program
• Picking an Exercise
• Exercise Pages
• General Overview
• Proof Pages
• Editing a Proof
• Truth Table Pages
• Venn Diagram Pages
• Drag and Drop
• Special Fonts
• Exercise 1.6
• The Calculator
• Using Other Pages
• Using Lists
• Using Tables
• Using Click Pages
• Using Translation Pages
• Tree Organization
• Tree Navigation
• Tree Editor
• The First Truth Tree Exercise

Back to Top

Chapter 1, Basic Concepts

• Premise and Conclusion Indicator Words
• Arguments
• Argument From Analogy
• Causal inference
• Conditional Statement
• Necessary condition
• Both Sufficient and Necessary
• Sufficient condition
• NONargument--Expository passage
• NONargument--Opinion
• NONargument--Temporal use of 'since'
• NONargument--Warning
• NONargument--Loosely associated statements
• NONargument--Explanation
• NONargument
• NONargument--Report
• NONargument--Statement of Belief or Opinion
• NONargument--Illustration
• NONargument--Piece of advice
• Argument From Authority
• Inductive Argument Based On Signs
• Prediction
• Inductive Generalization
• Argument from Definition
• Categorical Syllogism
• Disjunctive Syllogism
• Hypothetical Syllogism
• Deductive Argument based on Mathematics
• Premises provide necessary support for conclusion
• Inductive Argument Indicator Words
• Valid (true premises, true conclusion)
• Valid (false premises, true conclusion)
• Valid (false premises, false conclusion)
• Invalid (true premises, true conclusion)
• Invalid (true premises, false conclusion)
• Invalid (false premises, true conclusion)
• Invalid (false premises, false conclusion)
• Deductive But Invalid
• Strong (true premises, probably true conclusion)
• Strong (false premises, probably true conclusion)
• Strong (false premises, probably false conclusion)
• Weak (true premises, probably true conclusion)
• Weak (true premises, probably false conclusion)
• Weak (false premises, probably true conclusion)
• Weak (false premises, probably false conclusion)
• Inductive and Strong
• Deductive, valid but unsound
• Deductive and Valid
• Inductive but Weak
• 1.5 Forms and Invalidity
• 1.6 Extended Arguments

Back to Top

Chapter 2, Language: Meaning and Definition

• Definitions
• Affective terminology
• Ambiguous definition
• Circular definition
• Definition by Genus and Difference
• Definition by subclass
• Demonstrative definition
• Enumerative definition
• Etymological definition
• Failure to state the essential meaning
• Figurative language
• Improper grammar
• Failure to indicate the context
• Lexical definition
• Negative definition
• Operational definition
• Obscure definition
• Precising definition
• Persuasive definition
• Stipulative definition
• Synonymous definition
• Terms
• Theoretical definition
• Too broad
• Too narrow
• Vague definition

Back to Top

Chapter 3, Informal Fallacies

• Fallacies
• Formal fallacy
• Informal fallacy
• No fallacy
• Accident
• Amphiboly
• Appeal to force
• Appeal to ignorance
• Appeal to pity
• Appeal to the people, direct variety
• Appeal to the people, indirect variety
• Appeal to unqualified authority
• Argument against the person, abusive
• Argument against the person, circumstantial
• Begging the question
• Complex question
• Composition
• False dichotomy
• Division
• Equivocation
• False cause
• Hasty generalization (converse accident)
• Missing the point
• Red herring
• Straw man
• Slippery slope
• Suppressed evidence
• Tu quoque
• Weak analogy

Back to Top

Chapter 4, Categorical Logic

• Quantity, Quality, and Distribution
• Conversion, Obversion, and Contraposition
• Modern Square of Opposition
• Venn Diagrams for Propositions
• Existential Assumption
• Traditional Square of Opposition
• Standard Form
• Terms without Nouns
• Adverbs and Pronouns
• Nonstandard Verbs
• Unexpressed Quantifiers
• Singular Propositions
• Exclusive Propositions
• Conditional Statements
• Not and Quantifiers
• Exceptive Propositions

Back to Top

Chapter 5, Syllogisms

• Terms
• Mood and Figure
• Syllogistic Rules
• The Valid Syllogisms
• Venn Diagrams for Syllogisms
• Enthymemes
• Sorites

Back to Top

Chapter 6, Propositional Logic

• Symbolic Logic
• Logic Symbols
• Translations
• NOT
• AND
• OR (Inclusive)
• OR (Exclusive)
• NEITHER...NOR
• IMPLIES
• If and only if
• Well Formed Formulas
• Scope Words
• Parallel Construction
• Commas
• Series
• Terminology
• How to Build a Truth Table
• Truth Tables (Direct)
• Indirect Truth Tables
• Truth Tables (Indirect)

Back to Top

Chapter 7, Natural Deduction in Propositional Logic

• Implication rules
• Replacement rules
• Conditional Proof
• Indirect Proof
• Hints and Tricks
• DOT Strategy
• WEDGE Strategy
• HORSESHOE Strategy
• TRIPLE BAR Strategy
• TILDE Strategy
• Duplicate Strategy

Back to Top

Chapter 8, Predicate Logic

• Predicate Logic Notation
• Quantifiers
• 8.1 Standardization
• 8.1 AND
• 8.1 ANY
• Quantifier Scope
• Existential Generalization
• Existential Instantiation
• Universal Generalization
• Universal Instantiation
• Hints and Tricks
• Universal Quantifier Strategy
• Existential Quantifier Strategy
• Change Of Quantifier
• Finite Universe for Quantifier Invalidity
• Truth Values (Quantifier Invalidity)
• Identity Rules
• Identity Strategy

Back to Top

Chapter 9, Induction

• Necessary condition
• Both Sufficient and Necessary
• Sufficient condition
• Analogies
• 9.2 The Method of Concomitant Variation
• 9.2 The Method of Agreement
• 9.2 The Method of Difference
• 9.2 The Joint Method Of Agreement And Difference
• 9.2 The Method of Residues
• 9.2 Table for Mill's Methods
• 9.3 Odds
• 9.3 TIP--probability equations
• 9.3 Simple Probability
• 9.3 Restricted Conjunction Rule
• 9.3 General Conjunction Rule
• 9.3 Restricted Disjunction Rule
• 9.3 General Disjunction Rule
• 9.3 Negation Rule
• 9.3 Bayes's Theorem

Back to Top

Supplement, Truth Trees

• The First Truth Tree Exercise
• Decomposition Rules
• Growing a Tree

Back to Top