, , . , , , -, - - ().
, , . , . , , -. , , -.
, , . , ; - , , -, , , , -. , .
, : , . - , : " S , S1 1", , , - . , : , . , : --> C
, :
, Ѡ -->
, -->
, Ġ -->
, , , . , : , . :
,
,
, .
Barbara :
|
|
, , (), , , - : (, .), , .
- ( , ) ( , - ) . , , . : - , , - . - (, ) , , :
, Ѡ -->
Ѡ
(modus nns) - .
- (, , .. ) , :
, Ѡ -->
- -
- -
(modus tollns) - .
. , , . , , , . , ( ) , . :
--> -->
-
(, -) (, )
??
, :
, ,
:
S S 1
2 3
S 1 2 3
, , , - . - , - : -, nnd-tllns, -, tllnd-nns. :
|
|
,
-
-
:
,
-
-
- , , - , . , - - (nnd-tollns) - (tollendo-ponens).
- , :
v v Ѡ v Ѡ v
- -
-Ѡ Ѡ -
, , , . , , - : - -.
, , . , - , - . ( , , ), , , : , , , , .
, ( ), , .
- . ( ) ( ) . - ( lemma - ). , .
- , . , , . , , : . , .
() () . () . . :
- , ; - , .
, .
, .
:
; ,
,
,
, :
, ; ,
,
, .. , .
|
|
() . . :
, ; ,
-, -
- -
. :
, , .
, .
.
, .
, : :
,
- -
-
- . , :
, , ,
,
.: , .
, , . , , , :
, ; ,
,
, .
, . . :
, ; ,
,
, .
- -. : , ; ; . .
- (), . , : .
, :
5