Axioms of Predicate Calculus
name: predaxiom, module version: 1.00.00, rule version: 1.00.00, orignal:
predaxiom, author of this module: Michael Meyling
Description
This module contains the axioms of predicate calculus. The following quantification axioms and these of propositional
calculus (together with some rules) allow the deduction of all theorems of predicate calculus. To learn about possible conclusions click through the following ".. used by.." list.
This html file is part of the project "Principia Mathematica II" see project homepage.
Is used by the following modules:
Axiom of Specialization:
Axiom 1
(" x (R(x)) Þ
R(y)) (axiom5)
Axiom 2
(R(y) Þ $ x (R(x))) (axiom6)