ΠΛΗ20 ΜΑΘΗΜΑ 3.6...

Click here to load reader

  • date post

    17-Jan-2017
  • Category

    Education

  • view

    1.360
  • download

    1

Embed Size (px)

Transcript of ΠΛΗ20 ΜΑΘΗΜΑ 3.6...

  • 20

    3:

    3.6:

    !"

    !

    ""##

    $ ""#%#&'

    ( """)"*)

    + ""*)"*)

    , ""*)"*)

    - ""*)"*)

    . ""*)"*)

    / ""*#

    0 ""*#

    $ 1&

    *%

    $ 3*%

    ( 4"2&

    $ 3*%

    + 4"&"2&"

    $ 3*%

    !" !"

    ,5%6%7#2&

    $ 3*%

    -6%"%%

    $ 3*%

    8

    1

    $ 19%)

    . #$% &

    $$'

    (% ) Tarski

    !( ) !$& " (% ) Tarski.

    *& ) !$

    $$' +

    "$( !$

    "$( #!") !$"

    #&"$

    $$'

    (-)

    !" !"

    ,$-&" '! %$ " .(& $%(:

    $% %$ $& ( $!" , ')' /(%

    ) " .(% $".

    &$% %$ " " .0& -( & (! & Tarski.

    1"(& '! (! (!:

    B. 1. (% ) Tarski

    # !" !"

    (%:

    *( " , !$ $( .

    .&

    " !$ )! (" " "

    $( ()2 % " "$ " !$)

    .&

    " !$ '" )! (" "

    " $( ()2 % " '" "$ " !$)

    ' " !$ )! "1 $% " $( )2 %

    " "2) . .& .

    3 %" $%( )! "1 $% " $(, )2 %

    " " "2) .

  • +. 1. (% ) Tarski

    (% ) & Tarski .0 ' !$&:

    $ !" !"

    !" #$%&'!()*&+)

    +,-.$/1.

    2.

    3.

    '" (-! %

    4.

    5.

    6.

    "

    %

    7.

    " %" "

    8.

    !! "#

    9.

    &$- !! "#

    " "%" $& .0 " (%., ')' " 2" !$ 2- " .:

    % ''2" " $( v .%0" " "%" 1 $%(

    .0 (":

    4$& $( & %& $( & %&

    B. 1. (% ) Tarski1. "%" (%

    !" !"

    "%" 1 & (! Tarski:

    ' 1:

    # (!$" " .&(5" 5", " $%( $ % & $((

    % !

    .0 -( & "%" 1 (" $(( 2=1

    ' 2:

    # (!$" " .&(5" 5", " $%( ' % &, " "

    " (&"(5" (&/%)" f(x,y): ( % ) % g(x,y): * % + %

    $((

    (* % * %!

    .0 -( & "%" 1 (" $(( 11=6

    " "%" $& .0 2"" % !$ $& $) $% 2" %

    (!/), ')' " 2" !$ 2- " .:

    % ''2" " $( v .%0" " "%" 1 $%(

    .0 (":

    4$& , $( & %& , - $ . " " &

    P ( )) )% % '2" n-' " $( " ("

    " (" (-2( $& .0 $% % (!/)).

    2( " . & "%" 2 .0& $2 " $$" $%(

    :

    )2

    )' % % (&2" ( " )2

    B. 1. (% ) Tarski2. "%" & ! (&/%)&

    % !" !"

    "%" 2 & (! Tarski:

    .

    B. 1. (% ) Tarski2. "%" & ! (&/%)&

    & !" !"

    ' . & "%" 2:

    # (!$" " .&(5" 5", " $%( $ % & " "

    & / %: / % " )! " 0 / 1! $((

    / % !

    .0 -( & "%" 1 (" $((

    &$ /

    $2 (" ($" ."& ( 2 $$' %" "!&

    % (!/)):

    / &$ )2

    $2" (" %: 2

  • " "%" $& .0 2"" % !$ $& 2- " . "( "%

    !$&, ')' " 2" !$ 2- " .:

    % ''2" " $( v .%0" " "%" 3 $%(

    .0 (":

    '"6(-!6%6

    (&"-0& " .( $)2" ))) "%" " !$ .

    B. 1. (% ) Tarski3. "%" & "2(& (&"'2(&

    ' !" !"

    "%" 3 & (! Tarski:

    '" (-! %

    ':

    # (!$" " .&(5" 5", " $%( $ % & " .(

    $(( % ! -( & (! & Tarski:

    !(: .%0 " (% Tarski:

    !! % ! (.%0 "%" 3)

    567!89:;68! % ! (.%0 "%" 1)

    567!89:;68!!& $

    " "%" $& .0 2"" % !$ $& (&"'2 '! !$& " )%

    (!"'( , ')' " 2" !$ 2- " .:

    % ''2" " $( v .%0" " "%" 4 $%(

    .0 (":

    66

    (&"-0& " .( $)2" )))& "%" & !$& . 7

    B. 1. (% ) Tarski4. "%" & '2(& (&"'2(&

    ( !" !"

    "%" 4 & (! Tarski:

    ':

    # (!$" " .&(5", " " & 2 %: 2 % " )!

    " 0 ' $% y " " ( 3 !3 $ < != ' -(

    & (! & Tarski " .( " $%(: 2= 3 3 =

    !(: .%0 " (% Tarski:

    !! 2= 3 3 = (.%0 "%" 4)

    2= 3! !>8! 3 = (.%0 "%" 2 1)

    '$ ?!>8!$ '

    ? '$ [email protected]!>8!$ '

    '!EFGFHIFJGF!GKL!JM!$!>8!$ '

    " "%" $& .0 2"" % !$ $& (&"'2 '! !$& " )%

    (!"'( 8, ')' " 2" !$ 2- " .:

    % ''2" " $( v .%0" " "%" 5 $%(

    .0 (":

    66

    (&"-0& " .( $)2" )))& "%" & !$& . 7

    B. 1. (% ) Tarski5. "%" & '2(& (&"'2(&

    (( !" !"

    "%" 5 & (! Tarski:

    ':

    # (!$" " .&(5", " " & : " )! " 0

    " $5 " " ( 3 !3 & -( & (! & Tarski "

    "!( " $%(: NO 3

    !(: .%0 " (% Tarski:

    !! NO 3 (.%0 "%" 5)

    N O !P! 3 (.%0 "%" 2 3)

    & N!P!567!89:;68! 3 (.%0 "%" 2)

    N & [email protected]!P!567!89:;68! & N!

    JM!&!IFQGF!KHRJMS!P!567!89:;68!LT8!TU!&!6V78!WXRTUD

    " "%" $& .0 2"" % !$ $& (&"'2 '! !$& " )%

    (!"'( , ')' " 2" !$ 2- " .:

    % ''2" " $( v .%0" " "%" 6 $%(

    .0 (":

    "6

    6%66

    (&"-0& " .( $)2" )))& "%" & !$& . 7

    B. 1. (% ) Tarski6. "%" & '2(& (&"'2(&

    ( !" !"

    "%" 6 & (! Tarski:

    "

    %

    ':

    # (!$" " .&(5", " $( /) $ " "

    (&"( f(x): ( ) & " " ( 3 !3 & -( &

    (! & Tarski " "!( " $%(: 3 (3 ((

    !(: .%0 " (% Tarski:

    !! 3 (3 (( (.%0 "%" 6)

    7!! 3 !TLT6! (3 (( (.%0 "%" 3 1)

    7!!567!89:;68!! 3 !TLT6!YZ (.%0 "%" 1)

    7!!567!89:;68!!& $!TLT6!YZ

  • " "%" $& .0 2"" % !$ $& (&"'2 '! !$& " )%

    (!"'(, ')' " 2" !$ 2- " .:

    % ''2" " $( v .%0" " "%" 7 $%(

    .0 (":

    6"66%"6"6

    (&"-0& " .( $)2" )))& "%" & !$& . 7

    B. 1. (% ) Tarski7. "%" & '2(& (&"'2(&

    ( !" !"

    "%" 7 & (! Tarski:

    " %" "

    ':

    # (!$" " .&(5", " $( /) $ " "

    (&"( f(x): ( ) & " " ( 3 !3 & -( &

    (! & Tarski " "!( " $%(: 3 (3 ((

    !(: .%0 " (% Tarski:

    !! 3 (3 (( (.%0 "%" 7)

    ! 3 !7!>8![L7U!7! (3 (( (.%0 "%" 3 1)

    !567!89:;68!! 3 7!>8![L7U!7 YZ (.%0 "%" 1)

    567!89:;68!!& $!7!>8![L7U!7!YZ

    " "%" $& .0 2"" % !$ $& 2- . , ')' "

    2" !$ 2- " .:

    !

    % ''2" " $( v .%0" " "%" 8 $%(

    .0 (":

    66 "" ! "#

    %$& $(( "# '/0 $( /) x " $&

    (" % %" "& " $( /) x " "((&

    .

    (&"-0& " .( $)2" ))) "%" " !$ ..

    B. 1. (% ) Tarski8. "%" & $('

    (# !" !"

    "%" 8 & (! Tarski:

    "" ! "#

    ':

    # (!$" " .&(5", " " & N %: N % " )! "

    0 /y -( & (! & Tarski " "!( " $%(: N 0 0 !

    !(: .%0 " (% Tarski:

    !! N 0 0 (.%0 "%" 8)

    \8!>]B6! # (.%0 "%" 2)

    \8!>]B6! ! # # \8!>]B6! ! # # !G^_`IS \8!>]B6! /

    " "%" $& .0 2"" % !$ $& 2- . , ')' "

    2" !$ 2- " .:

    !

    % ''2" " $( v .%0" " "%" 9 $%(

    .0 (":

    aW]X:68!! "" ! "#

    %$& $(( "# '/0 %$ $" $( x "

    ( % x " )! " . & "%".

    (&"-0& " .( $)2" ))) "%" " !$ ..

    B. 1. (% ) Tarski9. "%" & $('

    ($ !" !"

    "%" 9 & (! Tarski:

    aW]X:68!! "" ! "#

    ':

    # (!$" " .&(5", " " & N %: N % " )! "

    0 by -( & (! & Tarski " "!( " $%(: N 0 0 !

    !(: .%0 " (% Tarski:

    !! N 0 0 (.%0 "%" 8)

    aW]X:68! # (.%0 "%" 2)

    aW]X:68! ! # # aW]X:68! ! # # !G^_`IS aW]X:68! b

    ''( .( "% !$& $ " " '! %$&:

    () " %$ $& ( 5 $!" , ')' 2-"

    (" /( ) " .(% $" & 3.1

    (+) " (% & Tarski

    '! %$ '"&" .( '. $ . ' "%.

    $%.( " 2" !$ " ) 7&' " & %$&

    $& 2-& ( $!" .

    (-! % '" "& . & (! & Tarski " "&

    " .( "% !$& % " # 9 # :;#

    -($! &$ " (% & Tarski " .(& "

    $%(.

    " (( . " /" ( " ." -( "

    (&(& '"'' & !$&, .! ( / !$

    2- (&2" . $% 9 .2.

    )/& " " / $% "5( & .(! $".

    B. 2. !( ) !$&1. ')

    ( !" !"

  • B. 2. (% ) !$&2. '

    (% !" !"

    ' 1:

    # (!$" " .&(5", " " & N %: N % " )! "

    0 / 1 -( & (! & Tarski " "!( " $%(: 1N 0 1 N 1 0 !

    !(: .%0 " (% Tarski:

    !! 1N 0 1 N 1 0 (.%0 "%" 8)

    \8!>]B6! 1N 0 1 N 1 0 # (.%0 "%" 8)

    \8!>]B6! cF!>]B6!d N 0 1 N 1 0 # %"e !!(.%0 "%" 6)

    \8!>]B6! cF!>]B6!d

    7!! N 0 1 # %"e

    TLT6! N 1 0 # %"e (.%0 "%" 2 3)

    \8!>]B6! cF!>]B6!d

    7! # e !TLT6!567!89:;68!! N 1 0 # %"e (.%0 "%" 2)

    \8!>]B6! cF!>]B6!d !7! # e !TLT6!567!89:;68! e G

    \8!>]B6! cF!>]B6!d !7! # e !G^_`6D!TLT6!567!89:;68!! e G !G^_`IS

    \8!>]B6! cF!>]B6!d !7!G / e!TLT6!567!89:;68!!e / G

    & " $."5 ).

    B. 2. (% ) !$&2. '

    (& !" !"

    ' 2:

    # (!$" " .&(5", " " & N %: N % " )! "

    !EFGFHI8T8!WL!TU!1 " " ( 3 !3 & " $( /)

    v(y)=1, -( & (! & Tarski " "!( " $%(: N0 O N0 1

    !(: .%0 " (% Tarski:

    !! N0 O 6N0 1 (.%0 "%" 6)

    f7! N 0 O !JLJI N0 1 ! (.%0 "%" 9 8)

    f7!aW]X:68! ! N 0 O # !

    JLJI \8!>]B6! N0 1 "# (.%0 "%" 2)

    f7!aW]X:68! # &

    JLJI \8!>]B6! # $

    f7!aW]X:68! # & @ABCD!JLJI \8!>]B6! # $ !G^_`IS f7!aW]X:68! !TIJMFM!RgJI!JM!G!QG!EFGFHIFJGF!hI!JM!&

    JLJI \8!>]B6! JM!G!EFGFHIFJ