Logic Vocabulary List


Argument
   Premise   
   Conclusion

 

Deductive argument

 

Inductive argument

 

Validity

 

Non-Validity

 

Sound Argument

 

Unsound Argument

 

Consistency

 

Inconsistency

 

Context of Justification

 

Context of Discovery

Statement

    Simple Statement

    Compound Statement

    Statement Letter

 

Truth Function

    Truth-Functional Compounds

    Sentential Variable

 

Statement form

    Substitution Instance

    Conjunction

        Conjunct

    Negation

        Constituent Element

    Conditional

        Antecedent

        Consequent

    Disjunction

        Disjunct

    Biconditional

 

Truth Table

    Abbreviated Truth Table

 

Decision Procedure

 

Tautology         

 

Contradiction

 

Equivalence

 

Deduction

 

Deductive Validity

 

Proof

    Direct Proof

    Conditional Proof

    Indirect Proof

    Proof Procedure

 

Rule of Replacement  (Equivalience Rule)

    Implication

    Transposition

    DeMorgan

    Distribution

    Exportation

 

Rule of Inference (Sentential Rule)

    Modus Ponens

    Modus Tollens

    Hypothetical Syllogism

    Disjunctive Syllogism

    Addition

    Constructive Dilemma

 

Argument Form

    Substitution Instance

 

Predicate

    Monadic

    Polyadic

    Variable

    Propositional Function

 

 

Quantifier

    Existential

    Universal

 

Quantifier Negation

    Rules of Passage

 

Domain of Discourse

    Interpretation of a Universe of Discourse

    Element

    Satisfying interpretation

    Falsifying interpretation

 

Truth Functional Expansion

 

Matrix

 

Mechanical Jurisprudence

 

Legal Realism

 

Rule Skepticism

Rule of Law Mode