You are on page 1of 194

&

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 1 2/26/14 2:07 PM


:
,
, /
, /
/ ,
, ...

:
, ..

:
, ...
,
/ , ..

..:

:  1991, .
MDF, :



&
, -
/
& / .

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 2 3/19/14 4:31 PM




&

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 3 2/26/14 2:07 PM


22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 4 25/4/2013 11:53:01

,

.
1999-2000 .

:
.
, , -
, , ,
, .
, -
, .
-
.


.
. -
,
, .


, ,
.
, 396, 153 41, -
, .

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 5 25/4/2013 11:53:01


I:
1. .......................................................................................................... 9
2. ............................................................................................... 13
3. .................................................................................................................. 14
4. ................................................................................................... 16
5. ................................................................................................ 19
6. ................................................................................................................... 19
7. , ................... 22
8. ............................................................................................................ 24

II:
1. , , ..................................................................... 27
2. , .................................................................................... 33
3. , ............................................................ 39
4. ............................................................................................................................... 44
5. .............................................................................................................................. 49
6. ............................................................................................................................... 53
7. ....................................................................................................................... 56
8. ................................................................................... 61
9. .......................................................................................................... 63
10. ...................................................................................... 69
11. , , ....................................................................... 73
12. ......................................................................................... 78
13. , ................................................................................................... 81
14. ................................................................................................................... 87
15. ..................................................................................................... 92
16. *......................................................................................................................... 98
17. I - *........................................................... 102
* .

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 6 25/4/2013 11:53:01


18. II - *.............................................................. 104

III:
1. .......................................................................................................................... 107
2. - .............................................................................. 108
3. .............................................................................................. 113
4. ..................................................................................................................... 116
5. ......................................................................... 120
6. *................................................................................................... 123
7. *................................................................................................................................ 127
8. *.............................................................................. 129
9.
*................................................................. 134
10. *............................................................................ 136

IV:
1. ............................................................................... 141
2. : - ............................................................ 144
3. ...................................................................... 151
4. ........................................................................................... 157
5. ............................................................... 167
6. .................................................. 171

: / ......................... 179

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 7 25/4/2013 11:53:01


22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 8 25/4/2013 11:53:01
1

1.

,
. -
, -

. ,
,
.
:


. , -

, -
;
, , -
,
. .
.

. ,
, , -
.

, -

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 9 25/4/2013 11:53:01


1:

, , -
. -
(640-546 ..),
. , -
4-3 ..,
13 ,
. -
, -
, . -

,
.

, -
, -
, ....

.
.

3 ..
. , , -
, , . -
,
,
.
, -

, .
,
-
,
,
.

. ,
:

10

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 10 25/4/2013 11:53:01


1:



, ,

.
,
, .
,
-
. -

. -
, -
,
,
.
,
,
. ,
, , -
, -
-

.

, ,
. -
-

. :

-
. -
-
.
, -
,

11

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 11 25/4/2013 11:53:01


1:

.
, -
, -
.
, :
, -
, . ,
, -
, . , -
,
.
:
-
. -
, .
, , -
.
, , .
, ,
,
.

-
, , .
, -
,
-
.
, -
,
, -
. -
.
-
, -
. ,
.

12

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 12 25/4/2013 11:53:02


1:

,
() -
.
, -
.
,
.
, -
,
(
).
, , -
.
,
,
.
,
,
-
.

2.

-
, (322 ..).

, -
, .

: , , -
, , -
.

()
, :
, , , , , , , , ,
.

13

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 13 25/4/2013 11:53:02


1:

, , -
. -

.
-
-
.
-
. -
. ,

,
.

.

3.
, -
: ;

.
-
:
, .
,
, ,
. () ,
, , -
, ,
. ,
, -
.
-
.
-
, -
(, ) ,

14

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 14 25/4/2013 11:53:02


1:

: , -
, .

, -
.
, . , , ,
, -
:

() ()

.
() ()

, , ,
:
(), (), (), ().
,
, :
() , , , , -
, -
. , -

, -
,
() , , -
,
. ,
-
,
-
,
-
.

15

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 15 25/4/2013 11:53:02


1:

:
() , (
), ,
. -
, ,
, ,
()
,
.

4.
,
. -

. ,
( -
) . , -

. -
, -
: , -
, .
-
.
, -
,
, .
-
-
.

, . ,

-
.

-

16

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 16 25/4/2013 11:53:02


1:

(, ),

, .
,
() .
-
, -
.
- -
. -
-

. , :


,
-
.

, :

(1) - (2) -
- -
(3) - (4) -
- -

,
-
-
. , ,
,
, -
-
,
,
. , -
(1), (2) (3) .

17

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 17 25/4/2013 11:53:02


1:


,
:

()
:


(1)
, .

(2) .
.
, .

() -

(3)

, .

(4)

, .

()

(5)

, .

(6)

, .

18

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 18 25/4/2013 11:53:02


1:


, -
.
-
,
,
-
. ,
... , . -
... , -
.

-
.

5.
-
, .
,
. -

.
-
, . -
-
,
.
,
.
( -
), .

6.
, -
, -
.

19

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 19 25/4/2013 11:53:02


1:

. -
, .
-

.
-
/ ,

- -
. , -
,
. -
-
,
-. -
-
.
, , -
,
:
:
.
;
:
;
.
; ...
;


,
-
.
-
, -
. -
-

20

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 20 25/4/2013 11:53:02


1:

( ).
, -
.
-
.
-
-
.

,
280 205 .. -
, 705 , -
.
: ()
, -

( ,
).
:
()
,
..., ..., -
. -

.
-
( -
).
() -
,

. -
, Frege ()
19 . ,
.
.
, -

21

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 21 25/4/2013 11:53:02


1:

.

-

. ,
-
. -
(, ),
(, ) (-
, ) , ( ).

( ).
() -
,
. -
-
(, .)
.
, , :
,
.
.

7. ,

-
.
,
.
1 .., -

. (129-199)
,
-
, .

.

22

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 22 25/4/2013 11:53:02


1:

,
.

.

, -
.

.
- (-
805-873). 9 10
-
,
.
( , 980-1037), -
-
, , -
.
, , -
, -
.
11 12 . -
( ,
1126-1198), -

. -

.

11
15 .
, -
, (-
480-524),
.
Peter Abelard (
, 1079-1142), . -
23

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 23 25/4/2013 11:53:02


1:

,

.
14 .
, 15 ,

. -
, -
,
, Port Royal.

8.
, -
, Formal Logic (-
) Augustus De Morgan ( ,
1806-1871) Mathematical Analysis of Logic ( -
) George Boole ( , 1815-1864),
1847.
. -
Gottfried Leibniz ( , 1646-
1716) Bernard Bolzano ( , 1781-1848).
,
characteristica universalis,

.
, -
.
,
.
,
.
19
, ,
.
, ,
-
Georg Cantor ( , 1845-1918) - -

24

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 24 25/4/2013 11:53:02


1:

.

, John Venn ( , 1834-1923), Charles
Peirce ( , 1839-1914) Ernst Schroder (
, 1841-1902).


.
, -
, .
,
-
. -
.
-
.
Bertrand Russell (-
, 1872-1970) Gottlob Frege ( ,
1848-1925), .
-
Begriffsschrift () -
,
. , -

-
. -
,
, .
,
Alfred Whitehead ( , 1861-1947), -
Principia Mathematica (
),
.
-
,

.

25

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 25 25/4/2013 11:53:02


1:

