Pages that link to "Mathematician:Joel William Robbin"
Jump to navigation
Jump to search
The following pages link to Mathematician:Joel William Robbin:
Displayed 4 items.
- Mathematician:Joel Robbin (redirect page) (← links)
- Modus Ponendo Ponens (← links)
- Rule of Substitution (← links)
- Equality of Mappings (← links)
- Identity Mapping is Left Identity (← links)
- Injection iff Left Cancellable (← links)
- Surjection iff Right Cancellable (← links)
- Identity Mapping is Bijection (← links)
- Inverse of Bijection is Bijection (← links)
- Inverse Element of Bijection (← links)
- Cardinality of Surjection (← links)
- Equivalence of Mappings between Finite Sets of Same Cardinality (← links)
- Cardinality of Power Set of Finite Set (← links)
- Rational Numbers are Countably Infinite (← links)
- Composition of Mappings is Associative (← links)
- Primes of form Power Less One (← links)
- Method of Truth Tables (← links)
- Equivalence of Semantic Consequence and Logical Implication (← links)
- WFFs of PropLog of Length 1 (← links)
- WFF of PropLog is Balanced (← links)
- Prefix of WFF of PropLog is not WFF (← links)
- Soundness Theorem for Propositional Tableaus and Boolean Interpretations (← links)
- Models for Propositional Logic (← links)
- Extended Soundness Theorem for Propositional Tableaus and Boolean Interpretations (← links)
- Finished Set Lemma (← links)
- Finite Main Lemma of Propositional Tableaus (← links)
- Tableau Extension Lemma (← links)
- Extended Completeness Theorem for Propositional Tableaus and Boolean Interpretations (← links)
- Completeness Theorem for Propositional Tableaus and Boolean Interpretations (← links)
- Countable Hypothesis Set has Finished Tableau (← links)
- Main Lemma of Propositional Tableaus (← links)
- Prefix of WFF of Predicate Logic is not WFF (← links)
- Language of Predicate Logic has Unique Parsability (← links)
- Quantifier has Unique Scope (← links)
- Continuum Hypothesis (← links)
- Ramsey's Theorem (← links)
- Set Difference with Superset is Empty Set (← links)
- Equivalence of Definitions of Injection/Definition 1 iff Definition 4 (← links)
- Subset equals Preimage of Image iff Mapping is Injection (← links)
- Subset equals Image of Preimage iff Mapping is Surjection (← links)
- Semantic Consequence Union Negation (← links)
- Inverse of Identity Mapping (← links)
- Subsets in Increasing Union (← links)
- Mapping on Increasing Union (← links)
- Domain of Injection Not Larger than Codomain (← links)
- Equality of Ordered Tuples (← links)
- Surjection iff Right Inverse/Proof 1 (← links)
- Injection iff Left Inverse/Proof 1 (← links)
- Between two Rational Numbers exists Irrational Number (← links)
- Left and Right Inverses of Mapping are Inverse Mapping/Proof 3 (← links)
- Inverse of Inverse of Bijection/Proof 1 (← links)
- Identity Mapping is Right Identity (← links)
- Square Root of 2 is Irrational/Classic Proof (← links)
- Subgroup of Cyclic Group is Cyclic/Proof 1 (← links)
- Integer is Expressible as Product of Primes/Proof 1 (← links)
- Image of Intersection under Mapping/Family of Sets (← links)
- Image of Union under Mapping/Family of Sets (← links)
- Preimage of Union under Mapping/Family of Sets (← links)
- Preimage of Intersection under Mapping/Family of Sets (← links)
- Hypothetical Syllogism/Formulation 1 (← links)
- Double Negation/Formulation 2 (← links)
- Rule of Transposition/Formulation 1/Reverse Implication/Proof (← links)
- Rule of Transposition/Formulation 2 (← links)
- Rule of Transposition/Formulation 1/Reverse Implication (← links)
- Self-Distributive Law for Conditional/Formulation 2 (← links)
- Rule of Commutation/Conjunction/Formulation 2 (← links)
- Rule of Commutation/Disjunction/Formulation 2 (← links)
- Reductio ad Absurdum/Variant 2 (← links)
- Proof by Cases/Formulation 1/Forward Implication (← links)
- Biconditional is Transitive/Formulation 1 (← links)
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2 (← links)
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2 (← links)
- Rule of Distribution/Conjunction Distributes over Disjunction/Left Distributive/Formulation 2 (← links)
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2 (← links)
- True Statement is implied by Every Statement/Formulation 1 (← links)
- Modus Tollendo Ponens/Sequent Form/Case 1 (← links)
- Peirce's Law/Formulation 2 (← links)
- Method of Truth Tables/Proof of Tautology (← links)
- Principle of Dilemma/Formulation 1/Forward Implication (← links)
- Modus Tollendo Tollens/Sequent Form (← links)
- Rule of Association/Conjunction/Formulation 2 (← links)
- Rule of Association/Disjunction/Formulation 2 (← links)
- Rule of Assumption/Boolean Interpretation (← links)
- Empty Set is Subset of All Sets/Proof 1 (← links)
- Cantor's Theorem/Proof 1 (← links)
- Node of Rooted Tree is on Branch (← links)
- Leaf of Rooted Tree is on One Branch (← links)
- Node of Rooted Tree with Multiple Children is on Multiple Branches (← links)
- Branch of Finite Tree is Finite (← links)
- Tableau Confutation is Finished (← links)
- König's Tree Lemma/Proof 1 (← links)
- Equivalence of Definitions of Logical Consistence (← links)
- Four Color Theorem for Finite Maps implies Four Color Theorem for Infinite Maps (← links)
- Parity of Integer equals Parity of its Square/Odd (← links)
- Injection iff Left Cancellable/Sufficient Condition (← links)
- Inverse of Composite Bijection/Proof 2 (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Existence (← links)
- Conditions for Uniqueness of Left Inverse Mapping (← links)
- Number of Boolean Interpretations for Finite Set of Variables (← links)
- Inductive Definition of Sequence (← links)
- Model of Root of Propositional Tableau is Model of Branch (← links)
- Tableau Confutation implies Unsatisfiable (← links)
- Equivalence of Definitions of Surjection (← links)
- Finished Propositional Tableau has Finished Branch or is Confutation (← links)
- De Morgan's Laws (Set Theory)/Set Difference/Family of Sets/Difference with Intersection (← links)
- De Morgan's Laws (Set Theory)/Set Difference/Family of Sets/Difference with Union (← links)
- Cardinality of Set of All Mappings/Finite Sets (← links)
- Bound Variable/Examples/Universal Statement (← links)
- Bound Variable/Examples/Existential Statement (← links)
- Boolean Interpretation is Well-Defined/Proof 2 (← links)
- Language of Propositional Logic has Unique Parsability/Lemma (← links)
- Compactness Theorem for Boolean Interpretations/Proof 1 (← links)
- Finished Set Lemma/Corollary (← links)
- Euclid's Theorem/Corollary 2/Proof 2 (← links)
- Equality of Mappings/Also defined as (← links)
- Principle of Mathematical Induction/Zero-Based (← links)
- Conditions for Uniqueness of Left Inverse Mapping/Warning (← links)
- Rolle's Theorem/Proof 2 (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2 (← links)
- Null String has Length Zero (← links)
- Rule of Transposition/Also known as (← links)
- Talk:Finished Tableau has Finished Branch or is Confutation (← links)
- User:Prime.mover/Source Work Progress (← links)
- User:Lord Farin/Sandbox/MathJax (← links)
- User talk:Lord Farin/Backup/Definition:Formal Language/Primitive Symbol (← links)
- User talk:Lord Farin/Backup/Definition:Formal Language (← links)
- Axiom:Axiom of Choice (← links)
- Axiom:Axiom of Specification/Set Theory (← links)
- Definition:Set (← links)
- Definition:Element (← links)
- Definition:Empty Set (← links)
- Definition:Subset (← links)
- Definition:Set Union (← links)
- Definition:Set Intersection (← links)
- Definition:Set Difference (← links)
- Definition:Predicate (← links)
- Definition:Variable/Predicate Logic (← links)
- Definition:Propositional Logic (← links)
- Definition:Predicate Logic (← links)
- Definition:Logical Connective (← links)
- Definition:Logical Not (← links)
- Definition:Conjunction (← links)
- Definition:Disjunction (← links)
- Definition:Conditional (← links)
- Definition:Biconditional (← links)
- Definition:Parenthesis (← links)
- Definition:True (← links)
- Definition:False (← links)
- Definition:Proper Name (← links)
- Definition:Cartesian Product (← links)
- Definition:Power Set (← links)
- Definition:Universal Quantifier (← links)
- Definition:Existential Quantifier (← links)
- Definition:Disjoint Sets (← links)
- Definition:Relative Complement (← links)
- Definition:Range of Relation (← links)
- Definition:Graph of Mapping (← links)
- Definition:Identity Mapping (← links)
- Definition:Left Cancellable Mapping (← links)
- Definition:Right Cancellable Mapping (← links)
- Definition:Permutation (← links)
- Definition:Inverse Mapping/Definition 2 (← links)
- Definition:Infinite Set (← links)
- Definition:Cardinality (← links)
- Definition:Operation (← links)
- Definition:Integer (← links)
- Definition:Rational Number (← links)
- Definition:Number (← links)
- Definition:Real Number (← links)
- Definition:Real Interval (← links)
- Definition:Truth Table (← links)
- Definition:Iff (← links)
- Definition:Complex Number (← links)
- Definition:Word (Formal Systems) (← links)
- Definition:String (← links)
- Definition:Predicate Symbol (← links)
- Definition:Syntax (← links)
- Definition:Parsing Sequence (← links)
- Definition:Semantic Consequence (← links)
- Definition:Rooted Tree (← links)
- Definition:Tree (Graph Theory)/Leaf Node (← links)
- Definition:Rooted Tree/Ancestor Node (← links)
- Definition:Propositional Tableau (← links)
- Definition:Rooted Tree/Parent Node (← links)
- Definition:Labeled Tree for Propositional Logic/Hypothesis Set (← links)
- Definition:Finished Set of WFFs of Propositional Logic (← links)
- Definition:Finished Branch of Propositional Tableau (← links)
- Definition:Finished Propositional Tableau (← links)
- Definition:Atomic WFF of Predicate Logic (← links)
- Definition:Occurrence (Predicate Logic) (← links)
- Definition:Well-Formed Part (← links)
- Definition:Scope (Logic)/Quantifier (← links)
- Definition:Bound Occurrence (← links)
- Definition:Freely Substitutable (← links)
- Definition:Free Occurrence (← links)
- Definition:Classes of WFFs/Plain WFF (← links)
- Definition:Instance (← links)
- Definition:Sequence/Infinite Sequence (← links)
- Definition:Disjoint Union (Set Theory) (← links)
- Definition:Null String (← links)
- Definition:Length of String (← links)
- Definition:Prefix (← links)
- Definition:Left Inverse Mapping (← links)
- Definition:Right Inverse Mapping (← links)
- Definition:Extension of Mapping (← links)
- Definition:Increasing Union (← links)
- Definition:Bound Variable (← links)
- Definition:Class (Class Theory) (← links)
- Definition:Finite Set (← links)
- Definition:Set/Explicit Set Definition (← links)
- Definition:Set/Implicit Set Definition (← links)
- Definition:Set/Definition by Predicate (← links)
- Definition:Restriction/Mapping (← links)
- Definition:Codomain (Relation Theory)/Mapping (← links)
- Definition:Domain (Relation Theory)/Mapping (← links)
- Definition:Operation/Binary Operation (← links)
- Definition:Image (Relation Theory)/Mapping/Element (← links)
- Definition:Preimage/Mapping/Element (← links)
- Definition:Rule of Formation (← links)
- Definition:Alphabetic Substitution (← links)
- Definition:Classes of WFFs (← links)
- Definition:Classes of WFFs/Sentence (← links)
- Definition:Classes of WFFs/Plain Sentence (← links)
- Definition:Naive Set Theory (← links)
- Definition:Set Union/Family of Sets (← links)
- Definition:Set Intersection/Family of Sets (← links)
- Definition:Cartesian Product/Cartesian Space (← links)
- Definition:Operation/Unary Operation (← links)
- Definition:Logical Not/Truth Table (← links)
- Definition:Truth Value/Aristotelian Logic (← links)
- Definition:Conjunction/Truth Table (← links)
- Definition:Disjunction/Truth Table (← links)
- Definition:Biconditional/Truth Table (← links)
- Definition:Conditional/Truth Table (← links)
- Definition:Conditional/Semantics of Conditional (← links)
- Definition:Conjunction/Semantics of Conjunction (← links)
- Definition:Logical Not/Boolean Interpretation (← links)
- Definition:Conditional/Boolean Interpretation (← links)
- Definition:Conjunction/Boolean Interpretation (← links)
- Definition:Disjunction/Boolean Interpretation (← links)
- Definition:Biconditional/Boolean Interpretation (← links)
- Definition:Polish Notation/Reverse Polish Notation (← links)
- Definition:Model (Predicate Logic) (← links)
- Definition:Set/Implicit Set Definition/Infinite Set (← links)
- Definition:Tree (Graph Theory)/Node (← links)
- Definition:Tree (Graph Theory)/Infinite (← links)
- Definition:Tree (Graph Theory)/Finite (← links)
- Definition:Rooted Tree/Ancestor Node/Proper (← links)
- Definition:Rooted Tree/Child Node (← links)
- Definition:Rooted Tree/Branch/Infinite (← links)
- Definition:Rooted Tree/Branch/Length (← links)
- Definition:Rooted Tree/Branch (← links)
- Definition:Rooted Tree/Root Node (← links)
- Definition:Rooted Tree/Branch/Finite (← links)
- Definition:Contradictory/Propositional Formulas (← links)
- Definition:Operation/Binary Operation/Infix Notation (← links)
- Definition:Infix Notation/Binary Relation (← links)
- Definition:Set Equality/Definition 2 (← links)
- Definition:Formal Language (← links)
- Definition:Bijection/Definition 1 (← links)
- Definition:Language of Propositional Logic/Alphabet/Letter (← links)
- Definition:Language of Propositional Logic/Alphabet/Sign/Bracket (← links)
- Definition:Language of Propositional Logic/Alphabet/Sign/Connective (← links)
- Definition:Language of Propositional Logic/Alphabet/Sign (← links)
- Definition:Language of Propositional Logic/Alphabet (← links)
- Definition:Language of Propositional Logic/Formal Grammar/Bottom-Up Specification (← links)
- Definition:Language of Propositional Logic/Formal Grammar (← links)
- Definition:Language of Propositional Logic/Keisler-Robbin (← links)
- Definition:Literal (← links)
- Definition:Propositional Function (← links)
- Definition:Abbreviation of WFFs of Propositional Logic (← links)
- Definition:Abbreviation of WFFs of Propositional Logic/Rules (← links)
- Definition:Abbreviation of WFFs of Propositional Logic/Standard Abbreviation (← links)
- Definition:Binding Priority/Propositional Logic (← links)
- Definition:Main Connective/Propositional Logic/Definition 2 (← links)
- Definition:Labeled Tree for Propositional Logic (← links)
- Definition:Labeled Tree for Propositional Logic/Attached (← links)
- Definition:Labeled Tree for Propositional Logic/Child WFF (← links)
- Definition:Labeled Tree for Propositional Logic/Ancestor WFF (← links)
- Definition:Labeled Tree for Propositional Logic/Along a Branch (← links)
- Definition:Boolean Interpretation (← links)
- Definition:Model (Boolean Interpretations) (← links)
- Definition:Language of Propositional Logic/Formal Grammar/WFF (← links)
- Definition:Propositional Tableau/Graphical Representation (← links)
- Definition:Contradictory/Branch (← links)
- Definition:Tableau Confutation (← links)
- Definition:Tableau Proof (Propositional Tableaus) (← links)
- Definition:Operation/Binary Operation/Postfix Notation (← links)
- Definition:Operation/Binary Operation/Prefix Notation (← links)
- Definition:Surjection/Definition 1 (← links)
- Definition:Extension of Propositional Tableau/Definition 1 (← links)
- Definition:Tautology/Formal Semantics (← links)
- Definition:Logical Implication (← links)
- Definition:Semantic Equivalence/Boolean Interpretations/Definition 3 (← links)
- Definition:Image of Mapping/Definition 1 (← links)
- Definition:Natural Numbers (← links)
- Definition:Ordered Tuple/Term (← links)
- Definition:Indexing Set/Family (← links)
- Definition:Injection/Definition 1 (← links)
- Definition:Ordered Tuple/Definition 1 (← links)
- Definition:Natural Numbers/Notation (← links)
- Definition:Cardinality/Finite (← links)
- Definition:Mapping/Definition 1 (← links)
- Definition:Countably Infinite Set/Definition 1 (← links)
- Definition:Countable/Also defined as (← links)
- Definition:Polish Notation/Formal Definition (← links)
- Definition:Language of Predicate Logic/Alphabet (← links)
- Definition:Language of Predicate Logic/Formal Grammar (← links)
- Definition:Value of Formula under Assignment (← links)
- Definition:Substitution (Formal Systems)/Term/In WFF (← links)
- Definition:Tableau Proof (Propositional Tableaus)/Proof System (← links)
- Definition:Propositional Tableau/Construction/Finite (← links)
- Definition:Propositional Tableau/Construction/Infinite (← links)
- Definition:Substitution (Formal Systems)/Letter (← links)
- Definition:Consistent (Logic)/Set of Formulas/Propositional Logic/Definition 2 (← links)
- Definition:Cardinality/Infinite (← links)
- Definition:Composition of Mappings/Definition 1 (← links)
- Definition:Real Number/Notation (← links)
- Definition:Collection (← links)
- Definition:Element/Also known as (← links)
- Definition:Parenthesis/Also denoted as (← links)
- Definition:Set/Also known as (← links)
- Definition:Image of Subset under Mapping/Also known as (← links)
- Definition:Image of Subset under Mapping/Definition 1 (← links)
- Definition:Preimage of Subset under Mapping/Definition 1 (← links)
- Definition:Disjoint Union (Set Theory)/Disjoint Sets (← links)
- Definition:Domain of Mapping/Also known as (← links)
- Definition:Range of Relation/Image (← links)
- Definition:Rooted Tree/Also known as (← links)
- Definition:Leaf Node/Also known as (← links)
- Definition:Child Node/Also known as (← links)
- Definition:Parent Node/Also known as (← links)
- Definition:Proper Name/Also known as (← links)
- Definition:Logical Connective/Also known as (← links)
- Definition:Preimage of Element under Mapping/Also known as (← links)
- Definition:Complex Number/Notation (← links)
- Definition:Binary Operation/Also defined as (← links)
- Definition:Bound Variable/Also known as (← links)
- Definition:Cartesian Product/Also known as (← links)
- Definition:Conditional/Also known as (← links)
- Definition:Integer/Also known as (← links)
- Definition:Biconditional/Also known as (← links)
- Definition:Graph of Mapping/Also denoted as (← links)
- Definition talk:Therefore (← links)
- Definition talk:Rooted Tree (← links)
- Definition talk:Balanced String (← links)
- Definition talk:Formal Language (← links)
- Mathematician:Howard Jerome Keisler (← links)
- Book:Books (← links)
- Book:H. Jerome Keisler/Mathematical Logic and Computability (← links)
- Book:Books/Logic (← links)
- Mathematician:Mathematicians/Sorted By Nation/United States (transclusion) (← links)
- Mathematician:Mathematicians/Sorted By Birthday/May (← links)
- Mathematician:Mathematicians/Sorted By Birth/1941 - 1950 CE (transclusion) (← links)