, . . , , : A) ; ) ; B) ; ) .
, , , , , !
. ,
, , , . (, , .) , , . , .
88.
A, B, C. , . :
A: C .
B: .
C: .
.
) : ?
) , , , , , ?
89.
A, B C. , , . :
A: .
B: .
C: .
A, B C.
90.
A, B, C, , . : A B. ( A, B C), A B.
, A B :
A: .
B: .
, . ?
91.
A B :
A: .
B: C .
, . ?
92.
A B :
A: .
B: C .
, . ?
93.
, , , . B: .
?
|
|
94.
, , : A B. . A B :
A: .
B: .
?
.
95. ?
, . . : - . , ( , , ). , . . - , ?
96.
, . - , ?
97. ?
. , . , . , ( , , ). , . , , . , . , , , ( : , ). , , .
, , , , : . ?
98. ?
, , , , , , , . , . , , , . , , , , : , .
, A, B, C. , , . , ( , !) , . , ( ), , , ! , , - , , .
?
. , , ?
|
|
. , . .
. . . - . , .
99.
, ( ) ( ), . - . , , , . ?
100.
, , , : . , ( ) ?
101.
, . ( : , .) , ( ), . ?
102.
. , , , . . , , , , , ?
103.
. , . , . , , , , ?
104.
. , . , 1) 2) .
- ?
105.
. , , , . , - , . - , , ?
. ?
- , !
106.
, , , . , , : , , . , , . , . , . ? , . , . : , , , . , - , . , , . , , . ? : , , . , !
|
|
, ( ). , , . , . .
) , , ?
) , , ?
(, .)
107.
, : , , - . , . , . , . , , !
, . , .
) ?
) ?
( .)
108.
. ( ) , , , .
, , . , , . , - , :
1) , .
2) , .
?
88. C , . , C . . , A B. , B ( , , , B ). , C , ( B). , C . , , . C. , A, B . A , C , C . , ( C).
, , C , ( ). , : . , , B, C. , , , A.
89. , C . , C . , . , A B ( C ). , , . , C . . A B. , A, B . , C. , C , A B , .
|
|
90. B , . , , . , B . A , A . , A, B . B , , . C. , .
91. A , B, : A , , , ( ). A , , . B , ( B) C , . A , . , B . B , C , C . , A . , A .
92. A , A . B , C , , , . , B C . , , B . , A.
93. B , C , . , B , C . , B, , . , A.
94. A. , B . . , , B . , B . , , . , B .
95. , ; : . , ( , ). , , , . , .
96. : . , . , . , . , , , . , . , . , .
97. . . : ? , , . , , . .
, . , , . , , , , . , . , . , , , . , , .
, . , . , , . , . , , . , , .
|
|
98. . , , (, A), : C?[1]
, A . B, . , A . B C. , B , C . B ( C). , A . B C. , B , C . , B . A , B , A. , A , , , B.
A , , C B. C.
99. - : . , , , , , , , . , ( , ). , , . , , , . , .
( , , reductio ad absurdum ). , . , (, , ). , . , . , , .
100. - , , . , , , , , , ( ) , ( ).
101. 99 ( ). : . , . ( ), . , . , - , .
102. , : , . : , . , .
. , . . , , . , . , . , .
. , . . , , . , . . , , , .
. , , .
103. . : . , . , , , .
104. : . , , .
. , ( ) . , , , . , . , .
. , , . , . , . . , . . , .
, ( , ) , , , , .
105. : . , : , . , , . , . , . , . , .
106. , . , , , , , . , ! ! .
107. . ( , ) .
108. , , , , . , , , .
, , , 11 . : 11 , .
( , , , 11 , , ). ( 11 , ). , , , , , , .
VIII.
, P , Q , P Q . , , . , .
. :
, . (1)
, (1) , .
, , , . , -, (1) ? , , , ? , : , , , ?
. -- : , , , . -: . , ( ) . : , , , .
, , Q , P, Q ( P, Q) .
, P, Q, P Q . . (1) , ? .
, . , , , (1) . ? , (1), , ? -: , (1) , , ? , , , , . . , P Q, P, Q : , P , Q ( ). , , , (1) .
, (1) , , , . , . , , , , , (1) .
:
, . (2)
(2) -: , , . , (2) .
(2) . (2) , , . , , . , (2) . , .
P, Q. .
P, Q. (3)
P ⇒ Q ( P, Q, P Q, P Q, P Q). ( ) , . , , , , , : , P Q . ( , P Q , . SStas)
, P ⇒ Q .
1. P , P ⇒ Q .
2. Q , P ⇒ Q .
3. P ⇒ Q , P , Q .
1 : . (., , 244 . 14). 2 : .
P, Q, : 1) P Q ; 2) P , Q ; 3) P , Q ; 4) P Q .
. P ⇒ Q. , ? , .
1: P Q . Q , P ⇒ Q ( 2).
2: P , Q . P ⇒ Q ( 3).
3: P , Q . P ⇒ Q ( 1 2).
4: P , Q . P ⇒ Q ( 1).
, :
( 0 1 SStas)
, , (, , ) , P Q , P ⇒ Q . , , , P , Q , P ⇒ Q , , , P Q , P ⇒ Q .
, P ⇒ Q .
. . P, Q, , P , , Q. , P Q, , Q .
, 4.
PQP⇒Q1234