Scribd Logo
Upload

Welcome to Scribd!

  • Μάθημα 2

    Uploaded by

    PforPatenta
    6 views3 pages
    Μαθήματα τυπικης λογικής

    Copyright

    © © All Rights Reserved

    Available Formats

    DOC, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Μαθήματα τυπικης λογικής

    Copyright:

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

    Μάθημα 2

    Uploaded by

    PforPatenta
    Μαθήματα τυπικης λογικής

    Copyright:

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

    2

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

    .
    :
    (.. ). ,
    : (T)
    (F).
    (. ).
    :
    , ,
    . (..
    ).
    (truth - functional)
    :
    .
    ,
    (truth - functional logic).
    :


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

    :
    :

    :
    :
    : , ,
    ,


    (p, q, r, s)
    (p1, p2, p3, p4).
    :

    .

    , .
    (6)
    (. ).
    :
    .
    1. p, q, r, s, p1, p2, p3, p4, .
    . ( ).
    2. ,

    ()

    ( ).

    ()

    3. , , , ()

    ( ).
    4. , , , ()

    ()

    ( ).
    5. , , , ()

    ()

    ( ).
    6. , , , ()

    ()

    ( ).

    You might also like