Scribd Logo
Upload

Welcome to Scribd!

  • 12 views

    Any Question?: Wibisono Sukmo Wardhono, ST

    Uploaded by

    Wibisono Sukmo Wardhono
    The document appears to be notes from a logic class that cover various topics in propositional logic including: - Primitive propositions and their truth values - Logical connectives like negation, conjunction, disjunction, implication, bi-implication - Truth tables for logical connectives - Laws of logic like De Morgan's laws - Logical equivalences between statements The document provides examples and truth tables to explain different concepts in propositional logic.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as ODP, PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Any Question?: Wibisono Sukmo Wardhono, ST

    Uploaded by

    Wibisono Sukmo Wardhono
    12 views41 pages
    The document appears to be notes from a logic class that cover various topics in propositional logic including: - Primitive propositions and their truth values - Logical connectives like negation, conjunction, disjunction, implication, bi-implication - Truth tables for logical connectives - Laws of logic like De Morgan's laws - Logical equivalences between statements The document provides examples and truth tables to explain different concepts in propositional logic.

    Original Description:

    Original Title

    01_MatDis_Logika_Himpunan

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    ODP, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document appears to be notes from a logic class that cover various topics in propositional logic including: - Primitive propositions and their truth values - Logical connectives like negation, conjunction, disjunction, implication, bi-implication - Truth tables for logical connectives - Laws of logic like De Morgan's laws - Logical equivalences between statements The document provides examples and truth tables to explain different concepts in propositional logic.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as ODP, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as odp, pdf, or txt
    12 views41 pages

    Any Question?: Wibisono Sukmo Wardhono, ST

    Uploaded by

    Wibisono Sukmo Wardhono
    The document appears to be notes from a logic class that cover various topics in propositional logic including: - Primitive propositions and their truth values - Logical connectives like negation, conjunction, disjunction, implication, bi-implication - Truth tables for logical connectives - Laws of logic like De Morgan's laws - Logical equivalences between statements The document provides examples and truth tables to explain different concepts in propositional logic.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as ODP, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as odp, pdf, or txt
    of 41

    Anyquestion?

    Wibisono Sukmo Wardhono, ST


    http://wibiwardhono.lecture.ub.ac.id

    1, 3, 5, 7, __, 11 9 (x-a)(x-b)(x-c) ... (x-z)


    (x-d)(x-e)(x-f)
    dsds

    ... (x-x) (x-y)

    0 =

    0 ?

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    It's

    LOGIC
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    cs

    A number that is reduced by itself, being zero ... A number that is multiplied by zero, being zero ... (x-a)(x-b)(x-c)(x-d)...(x-x)(x-y)(x-z)
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    Fact 1 Fact 2

    Fact 1
    Anak gaul menggemari SM*SH

    Fact 2
    Morgan adalah anak gaul

    Morgan menggemari SM*SH


    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    Statement (Proposition)
    Sumber: http://biomed.uaa.alaska.edu/personal_statement.html

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    Sentence Meaningful Declarative Meaningless Not Declarative

    Valuable

    TRUE FALSE
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    1. Rumput bersepeda aku meaningless 2. Siapa namamu? Question Not declarative 3. Australia beribukota SidneyDeclarative - false 4. Semoga kamu baik-baik saja expectation Not declarative 5. Ambilkan sepatu itu! Instruction Not declarative 6. Rumput adalah tumbuhan Declarative - true 7. 3 memakan Surabayameaningless 8. Betapa nyamannya Kota Malang!
    Opinion Not declarative

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    Notasion of Proposition p, q, r ... etc Notasion of Values

    1&0

    TRUE FALSE
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    PRIMITIVEPROPOSITION
    p : Australia beribukota Sidney

    p bernilai 0 (FALSE)
    q : Rumput adalah tumbuhan

    q bernilai 1 (TRUE)
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    PRIMITIVEPROPOSITION c o n n e c t i v e COMPOUNDPROPOSITION

    Sumber: http://webanalysis.blogspot.com/2010/06/compound-metrics-in-web-analytics.html

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    NEGATION ()
    q : Rumput adalah tumbuhan q : Rumput bukan tumbuhan

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    TRUTHTABLE q q 0 1 1 0
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    CONJUCTION ()
    p : Australia beribukota Sidney q : Rumput adalah tumbuhan

    p q bernilai 0 (FALSE)
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    TRUTHTABLE p q pq 0 0 0 1 0 0 0 1 0 1 1 1
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    DISJUCTION (V)
    p : Australia beribukota Sidney q : Rumput adalah tumbuhan

    p V q bernilai 0 (TRUE)
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    TRUTHTABLE p q pVq 0 0 0 1 0 1 0 1 1 1 1 1
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    Exlcusive DISJUCTION ()
    p : Presiden adalah lelaki q : Presiden adalah perempuan

    p q bernilai 0 (FALSE)
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    TRUTHTABLE p q pq 0 0 0 1 0 1 0 1 1 1 1 0
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    IMPLICATION ()
    p : IP-mu di atas 3,5 q : Kamu dapat sepeda motor

    p q
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    Jika p maka q

    Bilamana p terjadi maka q juga terjadi Tidak mungkin peristiwa p terjadi, tetapi peristiwa q tidak terjadi. p disebut hipotesa (anteseden) q disebut konklusi (konsekuen).

    pq

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    pq
    Jika p maka q p berimplikasi q p hanya jika q q jika p

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    TRUTHTABLE p q pq 0 0 1 1 0 0 0 1 1 1 1 1
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    BIIMPLICATION ()
    p : IP-mu di atas 3,5 q : Kamu dapat sepeda motor

    pq
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    Hanya jika p maka q


    q terjadi jika dan hanya jika p juga terjadi

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    TRUTHTABLE p q pq 0 0 1 1 0 0 0 1 0 1 1 1
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    1. (a) p q (b) p q 2. (a) p q (b) p q


    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    p 0 1 0 1

    TRUTHTABLE p q pq p q 1 0 1 1 0 0 0 0 1 1 1 1 0 1 1 1
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    Hukum Komutatif

    Hukum Identitas

    pqqp pVqqVp

    pTp pVFp

    Hukum Asosiatif

    (p q) r p (q r) (p V q) V r p V (q V r)

    Hukum Ikatan

    pVTT pFF

    Hukum Distributif

    p (q V r) (p q) V (p r) p V (q r ) (p V q) (p V r)

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    p: Budi naik kelas q: Budi dibelikan sepeda motor

    pq
    p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    Konvers
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    p: Budi naik kelas q: Budi dibelikan sepeda motor

    ~p ~q
    p 0 0 1 1 q 0 1 0 1 ~p 1 1 0 0 ~q 1 0 1 0 ~p ~q 1 0 1 1

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    Invers
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    p: Budi naik kelas q: Budi dibelikan sepeda motor

    qp
    p 0 0 1 1 q 0 1 0 1 qp 1 0 1 1
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    Kontraposisi
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    p: Budi naik kelas q: Budi dibelikan sepeda motor

    ~q ~p
    p 0 0 1 1 q 0 1 0 1 ~p 1 1 0 0 ~q 1 0 1 0 ~p ~q 1 1 0 1

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    Tautology
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    ppVq
    p 0 0 1 1 q 0 1 0 1 pVq 0 1 1 1 ppVq 1 1 1 1
    http://wibiwardhono.lecture.ub.ac.id

    Wibisono Sukmo Wardhono, ST

    Contradiction
    Wibisono Sukmo Wardhono, ST
    http://wibiwardhono.lecture.ub.ac.id

    p p
    p 1 0 p 0 1 p p 0 0

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    Buktikan kebenaran hukum De' MORGAN Kirim ke: wibiwardhono@ub.ac.id

    Wibisono Sukmo Wardhono, ST

    http://wibiwardhono.lecture.ub.ac.id

    You might also like