User:Jshflynn/Howson Handbook

Connectives
Definition:Statement

Definition:Logical Connective

Definition:Logical Not

Definition:Disjunction

Definition:Conjunction

Definition:Conditional

Definition:Biconditional

Definition:Truth Table

Definition:Conditional/Antecedent

Definition:Conditional/Consequent

Definition:Interderivable/Equivalent Statements

Definition:Logical NAND

Axioms
Definition:Axiom

Definition:True

Definition:Rule of Inference

Definition:False

Modus Ponendo Ponens

Definition:Converse

Definition:Inverse (Logic)

Definition:Contrapositive

Variables and Quantifiers
Definition:Variable/Propositional Logic

Definition:Alphabetic Substitution

Definition:Contingent Statement

Definition:Predicate

Definition:Universal Quantifier

Definition:Existential Quantifier

Definition:Bound Occurrence

Definition:Free Occurrence

Equality
Definition:Equals

Axiom Systems
Definition:Formal System

Definition:Theorem/Formal System

Definition:Lemma

Definition:Model (Logic)/Propositional Calculus

Definition:Model (Logic)/Predicate Calculus

Definition:Interpretation (Model Theory)

Definition:Logically Consistent

Definition:Independent Statements

Sets
Definition:Set

Definition:Membership Relation

Definition:Element

Definition:Subset

Definition:Proper Subset

Definition:Set Complement

Definition:Empty Set

Definition:Singleton

Definition:Power Set

Definition:Set Intersection

Definition:Disjoint Sets

Definition:Set Union

Definition:Indexing Set

Definition:Indexing Set/Index

Definition:Set Intersection/Family of Sets

Definition:Set Union/Family of Sets

Definition:Set Difference

Definition:Relative Complement

Definition:Symmetric Difference

Definition:Venn Diagram

Definition:Euler Diagram

Graphs and Functions
Definition:Ordered Pair

Definition:Cartesian Product

Definition:Relation

Definition:Relation/Truth Set

Definition:Mapping

Definition:Graph of Mapping

Definition:Domain (Set Theory)/Mapping

Definition:Codomain (Set Theory)/Mapping

Equality of Mappings

Definition:Image/Mapping/Element

Definition:Image/Mapping/Mapping

Definition:Range

Definition:Constant Mapping

Definition:Set of All Mappings

Definition:Restriction/Mapping

Definition:Extension/Mapping

Some Special Types of Function
Definition:Surjection

Definition:Injection

Definition:Bijection

Definition:Permutation/Mapping

Definition:Identity Mapping

Definition:Inclusion Mapping