WikiHQ
Home
Search
Progress
Special
Main Page
Login
What links here
Universal instantiation
Read article
Universal generalization
article-link
List of rules of inference
article-link
Instantiation
article-link
Rule of inference
article-link
Direct proof
article-link
Equality (mathematics)
article-link
Universal quantification
article-link
Russell's paradox
article-link