Anonymous
Not logged in
British English
Log in
Vigyanwiki
Search
Template
:
Transformation rules
From Vigyanwiki
Namespaces
Template
Discussion
More
More
Page actions
Read
View source
History
Transformation rules
Transformation rules
Propositional calculus
Rules of inference
Implication introduction
/
elimination (
modus ponens
)
Biconditional introduction
/
elimination
Conjunction introduction
/
elimination
Disjunction introduction
/
elimination
Disjunctive
/
hypothetical syllogism
Constructive
/
destructive dilemma
Absorption
/
modus tollens
/
modus ponendo tollens
Negation introduction
Rules of replacement
Associativity
Commutativity
Distributivity
Double negation
De Morgan's laws
Transposition
Material implication
Exportation
Tautology
Predicate logic
Rules of inference
Universal generalization
/
instantiation
Existential generalization
/
instantiation
Template documentation
See also
{{
Classical logic
}}
{{
Logic templates
}}
[[Category:Template documentation pages{{#translation:}}]]
Categories
:
Logic templates
Philosophy and thinking sidebar templates
Hidden categories:
Templates Vigyan Ready
Sidebars with styles needing conversion
Mathematics sidebar templates
Navigation
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Wiki tools
Wiki tools
Special pages
Page tools
Page tools
User page tools
More
What links here
Related changes
Printable version
Permanent link
Page information
Page logs
Other projects
In other languages
Add links
Categories
Categories
Logic templates
Philosophy and thinking sidebar templates
Hidden categories
Templates Vigyan Ready
Sidebars with styles needing conversion
Mathematics sidebar templates