-
Richard Dedekind ( , 1831-
1916), Giuseppe Peano ( , 1858-1932)
David Hilbert ( , 1862-1943).
-
,
, , .. -
-
. -
,
-
.
-
.
Leopold Lowenheim ( , 1878-1957), Thoralf
Skolem ( , 1887-1963), ( , 1901-
1983), Alonzo Church ( , 1903-1995), Kurt Godel
( , 1906-1978), Stephen Kleene ( , 1909-
1994).
, -
, -

.
1963 Paul Cohen ( )

.

-
, Willard Quine
( , 1908-2000), Donald Davidson
( , 1917-2003), Michael Dummett (
, 1925-2011) Saul Kripke ( , 1940-).

, , -
,

, , ,
.
26

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 26 25/4/2013 11:53:02


2

1. , ,

-
. ,
:
(-
) ,
-

.
(, ) -
. ,
.
.

. , -
:
1.
2. ;
3. !
4. , !
, -
.
. ,
-
. .

27

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 27 25/4/2013 11:53:02


2:

. -
, .
,
, , , -
.
.
,
. ,
.
, ,

. ,
, -
.

, ,
-
. ,
; -
.
.
.
.
:
1.

2.

3.


.
-
.

. -

28

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 28 25/4/2013 11:53:02


2:

.
, -
, .




-

.
,
, , , ,
. -
,
, , , -
, , ,
.
-
, -
. -
. , ,
.

, ,
, .
, ,
.
.
,
. -
, -
. -

. -
.
,
,
.

29

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 29 25/4/2013 11:53:02


2:

-
-
-
. ,

, , .
,
, . ,

-
, .
.



,
.

.
;
1. 100 10.
2. .
3. .
4. .
5. 2 .

,
, , -
-
.
.
.
.
,

30

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 30 25/4/2013 11:53:02


2:

. -
, .

,
-

.


. ;

( );
,
. , -
, -
/ .
-
,
.
; ; -
,

. ,
.
, -
, -
. ,
, : -
.
. 2 .

, -
.

31

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 31 25/4/2013 11:53:02


2:


1. , ;
2. ;
3. ;
4. ;


1.
.
i. ;
ii. .
iii. 109 + 153 .
i. 9 .
. .
i. .
ii. !
2. ,
.
:
,
. ,
,
.... ( 55, 3-6).
.
: .
, ;

;
3.

.
.

. :
.
: .

32

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 32 25/4/2013 11:53:03


2:

:
.
.
;
4. ,
, .
, ,
.


. :
: . ;
5. , , :
.
;

2. ,

-
. : ;.
.

. : -
.
. -
: ,
, .
, -
.
,
.
. -
, ,
-
. .
.
,

33

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 33 25/4/2013 11:53:03


2:

. , ... ...
.



.


.

. -

, -
. ,
-
:
- - .
-
:
(1)
.

(2)
(3) ,
... ...
(1) -
.
(1) .
.
.
(2) (3) . -

(1)
. .
(2) (3) . -
,
. (1) -

34

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 34 25/4/2013 11:53:03


2:

, .
(2) (3) . -
,
. (1) -
.
(2) (3) . -

. (1) -
,
.

:

1
O





(1) -
(2) (3) .

... ...
. B
, -
,
, .

,
. -
.

, .. -
,

35

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 35 25/4/2013 11:53:03


2:

.
-
. -

,
.
,
-
,
,
. -
.
.
.
-
,

. -
... ...,
1, :

2
... ...




; -
, , -
.
, -

, .
, -
,

36

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 36 25/4/2013 11:53:03


2:

. , -
.
-
,
, . -
, -
4.2 = 8 . ,
-
, -
, . ,
-
8.2 = 16. -
.
-

.

3
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16



, 16
,
. ,
16 .
3,
,
.

37

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 37 25/4/2013 11:53:03


2:


1. ;
2.
.
3. ;


1.
.
i.
.
ii. .
iii. .
i. .
. .
i.
.
2.
.
i. ...
ii. ... ...

38

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 38 25/4/2013 11:53:03


2:

3. ,


.
,
,
, . -

. -

.
-
-
, , ,
. -
.
.
-
, : ,,, -
, 1, 2, 3, . ,
-
. -
.
: -
, ,
(, )
. , -
, -
. :

:
.
-
, -
, , -
.
,

39

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 39 25/4/2013 11:53:03


2:

-

. -
.
-
. , -
:
.
, -
.
-
. -

. , -
-
. ,
: ...
... ,

. -
.

, , , -
, . -
: -
... ...
, -
.
-
,
.

, -
. -
. ,

. , -

40

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 40 3/19/14 4:31 PM


2:


. -
-
.
, -
.

. ,
... ... -
.
, -
:

,
... ... -
.
-

, -
(, )

. -

,
.

-
-
, -
. ,
, -
.
-
, -
. , ,
,
. -

41

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 41 25/4/2013 11:53:03


2:


. , ,

. -
: ,
Leibniz , ,
.


, , -
.
-
, -
,
. -

,
. -
. -
.
, ,
. -



. , , -
... ...
.
. .

, -
.
A, -
-

, ,
... ...,

42

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 42 25/4/2013 11:53:03


2:


.
-

, -
-
. , -
.

, -
, ,
.
-
, -
, -
.

,

.
-

, -

-
.


. ( , -
, , ,

,
,
, .
).

43

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 43 25/4/2013 11:53:03


2:

4.


. -

. -
, -
: -
.
:
(1) -

.
:
(2)
(3) , -
.
-
-
, -
.
, ,


.
-
. (1)
-
,
-:
- ,
- .

(1).
(1)
-
. (1)

44

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 44 25/4/2013 11:53:03


2:

.
(2) (3) :
(2) (3) . -

(1) -
. .
(2) (3) . -

. ,
(1) .
, ,
.
(2) (3) . -
, .
, (1)
. ,
, .
(2) (3) . -

. (1)
, .
-
.

4
O





(1) -
(2) (3)
. ,
.

45

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 45 25/4/2013 11:53:03


2:

......
. -
,
, .
^. , -
,
^ ,
. ,
^ , , -
... ... ^.
-
.
-
.
-

.
(
, : -
^ , -
).
, :

5
^



8 3.
-
... ..., , -
... ..., ...... .
-
......,
, 5.

46

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 46 25/4/2013 11:53:03


2:


.
^. ,
( ) , -
, -
-
.
......
.
, :
.
-
,
:
.
...
...,

. , , -
5.
:

,
, :
,
.

, , ......... -
:




, -

.

47

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 47 25/4/2013 11:53:03


2:

^ ^ .
.
1 ^ 2 ^ ... ^
:

1 ^ 2 ^ ... ^
1, 2, ...
.


1. ; ;
2. ;
3.
.


1.
.
i. ......, ii. ... ...,
iii. ... ..., i. ... ...,
. ... ..., vi. ... ....
;
2. : 109+153

;
3.
.
, .

. .

. :
.
;

48

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 48 25/4/2013 11:53:03


2:

5.

. : -
;
:
(1) .

:
(2)
.

:
(3)
(4)
. . -
, -


. ( , -

.

, :

). -
,
.
, (2)

.
:
. (3) (4) -
-
(2), -
.
, -
(2).

49

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 49 25/4/2013 11:53:03


2:

(2)
-
. , (2)
.
(3) (4) :
Bolzano (3) (4) . -

-
(2). , .
(3) (4) . -
. ,

, (2),
.
(3) , (4) . -
. -
, (2) -
, .
(3) (4) . -
-
. (2)
. .
-
:

