Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)

4,300 views

Published on

.

Published in: Education
  • Be the first to comment

ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)

  1. 1. 20 3: 3.5: ! ! ! " # $ ! % & # ! ! & ' ( $ # ! !) & ' ( % *+ ! ! & ' ( , & ' - * # *( . . ! " !#!$% & ' ( %$ ) $ ! " !#!$% * (-) !#!$% (-) B. +$' # 1. 1. , ( ' ' ! -. " $ 4 " / . $ 0.$ % % ) $ 0 . ($ . ... 1 ( ! ( %$# $# / " : 1. ! (% ! $ ! ) ! $# $ !$# ( ( % ! : #( ) . • ... ! $# ( % ! $ • 1 . ( ! $ " " $ 02 " $ ! " ($ // " ! " ! " $# ( % . • . . /0 $ % ! $# ( % ( # $ 0 $# / , $ // $# / 0 $# $"% $ // $# $"% . 2. $# / 0 " ! ! • 3!' % $ ( $! $ 0 / 0 " ! $# ( % " / # (
  2. 2. B. +$' # 1. 2. / $# / " : " ! ! ' " 0. " $ : x,y: $# $ 4/ 0 ),2: $# ! ( # #) / " # $%& ' ( & & )*+ & )*+ , -- & )* . ! * + & & )*+ B. +$' # 1. 3. ( / 3/ ! ( / (. " ( / . ! )0 " $ ! ! " $#. $ %$ ( 2.3 ! " . ( ! $ $ 02 " $ / (" %0( " ! # ( % $ ! ( ($ . + ) $# . ( ( $& ' ! ( %$ ) $ ! ": * $ &# )0& % 1 & # # 2$ &* +& 3 ' & & 2$ &* +& 3 & &# *$ % 4 2$ &* +& 3 56 789:;< 2$ &* +& 3 & & B. +$' # 2. ( %$ ) 1. ( = ( : - ! ) /0 $ $# ($ ! ( %$ ) 0.$ ) : 3! " : $# ! ( %$# $ , % / % : $# $ 4/ 0 $# . ! (%$ 0.$ ! ( %$# $ ) $ !/ / 0 ! $# ($ ! ( %$ ) , ( . " ! " $ ) #5 ! ( %$# $ ! " %$( $ " / "! / ! ! . %$# : ! ' ! $# ($ ! ( %$ ) : • • • B. +$' # 2. ( %$ ) 2. 6 ( ( %$ ) > • $/$ $ ( ! %$ ! ! " ! ' ! " $# ($ ! ( %$ ) : • ! • # ($ ( %$ ) . • $ 0.$ ( (# ! " 0. " $ $/$ $ $ $ 4/ 0 . 0!$ !/ ! ( %$# $ $# ! ( , %$( $ " / ! . • ! • $ $# ($ ( %$ ) • ! ( %$# $ %$ $ ) #5 ( $ ( ! . • ! • $ $# ($ ( %$ ) • (. $ $ !$ $ 40/$ $ ! ( %$# ! " %$ #5$ $ ! $ 0($ , $ $# $ 0. ! 6 % $/ ( %$( ! " (" . 1 ! $ $ ! # ( ! " "! $# $# / " : ! • • $ $# ($ ( %$ ) . • $ 40/$ ' ! ( %$ 6 $# ' $& :
  3. 3. B. +$' # 2. ( %$ ) 3. $( ( %$ ) ? • $ ! " $) 5 " $ $ $( ! ( %$ ) : + 7 : • $ ! $# " / ( % $ 0 ! ($ ! ( %$ ) ! "#$%&%'%()* • 3 5 $# ! ( %$ ) $ ! " $) 5 " $ " ! ( / : • )0 " $ " ! ( %$# $ ! ( • %$( $ " / ! • ! 4/ $ !#5$ ! ( %$# $ $# ( 0( " ! ". 1. 0. " $ ! ( %$# $ $ #% $ 4/ , ! 0!$ " $ $ (# ( , 6( $ "! .$ % ) ($ $ ! ( %$# . % % (# " /0 $ « /) 4 ! // » « $ (# ($ "! ! » 2. -!$ $ 0! " $ / ( 4 / ($ (" $! ' 0 ( $ " " ! ( / ) 0!$ $ )0 " $ " ! ( %$# $ ( . " ! " $ " " $ # ( , ( ! ( %$# . B. +$' # 2. ( %$ ) 4. %$# $( ( %$ ) ' 1: 4 $ $# ! ( %$# ) " ! " ! *+!,-./01 !!!!! ! ( ) 5' $ # ( ! ( %$# ) 2 ! ( ) 5' $ # ( ! ( %$# ) 2 3+!,-./01 !!!!! ! ! ( ) 5' $ # ( ! ( %$# ) 2 ( ) 5' $ # ( ! ( %$# ) 2 : ! ( %$ ) $ ! " $# % . "! . 0'( $# 4 $ # ! ( %$ ) ! " ! ! $ $ ('( $) ' / . !#( ($ ' 4 ' %$ 0.$ ( (# . ! /0 " $ 0 ! ( %$# " $ % % . 0 $) 0 ' 0. 4 / " $ %$( $ $ / ! . B. +$' # 2. ( %$ ) 4. %$# $( ( %$ ) '' 2: 4 $ $# ! ( %$# ) " ! " 4 5 !!!!!4 5 ( ) 5' % !/ ( ) 2 4 5 ( ) 5' 1 ( ( ) 2 4 5 ( ) 5' $ # ( ! ( %$# ) 2 4 5 ( ) 5' $ # ( ! ( %$# ) 3: 4 $ $# ! ( %$# ) " ! " 4 !!!!! 4 ( /) 4 // ) 2 4 ( ) 5' % !/ ( ) 2 4 ( ) 5' 1 ( ( ) 2 4 ( ) 5' $ # ( ! ( %$# ) 2 4 ( ) 5' ( ! ( %$# ) 2 4 ( ) 5' $ # ( ! ( %$# ) 2 4 B. +$' # 2. ( %$ ) 4. %$# $( ( %$ ) ' 4: 4 $ $# ! ( %$# ) " ! " 4 4 ( ) 5' 2 ( ( ) 2 4 4 ( /) 4 // ) 2 4 4 ] ( ) 5' $ # ( ! ( %$# ) 2 4 4 ] ( ) 5' $ # ( ! ( %$# ) 2 4 4 ] ( ) 5' % !/ ( ) 2 4 4 ] ( ) 5' ( (" $! ' ) 2 4 4 8 ( ) 5' $ # ( ! ( %$# ) 2 ! 4 4 8 ( ) 5' ( ! ( %$# ) 2 ! 4 4 8 ( ) 5' ( ! ( %$# ) 2 ! 4 4 8 ( ) 5' $ # ( ! ( %$# ) 2 ! 4 4 8 ( ) 5' ( ! ( %$# ) 2 ! 4 4 8
  4. 4. . ( ($ ' ($ 1 ' $ ! ! ' ! ($ / $ " ; 1. $ 4/ x $ ) #5$ %$( $" 0 ( ! 2. ! $# ! ( 3. ! $# / ( % 4. ! $# / ( % ( )( , ) ( , ) ( , )x z P x y Q x y yP x y∀ ∀ ∨ ∨ ∃ ( )( , ) ( , ) ( , )x y P x y Q x y xQ x x∃ ∃ ∧ ¬ → ∀ ( )( , ) ( , )x P x x Q x x∃ ∧ ( , ) ( , )xP x x xQ x x∃ ∧∃ ( )( , ) ( , )x P x y Q x y∃ → ( , ) ( , )xP x y Q x y∀ → . ( ($ ) 1 '! * $# $ ! ( %$ ) ' !' : 67 87 97 ! . ( ($ ) 2 ' * $# $ ! ( %$ ) ' !' : 67 87 9 . ( ($ ) 3 '/ , ( ! 6 " " ! ( / " " ' ! ( %$ 6 %$#&$ $ x %$ $ ) #5$ $/$ $ ( 2 $: 2 9
  5. 5. . ( ($ ) 4 '= # $ ! ( = ∀x (P(x) → ∃y P(y)). 4 $ $# ! ( / ( % $ ( 0 ( 6( $ ( 4 / ( ( ¬ ) $) 5$ ( ( 4 / P. . ( ($ ) 5 '> 6( $ ! ( %$ ) " ! " ( ) [ ( , ) ( , )]xP x y Q x y z R y z∀ → ∀ → ¬∀

×