Scribd Logo
Upload

Welcome to Scribd!

  • 16 views

    ΠΛΗ20 ΜΑΘΗΜΑ 2.3

    Uploaded by

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

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    ΠΛΗ20 ΜΑΘΗΜΑ 2.3

    Uploaded by

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

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

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

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    16 views22 pages

    ΠΛΗ20 ΜΑΘΗΜΑ 2.3

    Uploaded by

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

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 22

    20

    2:
    2.3:

    , 20, 2.3:

    .
    .
    1.
    1.

    2.
    1.
    2. vs
    3.

    .
    1.
    2.
    3.

    , 20, 2.3:





    (-)

    , 20, 2.3:

    B.
    1.

    , 20, 2.3:

    B.
    1.

    1

    De Morgan

    10

    11

    , 20, 2.3:

    B.
    1.
    1.
    :

    .
    :

    De Morgan
    2

    , 20, 2.3:

    B.
    1.
    1.

    ( p1 p2 ) ( p1 p2 )

    ( p1 p2 ) ( p1 p2 )
    ( p1 p2 ) ( p1 p2 )

    ( p1 p2 ) ( p1 p2 )
    ( p1 p2 ) ( p1 p2 )
    ( p1 p2 ) ( p1 p2 )
    ( p1 p2 ) (p1 p2 )

    ( p1 p2 ) ( p1 p2 )
    (p1 p2 ) ( p1 p2 )
    (p1 p2 ) ( p1 p2 )
    (p1 p2 ) ( p1 p2 )
    (p1 p2 ) ( p1 p2 )

    , 20, 2.3:

    B.
    1.
    1.
    ( p1 p2 ) ( p1 p2 )

    ( p1 p2 ) ( p1 p2 )

    (( p1 p2 ) ( p2 p1 ) ) ( p1 p2 )

    (( p1 p2 ) ( p2 p1 ) ) ( p1 p2 )

    (( p1 p2 ) ( p2 p1 ) ) ( p1 p2 )

    (( p1 p2 ) ( p2 p1 ) ) (p1 p2 )
    (( p1 p2 ) ( p2 p1 ) ) (p1 p2 )

    , 20, 2.3:

    B.
    2.
    1.
    ,
    () :
    :

    , 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:

    19

    .
    1
    m() n()
    .
    : m()=n()+1.

    , 20, 2.3:

    .
    2

    20

    , 20, 2.3:

    .
    3

    21

    , 20, 2.3:

    .
    4

    22

    You might also like