2004

.
X
X , ( p p) p ,
2
p
A

X , p q, 4
p

X , p q r 8
p
A
A
A
A

X n 2n .
( ) .
r ,
2, 4, 8 .
, X

,, , ,

pqA
A

. X ( p q) p . , 4 .
p q , p ( p q) p
p

pq

( p q ) p

.

.
,
.

1,2,3
.
(,
p,q,r
). ( )
.
()

.
.
.
:

p
A
A
A
A

.
p q r p q r .

( p q r ) ( p q r )

- 1
2.
.
1 ( ).
2 1 2
: 1 | 2.
- 1 | 2 2 | 1 (
)
1 2
- 1 2
3.
. 1 2 (
). 3
1 2 3 : {1,2} | 3.
- | .
. .

. ,

p (q r ) (r p ) ( s ( p r )) p (q t )

 . 2 5 32
5 .

p p .
p, p p .
, .
.
. 30
2.4 .
.

,, , , .

,
31

p q p q

p q ( p q ) ( q p ) ( p q ) ( q p )

,, .

. 2.1

{, }

.

.
.
,
. ,
. 2.12 39 .
.
.
18
. ,
) p (
)
)
4

)
( ) , ( ) , ( ) , ( ) , ( ) .
(
).
:
( ),
p ( ) 5

( )
. ,
MODUS PONENS (MP)
Modus Ponens.

, .
:

A B, A
B

: ,
.

-
-
;
-
: ;
A B
A ( )
1.
2.
3. A B
4.
5. A
MP
6. B

( 3,5,P
3,5 MP)

( )

1, 2, 3 44.
,,
.
.
(( ) )

( )

( )

3 .
( ). ,
.

MP .

{1,2} | 3; (
)
: 1,2
3 , MP
3.

1.
2.
3.
4.
5.
6.

1
2
( )
( )
( MP, 2,4, MP)
3

: ;
!!! .
X3; !!!

 | 3;
.
. (
).

, 54
|

.
, T {1 , 2 , 3 }

, .
,
.
{ 1,2} | 3
, {1,2} | 3
! (
, !)


|

.
(
) !
, 46
.
, = {1 , 2 , n } ( )
:
{1 , 2 , n , } | , {1 , 2 , n } |
;

{1 , 2 , n } | .

1 , 2 , n
.
1 , 2 , n , .
{1 , 2 , n , } |

{1 , 2 , n } | .
2.2 () 48
{ , } |

,
.

{ , , } |

( )
(3 2 ).