( . logos , , , ) (384-322 ..), - . , . ( ) . .
, , , , , : , , (, , - )? ?
.
: - ; - ; - . , , , . - , , . , : - (, , ), (, , ), ( ). , , , . S ( (. subjectum ) (. praedicatum ). :
S
: , ; , ; , . , . , . : , . q, :
, q
: , , , , ; , , , , ; , ; , , . , - , . :
|
|
, q; , - q, -
. , , , , . : ( ) , , .
( - S, ; , q), . , . , , , , , , , , , , , , .
( ) , .
:
p q, , :
1. .
2. , .
3. , , , .
4. , .
5. a2 b 2, a b.
6. .
7. a b, a 2 b 2.
8. , , , .
S P, , :
1. .
2. .
3. .
4. - .
5. .
6. .
.
. , , : , , . , , :
, q; , - q, -
, , ; ..
, q , . , , , q . , ; , , . , , .
, , . , . : , .
|
|
:
p, q; , p, q
, a = b a 2 = b 2 q, :
a = b, a2=b2; , a ≠ b, a2 ≠ b2
. , p . q . , , . , , , . .
, , . , , :
, p p
( , p , ). .
, :
, q; , - q,
;
p, q; , p, q
, p p
.
. , , . , , , , , .
, , , , .
() , , , , , , , . .
:
1. p q ( ) , :
a) p q;
b) p, q;
c) p p;
d) , p q.
2. , , , :
a) , , ;
b) , , ;
c) , , .
3. . .
a) . . , ;
b) ( ) . . , ( ) ;
c) . . , .