1.
2. .
3.
: (), () - (-) .
() , , .
() , - , , .
- ( - -
) - .
. .
( - ) - , , . , , . .
- , . :
-
-
, , , , . , - . . , . , , , , .
- , . :
-
-
-
-
-
-
-
-
-
- , , , , . , , , , . , , . .
|
|
( - ) - . : () () .
- , , . (1547 - 1628) - , . :
-
-
, .
- . (384 - 322 . .), . :
-
-
-
-
-
( - , ) - , . . : - , , . :
-
, . : ; , . - .
, . : , - . , : , .
, . . , . , , , , , .
, , , , , . . . , , .
, , , , .
. , . , .
|
|
, , .
- .
( - )- - , (). : - . . :
, .
- , .
, -
.
- . , :
.
.
, -
- .
, , , . .
, (, ).
, , -, , - - () . , .
, ( ). , , , , . . ( ) . .. (1870 - 1953) : , . , : , , . .[5]
.
- , . : , ; , ; , . :
8 /, .
,
8 /, .
|
|
- - , , - .
, , .
(modus poes) . :
, D
D
:
N ,
N
N .
(modus tollens) . :
, D
D
:
,
- , () . , - -.
- , , ( ) - , .
:
, ,
,
,
,
:
ÚÚ, ùÙù
:
ÚÚ, ùÙù
:
, .
: ÚÙÚD Ú ÚDÚ.
:
Ú
ÚD
ÚÚDÚ
- - , - , - . : - (modus ponendo tollens) - (modus tollendo ponens).
- :
, ,
, , .
:
ÚÚ, ù Úù, :
ÚÚ,
ùÚù
- :
,
.
:
Ú, ù B
:
AÚB, ùA
B
- - , , - . - ( - ). ( , ), ( ), ( ), ( ).
|
|
:
, .
,
.
,
,
, .
, (, ) (, ). , , . .
:
A, C
B, C
A B
C
:
,
,
,
:
(AC)Ù(BC)Ù(AÚB)
C
:
((AC)Ù(BC)Ù(AÚB))C
:
A, B
C, D
A C
, B D
:
,
,
,
:
(AB)Ù(CD)Ù(AÚC)
BÚD
:
((AB)Ù(CD)Ù(AÚC))(BÚD)
:
A, B
A, C
B C
, A
:
,
,
,
.
:
(AB)Ù(AC)Ù(BÚC)
A
:
((AB)Ù(AC)Ù(BÚC)) A
:
A, B
C, D
B D
, A C
:
,
,
, .
:
(AB) Ù(CD)Ù(BÚD)
AÚC
:
((AB)Ù(CD)Ù(BÚD))(AÚC)
. :
, ;
, , ;
, , .
, ,
,
, ,
, .
, . , , . , , , . .
|
|
, , : , , , ; , . : , , , , .
: , , .
, . , , . .
: .. . .: . 1986; .. -. . 2-. .: . 1976.
, , - . , . , , , - .. , - , : 0 1.
, , , , .
, , , . , . , , , , , .
, , . , , . , , , .
( ) - , , . : . , ; - .
: Q, Q, Q, Q. .
"(()Q()). : , , Q.
"(()ùQ()). : , , Q.
$(()&Q()). : , , Q.
$(()&ùQ()). : , , Q.
: , ; . , , , , :
S S
S ; S
:
( ) , .
:
( ) - , .
, , :
S
S
:
-
-
, . .
:
- ,
180
, 180,
:
S
S
:
, , :
S
S
:
, ,
, , - . .
:
-
-
, - . , :
, :
.
- , :
1) - .
2) S - .
3) .
, , .
:
:
:
, , , .
- , , , .
:
:
:
, , .
, , - , .
, , , . , - . , - - , .[6] .. .[7]
. ,,I,O .
:
- ().
- ().
I - ().
- ().
. . , .. (1894 - 1975), , : , , .[8]
. :
- ;
- ;
- , ;
- ( ) ;
- , , - .
-
-
-
1. , ?
) . , .
) ? ?
) . .
) - ?
) ? .
) ? .
) ? .
) - ?
) - ?
) ?
) ? .
) .
) , .
2. , :
)
, , , ,
-
, , ,
)
,
)
,
3. . .
) .
.
) .
.
) .
.
) - .
.
) . .
) .
.
4. . , .
) .
.
) - .
- .
) - .
- .
) -.
- .
5. .
) - .
) .
) .
) - .
) .
6. , , .
) .
. , .
) . . . - . , .
)
, .
, .
7. , ?
) .
) .
) .
) .