User
:
Xiong
From WikiProjectMed
Jump to navigation
Jump to search
User:Xiong/Sandbox
User:Xiong/Background
strategy:User:Xiong
en:q:
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
Potting bench
drawn in cabinet view
Purge
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Namespaces
User page
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
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