for questions or link request: module admin

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:

predtheo1_1.00.00_1.00.00.html

Axiom of Specialization:

Axiom 1
(" x (R(x)) Þ R(y)) (axiom5)

Axiom 2
(R(y) Þ $ x (R(x))) (axiom6)