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