OurBigBook
About
$
Donate
Sign in
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Rules of inference
Index
Mathematics
Fields of mathematics
Mathematical logic
Formal systems
Like
(0)
0 By others
on same topic
0 Discussions
1970-01-01
See my version
Table of contents
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
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
Ancestors
(5)
Formal systems
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
