.
. , , . , , , - . , : . .
, .
- -. . (, , , , ). - : ; ; .
, . :
, .
, , . . . , , . .
. , . , .
, , , ( ).
, , () . , - . , . , , .. , .
|
|
. , , . , . : .
, , .. , , . : , .
. ( ) ( ). .
, , , . S.
, , , . .
, . , .
, .. , , , .
, . : S () . : (S) (); (S) (); (S) (); () (S); (S) ().
, . : - (S) (); (S) (); ( (S) ()).
, . : ; ; .
, , , .
. .
, . , .
( ). , () . , () . () .
|
|
, . , , .
, .. , , . : .
. : .
. : .
. , , , . , , .
, .
( ) , , , . , , .
.
: S .
: " x (S (x)É P (x)).
: , . S (. 6).
S, P |
P |
S |
. 6.
.
: S .
: " x (S (x)Éù P (x)).
: , . S , . 7.
S |
S |
S |
P |
P |
. 7.
I.
: S .
: $ x (S (x) Ù P (x)).
: , . S , . 8.
.
: S .
: $ x (S (x) Ù ù P (x)).
: , . S (. 9).
S, P |
S |
S |
S |
P |
P |
P |
. 8.
S |
S |
S |
S |
S |
P |
P |
P |
P |
P |
. 9.
affirmo nego .