. .
́ (. praedicatum , ,) , , , , n - P(X) P: X → {, }.
()
,
- :
1.
- :
0.
, . , , : , , , .
( ) , , . . .
= < , , , F >
s : $ "
s :
Ù (, Ȼ)
Ú (, Ȼ)
Ø ( )
→
s :
s :
s : 1, T ; 0, ^
s : = () º ()
s
Ù
Ú
→
Ø
= < , , , F >
s
: f(x1, x2,, xn) n-
s
: P n- t1, t2,,
tn , P(t1, t2,, tn)
: t1 t2, t1 = t2
: j, Øj
: j y, j→y
: j X, $Xj "Xj
()
:
1. ()
2. $ ",
Ø
3. Ù
4. Ú
5. →
= < , , , F >
|
|
( . propositional logic) , . , . , .
, , modus ponens . . ,
:
,
, , , .
2:
- Modus ponens:
- (.):
= < , , , F >
s :
, ,
,
s
Modus ponens ( ≪ ≫):
A A→B , B
, . ( , , ) ( ). : , .