This html file is part of the project "Principia Mathematica II" see project homepage.
Is used by the following modules:
Axiom of Specialization:
1 Axiom
(" x (R(x)) Þ R(y)) (axiom5)
2 Axiom
(R(y) Þ $ x (R(x))) (axiom6)
3 Rule Declaration
Rename Bound Variable (predrule1)
For an explanation see Rename Bound Variable
4 Rule Declaration
Rename Free Variable (predrule2)
For an explanation see Rename Free Variable
5 Rule Declaration
Particularize (predrule3)
For an explanation see Replace Predicate
6 Rule Declaration
Particularize (predrule4)
For an explanation see Particularize
7 Rule Declaration
Generalize (predrule5)
For an explanation see Generalize