Pages that link to "Mathematician:Daniel John O'Connor"
Jump to navigation
Jump to search
The following pages link to Mathematician:Daniel John O'Connor:
Displayed 4 items.
- Mathematician:D.J. O'Connor (redirect page) (← links)
- Rule of Substitution (← links)
- Rule of Sequent Introduction (← links)
- Hypothetical Syllogism (← links)
- Tautology and Contradiction (← links)
- Reductio ad Absurdum (← links)
- Paradoxes of Material Implication (← links)
- Solution to Quadratic Equation (← links)
- Universal Generalisation (← links)
- Difference of Two Squares (← links)
- Real Multiplication Distributes over Addition (← links)
- Method of Truth Tables (← links)
- Rule of Material Implication (← links)
- Existence of Conjunctive Normal Form of Statement (← links)
- Contradiction is Negation of Tautology (← links)
- Tautology is Negation of Contradiction (← links)
- Biconditional is Reflexive (← links)
- Hypothetical Syllogism/Formulation 1 (← links)
- Hypothetical Syllogism/Formulation 3 (← links)
- Hypothetical Syllogism/Formulation 5 (← links)
- Double Negation/Double Negation Introduction/Sequent Form/Formulation 2 (← links)
- Double Negation/Double Negation Elimination/Sequent Form/Formulation 2 (← links)
- Double Negation/Double Negation Elimination (← links)
- Double Negation/Formulation 2 (← links)
- Rule of Transposition/Formulation 2 (← links)
- Rule of Exportation/Formulation 2 (← links)
- Rule of Commutation/Conjunction/Formulation 2 (← links)
- Rule of Commutation/Disjunction/Formulation 2 (← links)
- Biconditional as Disjunction of Conjunctions/Formulation 2 (← links)
- Law of Identity/Formulation 2 (← links)
- Rule of Idempotence/Disjunction/Formulation 2 (← links)
- Rule of Idempotence/Conjunction/Formulation 2 (← links)
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 1/Proof by Truth Table (← links)
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 2 (← links)
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2 (← links)
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2 (← links)
- De Morgan's Laws (Logic)/Conjunction/Formulation 1 (← links)
- De Morgan's Laws (Logic)/Conjunction/Formulation 2 (← links)
- De Morgan's Laws (Logic)/Disjunction/Formulation 2 (← links)
- De Morgan's Laws (Logic)/Disjunction/Formulation 1 (← 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)
- Conjunction is Equivalent to Negation of Conditional of Negative/Formulation 1 (← links)
- Rule of Material Implication/Formulation 1/Proof by Truth Table (← links)
- Rule of Material Implication/Formulation 2 (← links)
- Modus Tollendo Ponens/Variant/Formulation 2 (← links)
- Modus Tollendo Ponens/Variant/Formulation 1 (← links)
- True Statement is implied by Every Statement (← links)
- False Statement implies Every Statement (← links)
- Modus Tollendo Ponens/Sequent Form/Case 1 (← links)
- Method of Truth Tables/Proof of Tautology (← links)
- Proof by Contradiction/Variant 3/Formulation 2 (← links)
- Law of Excluded Middle/Sequent Form (← links)
- Principle of Non-Contradiction/Sequent Form/Formulation 2 (← links)
- Exclusive Or as Disjunction of Conjunctions (← links)
- Rule of Association/Conjunction/Formulation 2 (← links)
- Rule of Association/Disjunction/Formulation 2 (← links)
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 2/Proof by Truth Table (← links)
- Equivalences are Interderivable/Proof 1 (← links)
- Rule of Material Equivalence/Formulation 2 (← links)
- Conjunction with Negative is Equivalent to Negation of Conditional/Formulation 2/Proof by Truth Table (← links)
- Hypothetical Syllogism/Formulation 3/Proof by Truth Table (← links)
- Modus Ponendo Ponens/Variant 3 (← links)
- Modus Ponendo Ponens/Variant 3/Proof by Truth Table (← links)
- Rule of Material Equivalence/Formulation 1/Proof by Truth Table (← links)
- Rule of Material Implication/Formulation 2/Proof by Truth Table (← links)
- Rule of Material Equivalence/Formulation 2/Proof by Truth Table (← links)
- De Morgan's Laws (Logic)/Conjunction/Formulation 2/Proof by Truth Table (← links)
- Conjunction is Equivalent to Negation of Conditional of Negative/Formulation 2/Proof by Truth Table (← links)
- Modus Tollendo Ponens/Variant/Formulation 2/Proof by Truth Table (← links)
- Rule of Transposition/Formulation 2/Proof by Truth Table (← links)
- De Morgan's Laws (Logic)/Disjunction/Formulation 2/Proof by Truth Table (← links)
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2/Proof by Truth Table (← links)
- Biconditional as Disjunction of Conjunctions/Formulation 2/Proof by Truth Table (← links)
- Constructive Dilemma/Formulation 2 (← links)
- Destructive Dilemma/Formulation 2 (← links)
- Rule of Simplification/Sequent Form/Formulation 2/Form 1 (← links)
- Rule of Simplification/Sequent Form/Formulation 2/Form 2 (← links)
- Count of Rows of Truth Table (← links)
- Functionally Complete Logical Connectives/Negation and Disjunction (← links)
- Functionally Complete Logical Connectives/Negation and Conjunction (← links)
- Functionally Complete Logical Connectives/Negation and Conditional (← links)
- Functionally Complete Logical Connectives/NAND (← links)
- NAND with Equal Arguments/Proof by Truth Table (← links)
- De Morgan's Laws (Predicate Logic)/Assertion of Universality (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Existence (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Universality (← links)
- De Morgan's Laws (Predicate Logic)/Assertion of Existence (← links)
- Conjunction in terms of NAND (← links)
- Disjunction in terms of NAND (← links)
- Count of Truth Functions (← links)
- Binary Truth Functions (← links)
- Exclusive Or as Conjunction of Disjunctions (← links)
- NAND as Disjunction of Negations (← links)
- Conditional in terms of NAND/Proof 2 (← links)
- Method of Truth Tables/Indirect Technique (← links)
- Method of Truth Tables/Indirect Technique/Example (← links)
- Rule of Addition/Sequent Form/Formulation 2/Form 1 (← links)
- Proof by Contradiction/Variant 3/Formulation 2/Proof 2 (← links)
- Hypothetical Syllogism/Formulation 5/Proof 2 (← links)
- Law of Excluded Middle/Sequent Form/Proof 2 (← links)
- Rule of Explosion/Variant 2/Proof 1 (← links)
- Hilbert Proof System Instance 2 is Consistent (← links)
- Rule of Conjunction/Proof Rule (← links)
- Rule of Simplification/Proof Rule (← links)
- Rule of Addition/Proof Rule (← links)
- Modus Ponendo Ponens/Proof Rule (← links)
- Modus Tollendo Tollens/Proof Rule (← links)
- Rule of Implication/Proof Rule (← links)
- Proof by Contradiction/Proof Rule (← links)
- Universal Instantiation/Informal Statement (← links)
- Existential Generalisation/Informal Statement (← links)
- Sound Proof System is Consistent (← links)
- Equivalence of Definitions of Consistent Proof System (← links)
- Rule of Explosion/Variant 3 (← links)
- Hilbert Proof System Instance 2 Independence Results (← links)
- Hilbert Proof System Instance 2 Independence Results/Independence of A1 (← links)
- Hilbert Proof System Instance 2 Independence Results/Independence of A2 (← links)
- Hilbert Proof System Instance 2 Independence Results/Independence of A3 (← links)
- Hilbert Proof System Instance 2 Independence Results/Independence of A4 (← links)
- Rule of Addition/Sequent Form/Formulation 2/Form 1/Proof 2 (← links)
- Rule of Association/Disjunction/Formulation 2/Forward Implication (← links)
- Rule of Association/Disjunction/Formulation 2/Reverse Implication (← links)
- Rule of Conjunction/Sequent Form/Formulation 2 (← links)
- Hilbert Proof System Instance 2 Independence Results/RST4 is Derivable (← links)
- Rule of Association/Disjunction/Formulation 2/Proof 2 (← links)
- Hypothetical Syllogism/Formulation 1/Proof 2 (← links)
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication/Proof 2 (← links)
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Reverse Implication (← links)
- Completeness Theorem for Hilbert Proof System Instance 2 and Boolean Interpretations (← links)
- Universal Generalisation/Informal Statement (← links)
- Existential Instantiation/Informal Statement (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 1 (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2 (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2/Forward Implication (← links)
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2/Reverse Implication (← links)
- Rule of Transposition/Also known as (← links)
- Talk:Axiom of Subsets Equivalents (← links)
- Talk:Method of Truth Tables/Proof of Tautology (← links)
- User:Lord Farin/Backup/Definition:Natural Deduction (← links)
- User:Lord Farin/Backup/Definition:Natural Deduction/Proof Rule (← links)
- User:Lord Farin/Backup/Definition:Proof System/Rule of Inference (← links)
- User:Lord Farin/Sandbox (← links)
- User:Lord Farin/Backup/Definition:Natural Deduction/Elementary Valid Argument Forms (← links)
- User:Prime.mover/Source Work Progress (← links)
- User:Lord Farin/Sandbox/Equivalence of Definitions of Consistent (← links)
- User:Lord Farin/Sandbox/BOC (← links)
- User:Lord Farin/Sandbox/MathJax/Sub (← links)
- User:Lord Farin/Sandbox/Proof Rules (← links)
- Definition:Set (← links)
- Definition:Statement (← links)
- Definition:Proposition (← links)
- Definition:Truth Value (← links)
- Definition:Predicate (← links)
- Definition:Simple Statement (← links)
- Definition:Logical Term (← links)
- Definition:Symbol (← links)
- Definition:Variable/Predicate Logic (← links)
- Definition:Symbolic Logic (← links)
- Definition:Propositional Logic (← links)
- Definition:Statement Label (← links)
- Definition:Logical Connective (← links)
- Definition:Compound Statement (← links)
- Definition:Statement Form (← links)
- Definition:Logical Connective/Unary (← links)
- Definition:Logical Connective/Binary (← links)
- Definition:Logical Argument (← links)
- Definition:Premise (← links)
- Definition:Conclusion (← links)
- Definition:Valid Argument (← links)
- Definition:Invalid Argument (← links)
- Definition:Therefore (← links)
- Definition:Because (← 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:Contingent Statement (← links)
- Definition:Proper Name (← links)
- Definition:Property (← links)
- Definition:Universal Quantifier (← links)
- Definition:Existential Quantifier (← links)
- Definition:Truth Table (← links)
- Definition:Iff (← links)
- Definition:Exclusive Or (← links)
- Definition:Well-Formed Formula (← links)
- Definition:Predicate Symbol (← links)
- Definition:Singular Statement (← links)
- Definition:Logical NAND (← links)
- Definition:Logical NOR (← links)
- Definition:Metalanguage (← links)
- Definition:Syntax (← links)
- Definition:Quantifier (← links)
- Definition:Conditional/Antecedent (← links)
- Definition:Conditional/Consequent (← links)
- Definition:Stipulative Definition (← links)
- Definition:Scope (Logic) (← links)
- Definition:Main Connective (← links)
- Definition:Bound Variable (← links)
- Definition:Categorical Statement (← links)
- Definition:Rule of Formation (← links)
- Definition:Proof System (← links)
- Definition:Variable (← links)
- Definition:Metalanguage/Metasymbol (← links)
- Definition:Theorem/Logic (← links)
- Definition:Theorem/Formal System (← 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:Exclusive Or/Truth Table (← links)
- Definition:Conditional/Truth Table (← links)
- Definition:Logical NAND/Truth Table (← links)
- Definition:Biconditional/Semantics of Biconditional (← links)
- Definition:Singular Statement/Individuating Description (← links)
- Definition:Logical Not/Notational Variants (← links)
- Definition:Deductive Method (← links)
- Definition:Conjunction/Notational Variants (← links)
- Definition:Conditional/Notational Variants (← links)
- Definition:Biconditional/Notational Variants (← links)
- Definition:Universal Quantifier/Notational Variants (← links)
- Definition:Disjunction/Notational Variants (← links)
- Definition:Existential Quantifier/Notational Variants (← links)
- Definition:Logical NAND/Notational Variants (← links)
- Definition:Axiom/Formal Systems (← links)
- Definition:Language of Propositional Logic (← links)
- Definition:Conjunctive Normal Form (← links)
- Definition:Propositional Function (← links)
- Definition:Variable/Propositional Logic (← links)
- Definition:Scope (Logic)/Connective (← links)
- Definition:Binding Priority/Propositional Logic (← links)
- Definition:Truth Function (← links)
- Definition:Truth Table/Characteristic (← links)
- Definition:Argument Form (← links)
- Definition:Tautology (← links)
- Definition:Sound Proof System (← links)
- Definition:Complete Proof System (← links)
- Definition:Proof System/Formal Proof (← links)
- Definition:Tautology/Formal Semantics/Boolean Interpretations (← links)
- Definition:Contradiction (← links)
- Definition:Unsatisfiable/Boolean Interpretations (← links)
- Definition:Logical Implication (← links)
- Definition:Logical Equivalence (← links)
- Definition:Tableau Proof (Formal Systems) (← links)
- Definition:Hilbert Proof System (← links)
- Definition:Conditional/Formal Implication (← links)
- Definition:Mapping/Definition 1 (← links)
- Definition:Classical Logic (← links)
- Definition:Word (Natural Language) (← links)
- Definition:Symbolic Logic/Characteristics (← links)
- Definition:Conjunction/Truth Table/Number (← links)
- Definition:Truth Table/Number (← links)
- Definition:Conditional/Truth Table/Number (← links)
- Definition:Disjunction/Truth Table/Number (← links)
- Definition:Biconditional/Truth Table/Number (← links)
- Definition:Variable/Historical Note (← links)
- Definition:Relation/Relation as Subset of Cartesian Product (← links)
- Definition:Language of Propositional Logic/Basson-O'Connor (← links)
- Definition:Substitution (Formal Systems)/Metasymbol (← links)
- Definition:Hilbert Proof System/Instance 2 (← links)
- Definition:Independent Proof System (← links)
- Definition:Consistent (Logic)/Proof System (← links)
- Definition:Consistent (Logic)/Proof System/Propositional Logic/Definition 2 (← links)
- Definition:Constructed Semantics/Instance 1 (← links)
- Definition:Constructed Semantics/Instance 2 (← links)
- Definition:Constructed Semantics/Instance 2/Rule of Addition (← links)
- Definition:Constructed Semantics/Instance 2/Rule of Commutation (← links)
- Definition:Constructed Semantics/Instance 2/Factor Principle (← links)
- Definition:Constructed Semantics/Instance 3 (← links)
- Definition:Constructed Semantics/Instance 4 (← links)
- Definition:Constructed Semantics/Instance 5 (← links)
- Definition:Valid Argument/Linguistic Warning (← links)
- Definition:Set/Also known as (← links)
- Definition:Symbol/Historical Note (← links)
- Definition:Classical Logic/Historical Note (← links)
- Definition:Natural Deduction (← links)
- Definition:Natural Deduction/Rules of Inference (← links)
- Definition:Natural Deduction/Derived Rules (← links)
- Definition:Rule of Inference (← links)
- Definition:Proper Name/Also known as (← links)
- Definition:Logical Connective/Also known as (← links)
- Definition:Proposition/Also defined as (← links)
- Definition:Scope of Connective/Definition 1 (← links)
- Definition:Exclusive Or/Also known as (← links)
- Definition:Disjunction/Also known as (← links)
- Definition:Conjunction/Also known as (← links)
- Definition:Premise/Also known as (← links)
- Definition:Metasymbol/Also known as (← links)
- Definition:Unary Logical Connective/Also defined as (← links)
- Definition:Binary Logical Connective/Also defined as (← links)
- Definition:Bound Variable/Also known as (← links)
- Definition:Conditional/Also known as (← links)
- Definition:Conjunctive Normal Form/Also defined as (← links)
- Definition:Conjunctive Normal Form/Also known as (← links)
- Definition:Biconditional/Also known as (← links)
- Definition:Logical Equivalence/Also denoted as (← links)
- Definition:Rule of Inference/Also known as (← links)
- Definition:Binding Priority (Propositional Logic)/Also defined as (← links)
- Mathematician:Charles Sanders Peirce (← links)
- Mathematician:Gottfried Wilhelm von Leibniz (← links)
- Mathematician:George Boole (← links)
- Mathematician:Augustus De Morgan (← links)
- Mathematician:Bertrand Arthur William Russell (← links)
- Mathematician:Alfred North Whitehead (← links)
- Mathematician:Aristotle (← links)
- Mathematician:Writer (← links)
- Mathematician:Giuseppe Peano (← links)
- Mathematician:Writer/Betty Powell (← links)
- Mathematician:Writer/P (← links)
- Mathematician:Friedrich Ludwig Gottlob Frege (← links)
- Mathematician:Clarence Irving Lewis (← links)
- Mathematician:Anthony Henry Basson (← links)
- Mathematician:William Stanley Jevons (← links)
- Book:Books (← links)
- Book:George Boole/An Investigation of the Laws of Thought (← links)
- Book:E.J. Lemmon/Beginning Logic (← links)
- Book:D.J. O'Connor/Elementary Logic (← links)
- Book:Alfred North Whitehead/Principia Mathematica (← links)
- Book:Irving M. Copi/Symbolic Logic (← links)
- Book:Books/Logic (← links)
- Book:A.H. Basson/Introduction to Symbolic Logic (← links)
- Book:A.H. Basson/Introduction to Symbolic Logic/Second Edition (← links)
- Book:A.H. Basson/Introduction to Symbolic Logic/Third Edition (← links)
- Book:Gottfried Wilhelm von Leibniz/Dissertatio de Arte Combinatoria (← links)
- Book:George Boole/The Mathematical Analysis of Logic (← links)
- Mathematician:Mathematicians/Sorted By Nation/United States (transclusion) (← links)
- Mathematician:Mathematicians/Sorted By Birthday/April (← links)
- Mathematician:Mathematicians/Sorted By Birth/1911 - 1920 CE (transclusion) (← links)