6
(3) (4) (2)



(2)
(3) (4) . -

...... .
... ... . -

50

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 50 25/4/2013 11:53:03


2:

-
, , .
. , -
, ,
, -
. -
.
:

7


A
A

2 3.

.


.
( :
,
.)


.
, -
(2), (1), -

(3) (4). (2)
(3) (4) -
. ......
. -
. -
:

51

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 51 25/4/2013 11:53:03


2:

-
. .

. -
......
.
, -
, . -
, -
,
. -
-
.
:

8
_



10 3.
, , -
-
.

,
, . -

......,
, 7.
-
. , -
, -
.
,

52

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 52 25/4/2013 11:53:03


2:

. -
1 2 ... :

1 2 ...
1, 2, ..., -
.


1. ; ;
2. ;
3. ;


1. :
. ;
2. : 109+153
;
3.
i.
ii.
iii.
i.
;
4. .
:
.
;

6.
-
, ,
, -
. -
. -
.

53

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 53 25/4/2013 11:53:04


2:

, , , :
..., ..., ...,
... .
.
, .
-
.
:
(1)
:
(2) ,
.
,
.

-
.
-
.
(2) .
(1)
, .
(2) .
(1) -
, .
...
(2). -
. -
. (1)
(2).
...

. ,

.
-
, -

54

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 54 25/4/2013 11:53:04


2:

-

.
.
-
.
, -
. , , -
:
,
:


.

-
, -
...

55

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 55 25/4/2013 11:53:04


2:


1. ; ;
2. ;
3.
.


1.

i. ... ...
ii. ....

7.
-
..., ....
.
, , -
.
(1)

(2) ,

(3) ,
.
(
)
..., ... ( )
.
-
:
,
.
, -
.
,
56

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 56 25/4/2013 11:53:04


2:

..., ... .

. -
-
..., ....
- Boole
..., ....
(1) (2) .
-
(3). -
-
, .
(1) (2) -
. ,
.
,
.
, , (3)
,
. .
(1) . -
, . -
-
(3).
. -
;
-
-
.
, -
.
-
. , -
:
1000 ,

,

57

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 57 25/4/2013 11:53:04


2:

, . ,
-
; -
, ;

. , -

, , -
.
. ,
..., ... -

. -
: ( -
).
(3) -
: , -
.
-
, .
,
,
,
-
,
.
(3)
-
, , -
(4) -

. (4)
, -
. -
(3)
.
(1),

58

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 58 25/4/2013 11:53:04


2:

, . , -
(1),
(3), .
, -
.
(1) (2) .

. , (4) ,
. (3) .
(1) (2) . -
.
(4) ,
. (3) .
.

10
(1) (2) (3)



-
..., ... -
: .... ....
.


. -
. -
, . -
.

59

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 59 25/4/2013 11:53:04


2:

11




-
..., ..., -
, -
,
. -

-
.
, -
-
. ,
, -
. , -
, ,
.
,
..., ....
: ... ..., ...,
..., ... ...,
... ...
,
. -
.
, , .
, .
.
.

.
, .

60

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 60 25/4/2013 11:53:04


2:


1. ;
;
2. ;
3. ;


1. ,
109+153 ;
2. :
, . ;
3. :
, . ;
4. :
, . ;

