ΠΛΗ20 ΜΑΘΗΜΑ 2.3

download ΠΛΗ20 ΜΑΘΗΜΑ 2.3

of 22

  • date post

    16-Dec-2015
  • Category

    Documents

  • view

    6
  • download

    0

Embed Size (px)

description

1) Νόμοι Προτασιακής Λογικής1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.2) Επαγωγή στην Πολυπλοκότητα των Τύπων2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς2.3) Πλήρη Σύνολα ΣυνδέσμωνΑσκήσεις

Transcript of ΠΛΗ20 ΜΑΘΗΜΑ 2.3

  • 20 2:

    2.3:

  • .

    .

    1.

    1. .

    2.

    1.

    2 , 20, 2.3:

    2. vs

    3.

    .

    1.

    2.

    3.

  • .

    3 , 20, 2.3:

    (-)

  • B. 1.

    4 , 20, 2.3:

  • B. 1.

    5 , 20, 2.3:

    :

    1

    2

    3

    4

    5

    6 De Morgan

    7

    8

    9 1

    10 2

    11

  • B. 1. 1.

    6 , 20, 2.3:

    :

    .

    :

    1

    De Morgan

    2

  • B. 1. 1.

    7 , 20, 2.3:

    )()( 2121 pppp )()( 2121 pppp

    )()( 2121 pppp

    )()( 2121 pppp

    )()( 2121 pppp

    )()( 2121 pppp

    )()( 2121 pppp 2121

    )()( 2121 pppp

    )()( 2121 pppp

    )()( 2121 pppp

    )()( 2121 pppp

    )()( 2121 pppp

  • B. 1. 1.

    8 , 20, 2.3:

    )()( 2121 pppp

    ( )( )

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

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

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

    )()(

    211221

    211221

    211221

    211221

    211221

    2121

    pppppppppppp

    pppppppppppp

    pppppppppp

  • ,

    () : :

    B. 2. 1.

    9 , 20, 2.3:

  • B. 2. 1.

    10 , 20, 2.3:

  • B. 2. 1.

    11 , 20, 2.3:

  • B. 2. 2. vs

    12 , 20, 2.3:

  • B. 2. 3.

    13 , 20, 2.3:

    : ( ( ) .

  • B. 2. 3.

    14 , 20, 2.3:

    :

  • B. 2. 3.

    15 , 20, 2.3:

    .

  • . 1

    16 , 20, 2.3:

  • . 2

    17 , 20, 2.3:

  • . 1

    18 , 20, 2.3:

  • . 1

    19 , 20, 2.3:

    m() n() .

    : m()=n()+1.

  • . 2

    20 , 20, 2.3:

  • . 3

    21 , 20, 2.3:

  • . 4

    22 , 20, 2.3: