(_,_); (_,_); (_ _) - ; , - .
, , :
(, ) (, ), (, )
, , n, .
, ; ,
(, )
, .. , .. .
(") ($), .
:
("X) [ (, ) (, ), (, )]
, : .
" $ .
(, ),
Y:
("X) ("Y) (, Y) - ;
($) ("Y) (, Y) - , ;
(") ($Y) (, Y) - , ;
($) ($Y) (, Y) - , - .
, ( ).
, .
, , n , .
- n , .
.
1. F G - , (F); F,G; FÚG; ù F; FG; FG - .
2. F(X) - , (") F(X), ($X) F(X) .
3. , n1 - n6, .
, , .
, , , :
("X) [ () ]
- (S) (s) .
|
|
, , :
:
: ù (1,..., n)
: 1,..., m,
i (i = 1, n) Bj (j = 1, m) - .
S = { S1, S2 } :
S1 (): ù
S2 (): ,
S1 S2.
S1 S2 :
S: ù B
S1 S2 , S - , S1 S2.
modus tollens, :
|
Ugrave; B
:
, : ,
:
, S1 - , S2 - , ..:
S1: ù
S2:
-
S:
. :
|
, :
.