OurBigBook
About
$
Donate
Sign in
+
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Formal systems
Index
Mathematics
Fields of mathematics
Mathematical logic
Like
(0)
0 By others
on same topic
0 Discussions
1970-01-01
See my version
Table of contents
Rules of inference
Formal systems
Absorption (logic)
Rules of inference
Admissible rule
Rules of inference
Biconditional elimination
Rules of inference
Biconditional introduction
Rules of inference
Commutativity of conjunction
Rules of inference
Conjunction elimination
Rules of inference
Conjunction introduction
Rules of inference
Constructive dilemma
Rules of inference
Contraposition (traditional logic)
Rules of inference
Cut rule
Rules of inference
Destructive dilemma
Rules of inference
Disjunction elimination
Rules of inference
Disjunction introduction
Rules of inference
Disjunctive syllogism
Rules of inference
Double negation
Rules of inference
Existential generalization
Rules of inference
Existential instantiation
Rules of inference
Exportation (logic)
Rules of inference
Hypothetical syllogism
Rules of inference
List of rules of inference
Rules of inference
List of valid argument forms
Rules of inference
Material implication (rule of inference)
Rules of inference
Modus non excipiens
Rules of inference
Modus ponendo tollens
Rules of inference
Modus ponens
Rules of inference
Modus tollens
Rules of inference
Negation as failure
Rules of inference
Negation introduction
Rules of inference
Resolution (logic)
Rules of inference
Rule of replacement
Rules of inference
SLD resolution
Rules of inference
Structural rule
Rules of inference
Tautology (rule of inference)
Rules of inference
Transposition (logic)
Rules of inference
Universal generalization
Rules of inference
Universal instantiation
Rules of inference
Systems of formal logic
Formal systems
Substructural logic
Systems of formal logic
Alternative semantics
Systems of formal logic
Attributional calculus
Systems of formal logic
Aṣṭādhyāyī
Systems of formal logic
Dependence logic
Systems of formal logic
Discourse representation theory
Systems of formal logic
Dynamic semantics
Systems of formal logic
Epsilon calculus
Systems of formal logic
Formal ethics
Systems of formal logic
Frege's propositional calculus
Systems of formal logic
Higher-order logic
Systems of formal logic
Implicational propositional calculus
Systems of formal logic
Independence-friendly logic
Systems of formal logic
Infinitary logic
Systems of formal logic
Intermediate logic
Systems of formal logic
Logics for computability
Systems of formal logic
Many-sorted logic
Systems of formal logic
Paraconsistent logic
Systems of formal logic
Second-order logic
Systems of formal logic
Zeroth-order logic
Systems of formal logic
Ω-logic
Systems of formal logic
Systems of probability distributions
Formal systems
Burr distribution
Systems of probability distributions
Metalog distribution
Systems of probability distributions
Mixture distribution
Systems of probability distributions
Pearson distribution
Systems of probability distributions
Quantile-parameterized distribution
Systems of probability distributions
Tweedie distribution
Systems of probability distributions
Systems of set theory
Formal systems
Ackermann set theory
Systems of set theory
Double extension set theory
Systems of set theory
Fuzzy set
Systems of set theory
General set theory
Systems of set theory
Internal set theory
Systems of set theory
Kripke–Platek set theory
Systems of set theory
Kripke–Platek set theory with urelements
Systems of set theory
List of alternative set theories
Systems of set theory
Morse–Kelley set theory
Systems of set theory
Naive set theory
Systems of set theory
New Foundations
Systems of set theory
Pocket set theory
Systems of set theory
Positive set theory
Systems of set theory
S (set theory)
Systems of set theory
Semiset
Systems of set theory
Tarski–Grothendieck set theory
Systems of set theory
Vague set
Systems of set theory
Zermelo set theory
Systems of set theory
Axiom schema
Formal systems
Axiomatic system
Formal systems
First principle
Formal systems
List of formal systems
Formal systems
Physical symbol system
Formal systems
Rule of inference
Formal systems
Term graph
Formal systems
Rules of inference
0
0
0
Formal systems
Absorption (logic)
0
0
0
Rules of inference
Admissible rule
0
0
0
Rules of inference
Biconditional elimination
0
0
0
Rules of inference
Biconditional introduction
0
0
0
Rules of inference
Commutativity of conjunction
0
0
0
Rules of inference
Conjunction elimination
0
0
0
Rules of inference
Conjunction introduction
0
0
0
Rules of inference
Constructive dilemma
0
0
0
Rules of inference
Contraposition (traditional logic)
0
0
0
Rules of inference
Cut rule
0
0
0
Rules of inference
Destructive dilemma
0
0
0
Rules of inference
Disjunction elimination
0
0
0
Rules of inference
Disjunction introduction
0
0
0
Rules of inference
Disjunctive syllogism
0
0
0
Rules of inference
Double negation
0
0
0
Rules of inference
Existential generalization
0
0
0
Rules of inference
Existential instantiation
0
0
0
Rules of inference
Exportation (logic)
0
0
0
Rules of inference
Hypothetical syllogism
0
0
0
Rules of inference
List of rules of inference
0
0
0
Rules of inference
List of valid argument forms
0
0
0
Rules of inference
Material implication (rule of inference)
0
0
0
Rules of inference
Modus non excipiens
0
0
0
Rules of inference
Modus ponendo tollens
0
0
0
Rules of inference
Modus ponens
0
1
0
Rules of inference
Modus tollens
0
0
0
Rules of inference
Negation as failure
0
0
0
Rules of inference
Negation introduction
0
0
0
Rules of inference
Resolution (logic)
0
0
0
Rules of inference
Rule of replacement
0
0
0
Rules of inference
SLD resolution
0
0
0
Rules of inference
Structural rule
0
0
0
Rules of inference
Tautology (rule of inference)
0
0
0
Rules of inference
Transposition (logic)
0
0
0
Rules of inference
Universal generalization
0
0
0
Rules of inference
Universal instantiation
0
0
0
Rules of inference
Systems of formal logic
0
0
0
Formal systems
Substructural logic
0
0
0
Systems of formal logic
Alternative semantics
0
0
0
Systems of formal logic
Attributional calculus
0
0
0
Systems of formal logic
Aṣṭādhyāyī
0
0
0
Systems of formal logic
Dependence logic
0
0
0
Systems of formal logic
Discourse representation theory
0
0
0
Systems of formal logic
Dynamic semantics
0
0
0
Systems of formal logic
Epsilon calculus
0
0
0
Systems of formal logic
Formal ethics
0
0
0
Systems of formal logic
Frege's propositional calculus
0
0
0
Systems of formal logic
Higher-order logic
0
0
0
Systems of formal logic
Implicational propositional calculus
0
0
0
Systems of formal logic
Independence-friendly logic
0
0
0
Systems of formal logic
Infinitary logic
0
0
0
Systems of formal logic
Intermediate logic
0
0
0
Systems of formal logic
Logics for computability
0
0
0
Systems of formal logic
Many-sorted logic
0
0
0
Systems of formal logic
Paraconsistent logic
0
0
0
Systems of formal logic
Second-order logic
0
0
0
Systems of formal logic
Zeroth-order logic
0
0
0
Systems of formal logic
Ω-logic
0
0
0
Systems of formal logic
Systems of probability distributions
0
0
0
Formal systems
Burr distribution
0
0
0
Systems of probability distributions
Metalog distribution
0
0
0
Systems of probability distributions
Mixture distribution
0
0
0
Systems of probability distributions
Pearson distribution
0
0
0
Systems of probability distributions
Quantile-parameterized distribution
0
0
0
Systems of probability distributions
Tweedie distribution
0
0
0
Systems of probability distributions
Systems of set theory
0
0
0
Formal systems
Ackermann set theory
0
0
0
Systems of set theory
Double extension set theory
0
0
0
Systems of set theory
Fuzzy set
0
0
0
Systems of set theory
General set theory
0
0
0
Systems of set theory
Internal set theory
0
0
0
Systems of set theory
Kripke–Platek set theory
0
0
0
Systems of set theory
Kripke–Platek set theory with urelements
0
0
0
Systems of set theory
List of alternative set theories
0
0
0
Systems of set theory
Morse–Kelley set theory
0
0
0
Systems of set theory
Naive set theory
0
0
0
Systems of set theory
New Foundations
0
0
0
Systems of set theory
Pocket set theory
0
0
0
Systems of set theory
Positive set theory
0
0
0
Systems of set theory
S (set theory)
0
0
0
Systems of set theory
Semiset
0
0
0
Systems of set theory
Tarski–Grothendieck set theory
0
0
0
Systems of set theory
Vague set
0
0
0
Systems of set theory
Zermelo set theory
0
0
0
Systems of set theory
Axiom schema
0
0
0
Formal systems
Axiomatic system
0
0
0
Formal systems
First principle
0
1
0
Formal systems
List of formal systems
0
0
0
Formal systems
Physical symbol system
0
0
0
Formal systems
Rule of inference
0
0
0
Formal systems
Term graph
0
0
0
Formal systems
Ancestors
(4)
Mathematical logic
Fields of mathematics
Mathematics
Index
View article source
Discussion
(0)
Subscribe (1)
+
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
+
Create my own version
