Skip to main content
We’re so back. See what’s new for the 2026-2027 school year →

👁️‍🗨️Formal Logic I
Key Terms

125 essential vocabulary terms and definitions to know for your Formal Logic I exam

Study Formal Logic I →

Browse All A-Z

A

Ad hominem
Ad hominem fallacy
Ad populum fallacy
Affirmative proposition
Affirming the Consequent
Arbitrary constants
Argument Mapping
Aristotle
Attributive use
Axioms

B

Backward reasoning
Bandwagon fallacy
Begging the Question
Biconditional Statement
Binary predicate
Boolean algebra

C

Categorical syllogism
Church-Turing Thesis
Circular reasoning
Complex Argument
Complex Term
Compound Proposition
Compound Sentences
Compound Statements
Conclusion Indicators
Conditional contradiction
Consistent
Constructive Dilemma
Convergent Argument
Converse Barcan Formula
Critique of the Theory of Descriptions

D

Deduction Theorem
Disjunctive Syllogism
Distribution of Quantifiers
Domain of Discourse
Donnellan's Referential-Attributive Distinction
Dual Quantifiers

E

Equality relation
Equivocation
Exhaustive Enumeration
Existence presupposition
Existential Fallacy
Exportation Law

F

Fallacy of Affirming the Consequent
Fallacy of Exclusive Premises
Fallacy of Generalization
Fallacy of the converse
Fallacy of the inverse
Fallacy of the Undistributed Middle
False Dichotomy
First-order logic

G

Gottlob Frege
Graph of a relation

I

Illicit conversion
Implicational reasoning
Indicator Words
Injective Relation
Intension

L

Law of Excluded Middle
Law of Non-Contradiction
Law of noncontradiction
Line of Proof
Logical consequence
Logical Consistency
Logical Entailment
Logical Form
Logical structures

M

Major premise
Material Equivalence
Middle term
Minor premise
Modal logic
Model
Model Theory
Modus Ponens