- . . , , , , .
- , :
→ ,
________________
modus ponens ( ). ( → , ) ( ).
- , :
→ , −
___________________
−
- modus tollens ( ). → − − .
, - :
→ , → , −
__________________ ; _________________;
−
- . . - ( ), - . - :
V , − V , −
__________________ ; ____________________
modus tollendo ponens
(- ).
- :
V , V ,
__________________ ; ____________________
− −
, :
Ỳ , Ỳ ,
__________________ ; _________________ .
− −
. , , modus ponendo tollens (- ).
- . . ( + .-. λήμμα ).
, , .
:
→ B, C→B, V C
|
|
_____________________________ ___ ;
B
→ B, C → D, V C
_______________________________ __ ;
B V D
A→ B, A → C, −B V −C
___________________________________ __ ;
− A
A → B, C→ D, −B V −D
__________________________________ __ .
−A V −C
1.4.3. :
1.4.3.1. .
1.4.3.2. .
1.4.3.3. .
. . , . , .
, : - , - . . . , , (terminus medius). , . , , ((terminus minor). , , − (terminus major).
: , S , . , , . , , , .
:
(M), (P)
(S) (M)
(S) (P)
. , .
. . .
(. 1.).
(. 2.).
(.3.).
(.4.).
.1. .2. .3. .4.
. , . 256. 4, , 64 ( , ), 256. , . 24 ( 6 ). 19 5 . .
|
|
1 2 3 4
Barbara, Baroko Bokardo Camenos
Celarent, Cesare Disamis Dimaris
Darii, Camestres Datisi Camenes
Ferio Festino Ferison Fresison
Barbari Camestrop Darapti Bramantip
Celaront Cesaro Felapton Fesapo
.
, . :
1 2 3 4
aaa aoo oao aeo
eae eae iai iai
aii aee aii aee
eio eio eio eio
aai aeo aai aai
eao eao eao eao
, Barbara, 1, ( , , ) : ; Celarent ( , , )..
. . , . , , , , , .
, , , .
:
(1)
;
(2) ,
;
:
(3) (
);
(4)
;
(5) ,
;
:
(6) (
);
(7) ,
.
:
1: 1) ;
2) .
2: 1) ;
2) .
3: 1) ;
2) ;
3) .
4 . , . . .