8. `
-
, . ...
.... , -
-
, :
-
, -
. , -
, , ,
. -
-
.

.
( ).
.


61

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 61 25/4/2013 11:53:04


2:

-
.

12




, -
...
..., ... ..., ... -
..., ... ... .
-
. , , ,

.


1. ;
2. ;


1. :
; :

. ;
2.
. :
.
;

62

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 62 25/4/2013 11:53:04


2:

9.
:
1.
2.
3.
4. ,
.
3
... 1 4
.., ... 1 2. -
1, 2, -
.
, 1 2, . -
.
,
.
, -
-
.
5.
.
:
6.
7.
8.
,

.
,
5:
9. ,
.
10. ,
.
( 10
, -
, ).

63

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 63 25/4/2013 11:53:04


2:

9 :
:
,
( -
, ).
De Morgan 10 :
:
,

.
-
,
8
. -
,
6 -
-
.
9 10
:
6 7
8.
, ,
-
: ^ .
9 10
. ,
, ,
( ).
, ^ ,
9, ^ .
^ ,
9;
^


. -

64

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 64 25/4/2013 11:53:04


2:

, -
. , 9
( ^ ) .
: -
, -
. ( ^ )
. , 9
( ^ ) . 10
^ ( ).
9
10
-
.
-
. ,
5 ^ , -
.
-




^, , ,
, , -
.
1, 2, 3,... .

.
1. .
2. 1 , 1 .
3. 1 2 , (1^
2), (1 2), (1 2), (1 2) .
4.
1,2,3 .

. 3 -
. -

65

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 65 25/4/2013 11:53:04


2:

, -
( ), ,
.
( o)
.
,
,
-
. -
-
.
-
.
-
, , , -
. -


. , (^) -
9
( ^ ). ^( ) 10
^ .
.
-
. ,
,
. , -

.
-
. , ,
. ( ).
,
.
.
^,
.

66

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 66 25/4/2013 11:53:04


2:

-
^ -
. -
^
.

. ,
^ , ^ -
. ^ ,
. , -
^ . ,
(^). ,
, -
^
. -
(^). , -
^ ^. -
^ .
. ^
.
,
()^, .
-
-
.
.
1 . -
, 2 .
, 3 -
. ( -
). ,
3 . 2 -
( ) . [
-
-
]. , ( ) ,
3 () ( ) . [

67

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 67 25/4/2013 11:53:04


2:

( ) ,
-
.

,
].
, 2 . (
-
-
).
-
.




,
.


1. ;
2. ;
3. ;


1. :


i. ii. (
ii. () iv ,
. () vi.
viii. ( ) ii. ( )

2. ,
;

68

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 68 25/4/2013 11:53:04


2:

10.
,
, -
( ) .

.
-
,
-
.
. , , -
6 , 7 8 ,
-
, 9 .
6,7 8 -
-
10 .

(^) 9 ^( )
10. ,
,
,
(^) . (
^( ) ).

-
,
.
(^) ^( )

, -
,
, -
. ,

, , -
,

69

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 69 25/4/2013 11:53:04


2:

. -
-

. -

-
.
.
.
^( ). -
,,, , ^ .
:
,
^( ).
-
^( ),
-
,,:
-
,,:
, (
)
^( ),
( )

, ^( )

13
^( )







70

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 70 25/4/2013 11:53:04


2:

-
-

.

(^) :

14
^ (^)







6 8 -
^( ) (^)
. -
, , -
10 9 ,
. -

, .
-
.
10 9 .
-
,
-
.

71

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 71 25/4/2013 11:53:04


2:


1. ;
2.

i. ;
ii. ;
iii. ;


1.
:
i. ( )
ii. (^)
iii. ( )( )
iv. (^)( )
v. ()(^)
vi. () ( )
2. ;
i. , 7 ,
109+153 .
ii.
.
iii. :
.

72

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 72 25/4/2013 11:53:05


2:

11. , ,
,
-
.
-

, -
, .
, -
, ,
, . -

.
, . -
.
. -
-
: -
( ) . ,
snow .
, -
/ . -
.

,
: . -
.


. ,

( ) .
, snow ,
,
.
, -
,

73

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 73 25/4/2013 11:53:05


2:

, . -

,
.
.

.
,
. , -
, , , -
. , -
, .
, () -
.
, .
-
.

, . -
-
.
, -
. -
,
.
,
. -


. ,
.
.

.
(1) .

74

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 74 25/4/2013 11:53:05


2:

(2) .
(3) .
-
. (2) (1) -
. ,

. , , -
-
(
). -
. (1).
-
. -
.
-
(1) . -
:
(1) ,
:
(1) ,

1


. :
;
: , :
2+2=5
2 2=3
3=2
1 2=1.
, ,
.
, .

75

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 75 25/4/2013 11:53:05


2:

(1)
. -
.
(1), (1)
(1).
(1):
(1) .
,
:
(1) .

(1) (1),
(1), (1), ^.
(2)
.
(2) (1) (1).
(1) (2). -
. (2)
(1) (1), -
, (1). -
(1)

(2)
.
,
,
: , .
(2) :
(2) -

(2) :
.
, (2), (2), (^).
(3) . -
(1) (1).
(1) (1). -
(1) (1). (3)

76

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 76 25/4/2013 11:53:05


2:

:
(3) -
.
(3), (3), ^.

Dedekind
1. ;
2. ;


1.
:
i.
ii. ( )
iii. ( )
iv. (^)
v. ()
vi. (( ))^
2. :
i. , .
ii. Eiffel
.
iii. .
iv.
.
. ,
.
vi.
.
vii.
.

77

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 77 25/4/2013 11:53:05


2:

12.

1.

.
(1) .
.
, ,
,
.
(1) :
(1) ,
,
(1) ,
,
(1) ,
.
-
(1). (1)
(1) (1) ,
(1), . ,
.
(1) :
(1) . ,
.
.
.
(1)
-
, . (
). , (1),
(1), ( )^(). .
,
,
,
-
.

78

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 78 25/4/2013 11:53:05


2:


(1),
. -
,
, .
(1) -
, .
, (1). -
, (1) -
.
, -

(1).
2.

.
(2) -
. , -
, .
(2) -
, ,

,
.
(2) .
(2) ,
(2) ,
(2) ,
(2) .
(2) :
-
,
: : -
-
. , -
(2) (2), .

79

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 79 3/19/14 4:32 PM


2:

(2) -
: ,
.
(2)
(2)
(2). (2).

:
(2) : -
-
. () ,
.
(2) (2) -
,
( ). -
(2) (2) . , (2)
(2) (2) (2)
(2) (2):
(2) : -
-
. () ,
.
, (2) (2) ( )^().
-
, -
,

.


1. :
i. ,
. ,
.
ii.
.

80

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 80 25/4/2013 11:53:05


2:

iii. .

13. ,
: .
:
(1) ,

(2) .
(2) -
(1) . -
(2) -
(1).

. -
.
15
:
A


, -
.
,
-
, .

: .
: ^.
:
(3) ,
:
(4) ,
.
(4)
(3) .

81

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 81 25/4/2013 11:53:05


2:

(4) (3)
.
.
.

Frege 16
^

-
, .

,
-
, .

: ^ .
:
(^) ()

17
^ (^) ()





-

. .

-
.

82

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 82 25/4/2013 11:53:05


2:

, ,
:
... ( -
...), : . ,
, : -
, : .
, .
, ,
.


1. ,
,
,
.

.
.
2. .
,

.

. ,
.
3.
,
.
. ( ).
,
: .


, 1: ()
(). 1,
.
-

83

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 83 25/4/2013 11:53:05


2:

,
.
18
1 ()
2 (^)
3
4 (^)(^)
5 De Morgan (^)( )
6 De Morgan ( )(^)
7 ( )( )
8 ( )()

-
.



.

.
:
.
. (
, ).

.
.

: , :

19
: :



84

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 84 25/4/2013 11:53:05


2:


.

.

,
, .
,
, ,
. .
-
,

.

85

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 85 25/4/2013 11:53:05


2:


1. ;
2. ;
3. ;
4. ;


1. :
i. (^())^
ii. (^)^()
iii. (()^(^T)^(^T)
2. :
i.
.
ii. ,
.
iii. , ^
.
iv. ,
.
. , ^
.
vi. ,
.
vii. ,
, .
3. :
i. , ^
.
ii. , ^
.

86

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 86 25/4/2013 11:53:05


2:

14.
, -

, .
, (-
.)
, -
. -

-
.
, ,
. , , -
,
. -
;
, -

2




.
.

. ,
:
: .
: .
: .
: .
: .
: .

87

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 87 25/4/2013 11:53:05


2:

, , :
1. ,
2. ,
3. ,
4. .

, ,
. -
. -
, -
, .

,
. , -
,
, -
. , -

. .

,
-
,
. -

.

-
, , -
. , , -
.
.

I. , . ,
. .
.
, . , .

88

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 88 25/4/2013 11:53:05


2:


. -
:
.
-
. Peano
.

, , .
.
-
:
.
.
.
-
,
, :

1 , -

. ,

. -

,
. 1, 2, 3,..., -1, ,
, 1, 1, 1,..., v-1,

. 1, 2, 3,..., -1, ,
.
, 1, 2, 3, ..., -1, ,
, -

89

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 89 25/4/2013 11:53:05


2:

. 1, 2, 3,..., -1 , ,

:
1, 2, 3, ..., -1,
1, 2, 3, ..., -1,
1, 2, 3,..., -1,
1, 2, 3, ..., -1,
:
1
2




90

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 90 25/4/2013 11:53:06


2:


1. ;
2. ;


1.
;
i. ,
.
.
, .
.
.

ii. ,
, .
,
, .
, .
, , .

iii.


.

,
.

.
,
.

91

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 91 25/4/2013 11:53:06


2:

15.
:

I II
.

.

20
1 2 3 4 5
() () ()

1
2
3
4

(


.
).



. ,
-
, 1 3, 4,
5. -
, -
. ,
-

92

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 92 25/4/2013 11:53:06


2:

, -
. ,
,
I II, :

.
, .
-
:
, -
.

1, 2, 3, ...-1, , -

1, 2, 3, ...-1, ,
. , ,
.

, -

.
, ,

.
:
, .
.
, .

93

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 93 25/4/2013 11:53:06


2:


.

.

21
1 2 3 4 5
() () ()

1
2
3
4


-
1 3 -
, -
1.
3
.
. ,

. -
, ,
: -

.


,
-
(
).

20 21 -
1 , 2 -

94

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 94 25/4/2013 11:53:06


2:

3.
:


.
.

-

. -
-
. -

:
1.
( )
2. -

3.
.
-
, -
-
,
.
1. Modus Ponens: -
, -
. :
-
.
2. Modus Tollens: -
-
, -
. :

.
3. : -

95

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 95 25/4/2013 11:53:06


2:

-
, ,
,
-
, . : -
Venn
-

.
4. :
-
,
. :
.
.

22
Modus Ponens


Modus Tollens









-
, . : -
1, 2, 3, ...-1, ,
(1^2^3^...^-1^) . -
-

96

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 96 25/4/2013 11:53:06


2:

, .

. ( -
). -
,
.
, ,

.


1. ;
2. ;
3. Modus Ponens.


1.
:
i. , ,
ii. , T, T
iii. , ,
iv. , , ^
v. ^,
vi. ,
vii. , T, , T
viii. T , T, , P
2. .
i. , .
, .
, , .
ii. , .
, .
.
,
.

97

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 97 25/4/2013 11:53:06


2:

16. *
1, 2, 3,
...-1, , . -
1, 2, 3,..., -1, , , , 1, 2,
3,..., -1, , , :
1, 2, 3, ...-1, ,

1, 2, 3,...,
-1, ,
,
1, 2, 3,..., -1, ,
.
1, 2, 3,..., -1, ,
1, 2, 3, ...-1, .
, ,
1, 2, 3, ...-1, , 1, 2, 3, ...-1,
, .
-
-
.
, -
, -
22, .

:
1.
,
2.
,
3.
.

-
-
,
.

98

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 98 25/4/2013 11:53:06


2:

3


.
.
:

: 1. .
2. .
3. .
4. .
: 5. .
6. .
7. .
8. .
: 9. .
10. .
11. .
12. .
: 13. .
14. .
15. .
16. .
: 17. .
18. .
19. .
20. .

:
()
() ,
,
.

99

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 99 25/4/2013 11:53:06


2:

,
. -
-
.
-
. . -

-
. -
-
. :
, .
.
. .
:
,
.
. -
. .

:
, T, , .

1. , 1.
.
2. 2.

.
3. 3.
.
4. ( 2, 3

) 4. (2,3 )
5. ( 1, 4 Modus 5. (1,4 Modus Ponens)
Ponens )
.

100

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 100 25/4/2013 11:53:06


2:


() .
, .
-
. -
.


1.
;
2.
,
;


1. iii 1
14 .

101

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 101 25/4/2013 11:53:06


2:

17. : *
.



. -
, , -
, :
1.
.
2. -
.
-
:
,
. . , -
, .
: ,
,
. . , -
, .
, , .


1. , 1.

.
2. . 2.
3. ( ) . 3. (
.)
4. ( 1, 3 Modus 4. (1, 3 Modus Pones)
Ponens )

.
5. ( 2, 4 5. (2,4, )

).

102

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 102 25/4/2013 11:53:06


2:



. ,
, -
() ,
.

.
-

, . ( -
, 8 18). -

. ( -
, 7 18).


1. ;


1. ii 1
14 .

103

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 103 25/4/2013 11:53:06


2:

18. II *

, , , -
.
-
Whitehead -


-
. (, -
^ ).
, , -
.
.


. ( )
.

:
2000 ,
. ,
.
2000 .
: , -
2000 , -
.

. 2000
. , ^,
.

104

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 104 3/19/14 4:32 PM


2:


1. 1.
2000 ,

.
2. 2. ^

.
3. ( ) 3. [
2000 . .
( ).
].
4. ( 1, 3 Modus 4. (1,3 Modus Ponens)
Ponens )
.
5. ( 2 ) 5. (2)

.

() -
() , ,
()
() . (-
4 5). ,
. -
-

.

, , . ,
Modus
Ponens.


-
. -

105

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 105 25/4/2013 11:53:06


2:

-
. (
^, De Morgan ,
6 18). -
, , , . ( ).
( ).


^

. ^ -
.


-

.


1. ;


1. i 1
14 .

106

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 106 3/19/14 4:32 PM


3

1.
-
,
--
, -
.
-
. , -
-
0 1 ( ,
.) -
.

. , -

.
-
,

.
-
-
.
-
.

107

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 107 25/4/2013 11:53:06


3:

2.
.
(1) ,
(2) ,
(3) ,
(4)
. ,
,
, , (, , o
.). , -
, (, ), -
()
( )
. .
.
, ,
.

.
, .
,
:


, -
,
. , ,
, ...
. ,
, , : -
, , , .
-
.
( ) -

108

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 108 25/4/2013 11:53:06


3:


.
-
. -
. , ... ,
,

(). ,
. -
, () -
.
-
,
-

4

,
, ,
. :

1 2 3


:
() ,
()
()
, .

109

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 109 3/19/14 4:33 PM


3:

() () . -

,
.

Russell . -

. (
-
, -
).
(1), (2), (3) (4) -
.

.

( )


- ,,- .

.

(),
: . .
()
-
, . ,
() -
. ().

-
.
(), :

110

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 110 3/19/14 4:33 PM


3:

. , ,
,
Eiffel,
Eiffel .
, () .
-
, -
: .

.
(), (), () -
,
.
: -
-
1, 2, 3,
, ,
()

, , .
:

,
.
2,
(2), .
()

(1) (2) (3)

111

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 111 25/4/2013 11:53:07


3:


1.
;


1.
:
i.
ii.
iii.
iv. .

112

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 112 25/4/2013 11:53:07


3:

3.
-
-
, , -
. , , :
(1) .

-
.
. -
:
(2)
-
. (2)
(1), : -
. -
. , -

. ( -
-
, , -
).
(1)
(2) -
, -
,
.

.
.

.
, . ,
-
: ... .... ,
, -
: .

113

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 113 25/4/2013 11:53:07


3:

-
-
, :
.
. -

. -
, -
. , -
, ( ) .
, -
. , -
( ) . , -
() ,
... ... ()..., -
. -
,
. , -

:
... ......, . -
. , -
:
(3) .
(3),
, -
,
, , -
. (3) -
(,,). ,
, -
, -
, ,,, (
): (,,).
. -
, -

114

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 114 25/4/2013 11:53:07


3:

-
. , , . -
. ()
. , -
. -

-
, -
. ,
-
. ( -
).

,

.
1,2, -
, (1,2, . )
.


1. ;


1.
:
i. .
ii. .
iii. .
i. .

115

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 115 25/4/2013 11:53:07


3:

4.
:
, -
,

,
(1) .

(2) , .
(
) -
.
-

. -
, -
,
.
.
(2).
-
, -
. ,
, -
.
, .

, , ,
, ,
. -
(2), -
().
-
( ),
.
, , (2)
. -

116

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 116 25/4/2013 11:53:07


3:

(2), -
. , (2) -
().

... ...

()

,

.
: -
, ,
, , -
, , -
(-,-).
,
. :
(3) .
-
.
( ),
. -
, -
, , -
, (3)
().
-
. -
: (-, -), ,
.
-
, (), (),

117

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 117 25/4/2013 11:53:07


3:

() . .

() -
() ()
.
Tarski
()
. ,
() -
. ,
() ()
() ,
(), , -
. ()
, (
) . -
-
.

(4)
(5) ,

(6) -
.
,
(1), (2) (3),
,
.
.
-
,
.
(4) (5)


. (6) ,
-
118

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 118 25/4/2013 11:53:07


3:

.

.
(1), (2) (3)

.
, ,
.

. ,
-
, -
-
, .
(2) ,

.
-

,
.


1. ;
2. ;


1.
.
i. .
ii. .
iii. .
i. .

119

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 119 25/4/2013 11:53:07


3:

5.
, () (1,
2, ) .
-
.
,
. -
-
() (1, 2, ...).
, A()^B(), A() B(), A(),
A()B(), (,) (,), (,) ()
()(,) (,), ,
^, , , , ,
() .
.

, -
, -
. , -
()() , () () ()()
, ()(), (), () -
.
-
-
. .
(1) .
,
. -
-
. . -
(1)
(2) ,
(2) -
,
.
(3) , , -

(3) , .
120

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 120 25/4/2013 11:53:07


3:


(4)

(5) .
, --
.
. ,
(1) ,
, .

, (4) (5) ()
() . , (3) ()().


() ()
()()
(()())

(3)
, (1) -
()(). -
, -
. ,
()()
. , (3) (1), -
(()()). -
-
()
(1, 2, ...). , (()())
()().
-

(1),

.

. 1, -

121

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 121 25/4/2013 11:53:07


3:

.
.
(6) .

(7) .
,
(6) (() ()).
1,
.

(8)

(9) ,
.

(()^()). -
, -
(8),
-
. .
.

(10)

(11) ,
.
: (()^()).
.


1.
:
i. .
ii. .
iii. .
i. .

122

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 122 25/4/2013 11:53:07


3:

6. *


(1)
(2)
(3) Eiffel.
,
:
(4) , -
.
(5) ,
.
(6) ,
Eiffel.
-
. , -
.
...
.... , -
,
. ,
, .
, -
, Eiffel. -
...
... , -
, (4), (5) (6)
(,), (,) (,) .
(4), (5) (6)
:
,
... ,
(,)
, .

-
. -

123

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 123 25/4/2013 11:53:07


3:


-
. (,) -

, -
.


. ,
() ().
(,,) -
(,,)
.
, ,
()
,
. -
.
(,). -
-
. ,
(,), . -
, -
. -
(,),
(,). , -

5

. , ,
. :
() /
, ()
.
;

124

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 124 25/4/2013 11:53:07


3:


-
-
. -
.
... -
..., -

i. (,)
ii. (,)
iii. (,)
iv. (,).
-

(7)

(8) , -
.


(9)

(10)

-
.

. -
0,1,2,3,
... ...
... ....
(7)
(7)
.
(8)
(8) , -
.

125

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 125 25/4/2013 11:53:07


3:

(9)
(9) -
.
(10)
(10)

(7) , (8) -
.
(i) (ii)
, -
.
-

. , (9) (10)
.
(,)
(,)
(11)

(12) -
,
-
.
(,) (,).
,
.


1.
:
i. .
ii. .
iii. .
i. .

126

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 126 25/4/2013 11:53:07


3:

7. *


, , -
.
, , -
, , ^, , , , -
.
,

-. -
,
-

: (), (,), (), () .
,
.
--
. , -
, .
,
. 1, 2, 3, ... -
1, 2, ......
.
1. - ,
(1,2...) () .
2. 1, , 1
.
3. 1, 2, ,
(1^2), (1 2), (12), (12), .
4. 1, ,
1, -
11, 11 .
5.
.
3 .
-

127

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 127 25/4/2013 11:53:07


3:

, ( () ()), -

() ()
, -
,
(()())
, -
. , -
.
,

. , (), (,) -
( 1), (), (,)
( 2 4), (), (), (,),
(,) ( 2 4), (()
(,)), ( () ()) - -
- 3) .

-
,
.


1. :
i. (,)
ii. (,)
iii. (,)
iv. (() (,))
v. A ()
vi. A () (,)

128

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 128 25/4/2013 11:53:08


3:

8. *
,
, -
, .

.
,
(1) , -
.
(2) -

(3) , .
, -
,
. -
, , , -
,
, -
-.
-
. , -

, ,
.
,

-. (
).
, -
-
.
.

.
. -

. ,

129

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 129 25/4/2013 11:53:08


3:


.
(1)
(1):
,
Skolem
(1):
, .
, -
, -
.
(1) , -
-
.
.
. -
()^() -
. -


(()^())().
. ,

. (5),
(1),
((()^())()).
(2).

.

(): ,
.


(): ,
.

130

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 130 25/4/2013 11:53:08


3:

.
(2) -
. ()
-
, ().

(): -
.
, (2)
(2): , ,
,
, .

,
. (-
)(). ,
-
(() (). -
,
(). ()
, -
.
()().
,

(()()). , -

( (()())). (2), (2), -

(()())^ ( (()())).
: -
-
()() -
.
()() . ,
-
,

131

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 131 25/4/2013 11:53:08


3:

,
, . , (2)
(()())^ ( (()())), -
.
(3). (3) (3):

.
-
,
(): .
.
-
.
. , ().

,
() , -
( ).

():
, ( ).
. -
: ...
... ...,
.
,
.
-
,
, , .

(() ^ (()(,)))
() ()(,) () -
(()(,)) () () ^

132

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 132 25/4/2013 11:53:08


3:

(()(,)). -
, ,
(3), (3), (() ^ (()(,))).


1.
:
i.
.
ii. .
.
iii. .
(Benzamin Franklin)
iv. .
(Benzamin Franklin)
.
.
i. .

133

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 133 25/4/2013 11:53:08


3:

9.
*
-
.
1. , , 18%.
... : , ... : B, ... 18%: .
: ,
, 18%.
: ((()^())()).
2.
... : , ... : , ... -
: .
: ,
, .
: ((() ())()).
3. 4 -
.
... : , ... 4: , ... -
: .
: ,
4, .
: ((()^())()).
4. , , .
... : , ... : , ... : .
: :
, , -
.
: (()^() ())).
5.
... : .
: :
.
: ()
6. .
: ()
7. .
... : , ... : .

134

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 134 25/4/2013 11:53:08


3:

: : -
.
: (()^()) ()^ ().
8. .
: :
-
.
: (() ()) () ().
9. .
: : .
: (() ())
10. .
: (() ().
11. .
: :
.
: (()^())
12. .
:
.
: ()^ ()
( -
-
) -
. ^
.
.


1. :
i. .
.
.
ii. .
.
, .

135

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 135 25/4/2013 11:53:08


3:

10. *
,

.


; ; ;
; ; ; -
-
.
. ,
() -
.

: (1) (() ()), (2)
(,), (3) (,), (4) (() ()), (5) (), (6)
(),
, B, -
, , ,.
.

136

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 136 3/19/14 4:36 PM


3:

II
,
, , , , 0,1,2,3,4,5,6,7,8,9.
, , ,

. ,

. , ,

, ,
,
.
, , ,


.
... . ... .
... . ... .
... . ... .
... .. ...
....
2 4.
.
(1) (1)
. (2)
. (2)
. (3)
. (3)
. (4)
(4) . (5) 2
. (5) (6) 4 .
(6)
.

137

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 137 3/19/14 4:37 PM


3:

(1) -
. (2)
. (3) ,
. ( ;)

.
:
1. ( ), -


2.
() -
-

() -
.

6

, .
, , ,
, .
:
() , ,
()
()
()
() ,
.

138

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 138 3/19/14 4:37 PM


3:

,
.
( -
) -

.

-
.
-

.
-
.
-
.

. ,
-
. ,

. -

.
.

-

.

139

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 139 3/19/14 4:37 PM


22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 140 25/4/2013 11:53:08
4

1.

1.1.
-
. ,
, -
,
,

.


.
, -
:
; , .
, -

. -
,
.
-
. ,
, , -
, .
- , - -

141

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 141 25/4/2013 11:53:08


4:

-
. -
, .
-
.
. ,
-
,
. -
,
.

, .

, -
. , -
, -
, ,
.
.
,
. -
, ,
-
.
-
-
. -
,

. ,
. -
.
, -

.

142

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 142 25/4/2013 11:53:08


4:

1.2.


.
-
. -
,
.

.
-
-

.
-
-
-
.
-
-
, -

.
-
- -
- -
.

143

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 143 25/4/2013 11:53:08


4:

2. : -

2.1.

, . -

. -
, -
. -
:

.

. :
. ,
.
, -
. ,
, , -
. -
, -

. -
-
. , -
,

.
-
, -
. -
,
.

144

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 144 25/4/2013 11:53:08


4:

1

.

.
. ; Lowenheim
. .
. .
. .
. .
. .

2

:
.
.
. ,
.
. .
.
;

2.2.

.
-
.

. .

. , -
,

. -
-

145

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 145 25/4/2013 11:53:08


4:

.
. -

.

. :
.
.
.
[] [] -
, -
-
.
[], -
[].
[], -
[].
-

. , -
, -
. ,
, -
.
, -
, -

.
: ,
, () , , . ,
, , . -
. ,
,
.
,
, -
-

146

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 146 25/4/2013 11:53:08


4:

.

.
:
.
.
.

.
-
. ,
-
. -
. -
:
.
.
, .

.
:
.
.
, .
,
;
,
. ,
, - -
- . -
. -
,
, .

147

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 147 25/4/2013 11:53:08


4:

3
()
, , ()
.
.
.
.
.
.

.
.
,
.
.

.
.

,
.

. ,

.
.
.

.

.

148

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 148 25/4/2013 11:53:08


4:

4

.

.
.
1. : .
()
.
()
.
()
.
2. :
.
()
.
() .
()
.
3. : .
()
.
() .
()
.
4. : ,

.
()
.
() ,
.
()
,
.

149

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 149 25/4/2013 11:53:09


4:

2.3

.
( ) ,
. -
.

. ,

.
. -
-
. -
. :
() , .
() , .

.
. -
( ,
)
. ( )
-
(). :
()

()
()

5

; .
. , .
. .
. , .
. .

150

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 150 25/4/2013 11:53:09


4:

3.
- -
- - -
. -
.

3.1.
-
. , -
,
.
, -
.
, -
, .
:
. -
. ()
. . ()
. ()
. -
. ().
. ().
-
,,, .
,
,
. -
. B
, -
. B
. -
.
,
.
,

151

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 151 25/4/2013 11:53:09


4:

, -
.
-
.
,
Hilbert .

1

.
. .
.
.
.
.

7

, .
:
) , .
) , .
:
) , .
) .
, :
) , .
) .

1)
2) ,
.

152

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 152 25/4/2013 11:53:09


4:

3.2

-
. -
-
.
:
. -
. ()
.
. ()
.
. ()
.
. ().
B -

.
-
.
-
. , -
-

. , -
, -
,
:
.

2

,
.

153

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 153 25/4/2013 11:53:09


4:

3.3
,
,
. , -
-
. ,
-

.
-
. -

. :
. -
. ().
.
. ()
.
. ()
. . ()
.
. ()
. ,
. ()
.

. ()
,
. , -
. -
-
, .
. -
, ,

:

154

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 154 25/4/2013 11:53:09


4:

B + ++
______
I > <_______I


-
,
.

3.4.
( )

. , -

-
.
-
.
:
, -
, . ,
,
-
. -
-
. ,
.
[] :

. -
: -
,
[], -
-
[].

155

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 155 25/4/2013 11:53:09


4:

:
, ,
[].
:

-
, :

+

+ +

+ + +

156

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 156 25/4/2013 11:53:09


4:

3
,
,
.
.
.
. ,
,
.
.
.
.

.
.

.
.

.

,

. ,

4.

4.1.


, ,
-
. -
;
, -

157

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 157 25/4/2013 11:53:09


4:

.
:

. , ,
.
Godel :
, -
. -

.
.
-
,
. -
,

-
. , -
. , -

,
. -

.
-

. -
.
, -
, ,

. -
. -
, -
.
, -
.

158

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 158 25/4/2013 11:53:09


4:

, .
, -
, . -
. -
,
( -

) .
: -
.
. -
. .
. , -
.
, -

. : -
500 10.000 ,
-
, , -
, 70%
. . , .
.
, -
, -

.

1
,
:
()
.
() . .
() .

159

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 159 25/4/2013 11:53:09


4:

4.2.


.
:
-
.

.
,
.
-
. -
( , ).
-
( , ).
-

. ,

. :

.
:
.
( -
).
.
, -
( )
. -
:
() .
(
).
, .

160

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 160 25/4/2013 11:53:09


4:

,

.

2
,
:
() -
() -
() -
() -

4.3
-
. -
;,
-
.
,

. , -
.
-
.
( ).
-
(
-
) .
, , -
, ( -
...) (-
). ,
,

161

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 161 25/4/2013 11:53:09


4:

.
-
. -
-
. ,
.
,
,
.
-
, .
:

.
.

. -
. , ,
-
. -

-
. , -
-
: -
.
-
.

.
.
. , -
-

. , -

, -

162

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 162 25/4/2013 11:53:09


4:

, . ,
, ,
, ,
,
.
, -
.

.

3
,

.
.
() .
()
.
() .

4.4

.
,
-

. -
, -
, -
,
. -
():


163

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 163 25/4/2013 11:53:09


4:

-
, -
. , -
(
) ,
.
, -
-
. -
- .
,
.
-
. -
:




(Modus Ponens, Modus
Tollens, , ,
.). -
,
Modus Ponens Modus Tollens:
Modus Ponens
( )
,
()
()

-
, .
-
.
.

164

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 164 25/4/2013 11:53:09


4:

Modus Tollens
( )
,
()
()

, .
.
.
(, modus ponens,
modus tollens, .) -
. -
:


, . , .
. .
. .

. .
. .
. .

, -
-
. , -
, .

. , ,
, , , .

. -
, , ( -
),
-

165

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 165 25/4/2013 11:53:09


4:


.
-
.
. , ,
Quine ,
. ,
- -
, , ,
-
-
. , -

.

4
;
,
.
() , .
. ,
.
() , .
. .
() , . .
.
() , . . .
() .
. .
) .
. ,
.
() .
. , .
() .
. , .

166

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 166 25/4/2013 11:53:09


4:

5.
.
-
-
.
.
.
,
.
,
-
.
-

. -
:
() ,
() .
-
, , , -
.

5.1.

! ,
-
;. ; ,

.
.
, ,
, -
.
.
. , -
-
( , .)

167

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 167 25/4/2013 11:53:09


4:

, -
.

( , )
. -
-
. ,
.
, -
, .
, -
.
, ,
. -
,
, -
. ,
-

,
.

1


;
() .
() .
() .
() ,
() .

5.2.
-
. , , -

168

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 168 25/4/2013 11:53:09


4:

-
, .
-
, , . -
-
. ;
, ,
, -
. . , -
-
. ,
( -
.),
.

. ..
.. . , -
, -
, -

8


,
,,:
() ,
()
()
() , ,
, .
: .
; , ,
.
;

169

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 169 25/4/2013 11:53:09


4:

. , ,
, .
,
.
. -
, -
.

,
. ,
,
,, . (,
, 1874, III, . 34-40).

2

()
.
() .
() .
() .
() .
() .

170

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 170 25/4/2013 11:53:09


4:

6.


-
.
-
-

.

6.1.

() -
,
; ( ;),
.
() -
.
-
.
.
()
, -
.


.
()
.
.
.

.
() -
, -
-
.
171

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 171 25/4/2013 11:53:10


4:

() . -
;
.
()
. -
, .
, .
() , -
, ,

.
(I) -
.
-
,
.

6.2.
.

.
() -
.
,
. -

-
modus ponens.
: . , :
.
.
.
:
[].
[1], [2]
[3].
-

172

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 172 25/4/2013 11:53:10


4:

. ,
[4]:
. ,
. -
2 3
[5].
1
[6]. 2 4 -

[7].
6+5+7, [8]:
-
.
, ,
.
,
:

1 2+3 2+4

6 + 5 + 7 + 8

1

() .
.
()
.

,
. ,
, ,

.

173

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 173 25/4/2013 11:53:10


4:

()
, .

.
. ,
Cohen ,

.
()
.

.
,
. , ,
.
()
, ,
,
. ,
,

.



.
()
,
:
: ,
, .
,

. , ,
.
, .
.

174

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 174 25/4/2013 11:53:10


4:

()
.
:
.
.
. ,
.
,
, .
.
.
. ,
:
,
.
() ,

( ,
,
.)

, .
, ,
. ,

( ,
.).
.

2
:
() .
.
.
() ,

175

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 175 25/4/2013 11:53:10


4:

.
() .
,
,
,
, .
() ,
. , ,
.
()
.
. ,
.
() .

.
() ,
.

,
. .

.

. , .
.

6.3
-
, , -
. .
:
;. , -
, . -
, , , ;
-
-
176

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 176 25/4/2013 11:53:10


4:

.
, ,

.
. , , -
,
, -
,
. -
, , ,
, ,

.
-
.
, -
, -
, ,
. -
(, , -
, , , , .),
, -
.
,
. , ,
,
, , . , -

. -
,
.
-
.
-

-
.

177

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 177 25/4/2013 11:53:10


4:

.
; -
-
; ;

.
-
.

.

-
.

3

: ()
. ()
. ()
.

4

:
()
. ()
.

5

,
.

178

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 178 25/4/2013 11:53:10



/

1
1. i , ii
, iii
, iv , v
, i vii
.
2. ,
. .
3.
.

.
.
4.
.
.
5. .

2
1.
( ), ii. ... ....
iii. ... ..., iv. ... ..., v. ... ...,
vi. ... ....
2. i.

179

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 179 25/4/2013 11:53:10


:

...
. ii.
... ....

4
1. .
... ....
2. .
3.
. .

5
1.
. .
2. .
3. iv .
4.
. .

6
1. . i.
.
ii.
.

7
1. .
2.
. .
3.
. .
4. .

8
1.
. .
2. .
180

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 180 25/4/2013 11:53:10


:

9
1. i. ii. iii. iv. v. vi. vii.
viii. .
2. ,
.
, .. , , , .

10
2. i. ii. iii. .

11
2. i. ^ ii. iii. ( : , :
P). iv. v. vi, vii .

.

12
1. i. (( ))^() ii. ( ^) iii. ^.

13
2.
,
.
3. ,
.

14
1.
i. ii. iii.
()
()
( )

181

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 181 25/4/2013 11:53:10


:

15
1. .
.
2. i. , ,
(^), . ii.
, , , ^, .

2
1. : ... / , : ... , :
... .
: , : . i. () ii. () iii. () iv. ().

3
1. : ... / ..., : ... ... ...,
... ..., : , : ,
: : , : , v: , : i.
(,) ii. (,) iii. (,,) iv. B (,,).

4
1. : ... , i. B() ii. () iii. B() iv. ().

5
1. i. (A()(B()) ii. (()^B()) iii. (()())
iv. (()^()).

6
1. i. (, ) ii. (, ) iii. (, ) iv. (, ).

7
1. i, iii, vi.

8
1. i. (, )^ (, ) ii. (() ())^ ()

182

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 182 25/4/2013 11:53:10


:

iii. ((, )(,)) iv. ( (()^()) (()^ ()))


v. (K()^ (()(, ))). vi. (() (()^(, ))).

9
1.
i. ii.
(() ()) (()()^())
(()())) (()E())

(()()) (() ()())

IV

2
1. ,,.
2. : : ... ...
: : ... , ... ,
...
: : , ...
: ...
.
4. .
: : ... .
: ... .
:
4. 1 = , 2 =, 3 = , , 4 = , .
5. = , = , = , = .

3
1.
.
.
2. ,

.

183

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 183 25/4/2013 11:53:10


:



.
3. []
.
, , , ...,
:


) ) )
+ + +

4
1. )
.
)
.
) .
2.
.
3. ) .
) : ,
.
) :
.
4. ) ) . ,
, :
) ,
.
. , .
) , . .
.
) , . .
.
) .
. ,

184

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 184 25/4/2013 11:53:10


:

.
) .
. , .
) .
. , .

5
1. , ,
. ) .
) ,

.
2.
.
.
.
6
1. :
)
.
) 1.
, . 2.

.
)
.
2. ) , )
. )
. )
. )
. ) . ,

. )

.
3.

185

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 185 25/4/2013 11:53:10


:

.

.
.
4.
,
.
5. .

.

1
: !
2+2=5,
, ,
( ,
2+2=5, ).

2
: : , , , , , .
: p1, p2
, 3, 4
B, ..., p11, p12 .
p1-p12
, .
p1-p12, , p7, p12,
.
B ; ,
, p3, p4 ,
, ! B .
.
; .

p1, p2, B

186

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 186 25/4/2013 11:53:10


:

. B
,
p3, p4 . p3 ,
p2 , p4.
p4, .
.
.
. p9, p10,
. , p3, p4 p7,
p8, .
, .
,
(
), .
.

3
p1,... p20
, .., ,
p1-p4, p5-p8, p9-p12, p13-p16 , p17-p20
,
, ,
.

,
.
P13-P16
; , P13, 16 .
p9-p12 ;
, p12 p17-p20
, , ,
.
:
) p1-p4
) p5-p8
) p17-p20 .

187

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 187 25/4/2013 11:53:10


:

.
, :
p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20


A A A A A ; ; ; ;



, .

. :

p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20


; ; A ; ;

,
.
,
. (
, , ).
4
: p1,..., p9
( ) , .

,
.
p1-p3 , p4, p6, p8
, ,
, .
p7-p9 , p2 ,
(
).
p4-p6 ,

188

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 188 25/4/2013 11:53:11


:

p1-p3
p7-p9 .

5
: ),
. ) /

. /
.
:
, / .
.
,
. . .
.
, .
. .
, )
. .
6
: p1, ,
p2 , p3
p4, p5, p6
, p7, p8, p9
p10, p11, p12 .

p1-p3, p4-p6,p7-p9,p10-p12
(
). ) :
p1, p4, p7, p10 ,
p2, p5, p8, p11
p3, p6, p9, p12 .
) p1-p3,
p4-p6, p7-p9
p10-p12 .
) p1-p3
p4-p6.
189

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 189 25/4/2013 11:53:11


:

) p4, p7
.
, ) p7, p10 .
p1, ...,
p12. ), ) p1 p4, p7 . ,
), p10 . ),
p11, p12 ,
:
1) p11 , p12 2) p11 , p12 3) p11, p12

( ),
.
p11 p12 . ),
p2, p5, p8, p11 ) p2, p5
. p2, p5 ,
, ( ) p11, .
p2, p5 , p8 .
,
,
.

7
: p1
, p2
p3 ,
p4 , p5
, p6
, p7 p8
.
, :
) (p1)(p2) ) (p4)(p5) ) (p7)(p8)
) p1p3 ) p4p6 ) p7p8

p1 . , ) p3
. , 2), p2 .
, p4 p7
. ), ) p5, p8

190

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 190 25/4/2013 11:53:11


:

, 2) (
).
.
.
.

8
: p1, p2, p3
, , .
,
) p1^(p2)p3
) p3(p1 p2)
) p1(p3), p3(p1)
) p1 p2 p3 .
), p1 p2 p3 .
p2 , .
, p1 .
p2, p3
p1^(p2)p3 . )
, p3 , p2 ,
.
, , p3, .
, ) p1 .
, ), p1 p2 , p2
, .
.

191

22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 191 25/4/2013 11:53:11


22_0139_LOGIKH KAI PRAKTIKH_NEW.indd 192 2/26/14 2:07 PM