Chapter 1 - Language
them
add
caput
,
, IWEIGHT IDEGREE
IFORMULA I reformat
Aformulaissuchthat
A1 ifPis a ncrypredicatesymbol andn un arevariablesymbols Phi un is aformula
As if a is aformula ha isalsoaformula
As if a is areformulae ap isalsoaformula
At if u is a variablesymboland a is aformula Una isalsoaformula
4
Py Quy Pa areformulaeaccordingto A1
tiPyis aformulaaccording to A2
Since
tyPyis aformula styPyis aformula
Puis aformula 7 Pa is aformula
sinceQuyand Puareformulae Quy Pa is aformula
Howeverthereisnorulewhen isfollowedbyoneformulaonly
ie Quy7I
7thPy Quy Puisnotaformula
Py Quy Pa Qynareformulaeaccordingto A1
HPyis aformulaaccording to A4
7Quyis aformulaaccording to A2
Quytypy is aformulaaccording to A3
Pu Quytypy is aformulaaccording to A3
tu Pu QuytypyOyu is aformulaaccording to A3
i tu Pu QuytypyOyu is aformula
them
add
caput
,
, IWEIGHT IDEGREE
IFORMULA I reformat
Aformulaissuchthat
A1 ifPis a ncrypredicatesymbol andn un arevariablesymbols Phi un is aformula
As if a is aformula ha isalsoaformula
As if a is areformulae ap isalsoaformula
At if u is a variablesymboland a is aformula Una isalsoaformula
4
Py Quy Pa areformulaeaccordingto A1
tiPyis aformulaaccording to A2
Since
tyPyis aformula styPyis aformula
Puis aformula 7 Pa is aformula
sinceQuyand Puareformulae Quy Pa is aformula
Howeverthereisnorulewhen isfollowedbyoneformulaonly
ie Quy7I
7thPy Quy Puisnotaformula
Py Quy Pa Qynareformulaeaccordingto A1
HPyis aformulaaccording to A4
7Quyis aformulaaccording to A2
Quytypy is aformulaaccording to A3
Pu Quytypy is aformulaaccording to A3
tu Pu QuytypyOyu is aformulaaccording to A3
i tu Pu QuytypyOyu is aformula