Template
:
Transformation rules
From WikiProjectMed
Jump to navigation
Jump to search
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
}}
Editors can experiment in this template's sandbox
(
create
|
mirror
)
and testcases
(
create
)
pages.
Subpages of this template
.
Categories
:
Sidebars with styles needing conversion
Logic templates
Mathematics sidebar templates
Philosophy and thinking sidebar templates
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Namespaces
Template
Talk
English
Views
Read
View source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Donate
Donate
Projects
Wiki Project Med
Community pump
List of articles
Translation
Internet-in-a-Box
Offline app
VideoWiki
OWID
Requested images
Calculators
Tech
Common links
Import tool
Editors
Upload file
Med updater
Create redirects
Import history
Other projects
Commons
NC Commons
Tools
What links here
Related changes
Special pages
Printable version
Page information
In other languages
Беларуская (тарашкевіца)
Español
Euskara
فارسی
Français
日本語
Српски / srpski
Srpskohrvatski / српскохрватски
Українська