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

Graphs and Functions
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