User:Ascii/ProofWiki Sampling Notes

Definition; Natural Language

Object; Symbol; Variable/Propositional Logic; Operator; Operand; Arity

Logic; Aristotelian Logic; Symbolic Logic; Propositional Logic Statement; Statement Label; Proposition; Logical Connective; Compound Statement; Substatement; Statement Form Truth Value; True; False Unary Logical Connective; Logical Not Binary Logical Connective; Conjunction; Disjunction; Conditional; Biconditional; Exclusive Or; NAND; NOR Contradiction; Tautology; Bottom (Logic); Top (Logic) Axiom

Predicate Logic Universal Quantifier; Existential Quantifier

Formal Language; Alphabet; Collation; Collation System; Formal Grammar

Set; Element; Membership Relation; Subset; Proper Subset; Superset; Proper Superset; Set Equality; Empty Set; Singleton; Power Set Set Union; Set Intersection; Set Difference; Symmetric Difference; Ordered Pair; Cartesian Product Partition

Binary Relation; Domain (Set Theory)/Relation; Range Trivial Relation; Null Relation; Diagonal Relation Image (Set Theory)/Relation/Relation; Image (Set Theory)/Relation/Element; Image (Set Theory)/Relation/Subset Composition of Relations; Complement of Relation; Inverse Relation Preimage/Relation/Relation; Preimage/Relation/Element; Preimage/Relation/Subset Restriction of Relation; Extension of Relation; Agreement/Relations; Combinable/Relations Many-to-One Relation; One-to-Many Relation; One-to-One Relation; Many-to-Many Relation Reflexive Relation; Antireflexive Relation; Non-reflexive Relation Symmetric Relation; Asymmetric Relation; Antisymmetric Relation; Non-Symmetric Relation Transitive Relation; Antitransitive Relation; Non-transitive Relation Equivalence Relation; Equivalence Class; Quotient Set

Mapping; Domain (Set Theory)/Mapping; Range Composition of Mappings Null Mapping; Constant Mapping; Identity Mapping Surjection; Injection; Bijection

Binary Operation; Commutative; Associative; Idempotent

Magma; Semigroup; Monoid; Group; Abelian Group