Logic: Sections: Elementary

Elementary terms and concepts

• Logic

• Logical reasoning

• Inductive reasoning

• Logic in CS

• Formalism

• Formal system

• Induction

• Induction principle

• Mathematical induction

• Syntax

• Semantics

• Tautology

• Truth function

• Functional completness

• Consequence

• Logical consequence

• Argument

• Premise

• Formula

• Term

• Logical constant

• Logical connective

• Judgment

• Non-logical symbol

• Categorical proposition

• Deduction theorem

• Fallacy

• Absoluteness

• Validity

• Satisfiability