1. 2. .
S | P | |
A | + | - |
E | + | + |
I | - | - |
O | - | + |
1. . .
2. . 2.
3. P +. .
4. +. 3 3 . , , .
5. . 1 1.
6. -.
7. 4 6 .
8. 1 7.
9. . 8 .
2. 1. - .
S | P | |
A | + | - |
E | + | + |
I | - | - |
O | - | + |
1. . 1.
2. -. 1 .
3. +. 2 2.
4. . 3 .
Celarent
Darii
Ferio
.
.
1. 2. .
S | P | |
A | + | - |
E | + | + |
I | - | - |
O | - | + |
10. . .
11. . 2.
12. P +. .
13. +. 3 3 . , , .
14. . 1 1.
15. -.
16. 4 6 .
17. 1 7.
18. . 8 .
II
Camestres
Cesare
Baroco
Festino
1 - .
2 .
S | P | |
A | + | - |
E | + | + |
I | - | - |
O | - | + |
1. .
1. +.
2. . 1 .
2. .
1. . 1.
|
|
2. . 1 2.
3. +. 2 .
4. +. 3.
5. . 4 .
III .
Dorapti
Datisi
Disamis
Bocardo
Felapton
Ferison
1. .
2. .
S | P | |
A | + | - |
E | + | + |
I | - | - |
O | - | + |
IV
Camenes
Bramalip
Dimaris
Fesapo
Fresison
09.12.10
, , . , , . , .
.
.
.
S -
P
M -
MaP-
SeM
SeP+
4. .
, , .
A B
B C
A C
, , .
Modus ponens .
A B
A
B
, . . .
Modus tollens .
A B
A B
B
A
, . . .
A B
, . . .
, , .
Modus ponendo tollens .
A↓B
A
Modus tollendo ponens
A↓B
B
.
:
A B
C D
A↓C
BvD
:
A B
C D
↓
v
. :
1. .
2. .
3. , , .
4. , 3- .
5. , : () , . 1 , .
, . . , .
|
|
p
q
q, p →
( q)&p
(( q)&p)
p | q | (( q)&p) | ||||||
, , , , . , ( ). , ( ). , .
p
q ,
r ,
q v r), , →
q v r)& &
( q v r)& & )
p | q | r | (( q v r))& & ) | |||||||||
5. - .
.
S1 P
S2 P
S3 P
S1, S2, S3 S
S P
- , , , .