User:Xiong
From Wikipedia, the free encyclopedia
Jump to:
navigation
,
search
User:Xiong/Sandbox
strategy:User:Xiong
Rules of inference
Propositional calculus
Modus ponens
Modus tollens
Modus ponendo tollens
Conjunction introduction
Simplification
Disjunction introduction
Disjunction elimination
Disjunctive syllogism
Hypothetical syllogism
Constructive dilemma
Destructive dilemma
Biconditional introduction
Biconditional elimination
Predicate calculus
Universal generalization
Universal instantiation
Existential generalization
Existential instantiation
v
d
e
Potting bench
drawn in cabinet view
Personal tools
Log in / create account
Namespaces
User page
Talk
Variants
Views
Read
Edit
View history
Actions
Search
Navigation
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact Wikipedia
Toolbox
What links here
Related changes
User contributions
Logs
Upload file
Special pages
Permanent link
Print/export
Create a book
Download as PDF
Printable version
