Scribd Logo
Upload

Welcome to Scribd!

  • Tugas - Logika

    Uploaded by

    Budi
    11 views3 pages
    The document contains three truth tables summarizing the logical relationships between various propositions. The first truth table examines the proposition "(~p→(Q^~p))↔~(Qv(~p→Q))". The second truth table examines the proposition "~(~(Av~B))v~(~A→~(A^~B))". The third truth table examines the proposition "~(A)→~(~Av~(B→~(A^~~C)))". Each truth table is accompanied by annotations in another language explaining the meaning and logical relationships being tested.

    Original Description:

    tugas logika

    Original Title

    TUGAS _ LOGIKA

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document contains three truth tables summarizing the logical relationships between various propositions. The first truth table examines the proposition "(~p→(Q^~p))↔~(Qv(~p→Q))". The second truth table examines the proposition "~(~(Av~B))v~(~A→~(A^~B))". The third truth table examines the proposition "~(A)→~(~Av~(B→~(A^~~C)))". Each truth table is accompanied by annotations in another language explaining the meaning and logical relationships being tested.

    Copyright:

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

    Tugas - Logika

    Uploaded by

    Budi
    The document contains three truth tables summarizing the logical relationships between various propositions. The first truth table examines the proposition "(~p→(Q^~p))↔~(Qv(~p→Q))". The second truth table examines the proposition "~(~(Av~B))v~(~A→~(A^~B))". The third truth table examines the proposition "~(A)→~(~Av~(B→~(A^~~C)))". Each truth table is accompanied by annotations in another language explaining the meaning and logical relationships being tested.

    Copyright:

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

    1.

    P
    F
    F
    T
    T

    ( p(Q^ p)) ( Q( pQ))

    Q
    F
    T
    T
    F

    P
    T
    T
    F
    F

    Q
    T
    F
    F
    T

    1
    F
    T
    F
    F

    2
    F
    T
    T
    T

    -2
    T
    F
    F
    F

    3
    T
    F
    T
    T

    4
    T
    F
    T
    T

    -4
    F
    T
    F
    F

    5
    F
    F
    T
    T

    KETERANGAN
    1
    2

    =Q P
    = P(QP)

    2
    3
    4

    = ( P ( Q P )
    = P Q
    = Q(PQ)

    = ( Q ( P Q ))

    = ( P (Q P )) ( Q ( P Q ))

    2.

    ( ( A B)) ( A ( A B ))
    A
    F
    F
    T
    T

    B
    F
    T
    T
    F

    A B
    T
    T
    T
    F
    F
    F
    F
    T

    Keterangan :

    1
    T
    F
    T
    T

    2
    F
    T
    F
    F

    2
    T
    F
    T
    T

    3
    F
    F
    F
    T

    3
    T
    T
    T
    F

    4
    T
    T
    T
    T

    4
    F
    F
    F
    F

    5
    T
    F
    T
    T

    1
    2

    =AB
    =(AB)

    2 = ( ( A B ))
    3

    =AB

    3 = ( A B )
    4

    =(A(AB)

    4 = ( A ( A B ))
    5

    = ( ( A B )) ( A ( A B))

    3. ( A ) ( A ( B ( A C )))
    A

    T
    T
    T
    T
    F
    F
    F
    F

    T
    T
    F
    F
    T
    T
    F
    F

    T
    F
    T
    F
    T
    F
    T
    F

    F
    F
    F
    F
    T
    T
    T
    T

    F
    F
    T
    T
    F
    F
    T
    T

    F
    T
    F
    T
    F
    T
    F
    T

    KETERANGAN
    1

    =AC

    =(AC)

    C
    T
    F
    T
    F
    T
    F
    T
    F

    T
    F
    T
    F
    F
    F
    F
    F

    F
    T
    F
    T
    T
    T
    T
    T

    F
    T
    T
    T
    T
    T
    T
    T

    T
    F
    F
    F
    F
    F
    F
    F

    T
    F
    F
    F
    T
    T
    T
    T

    F
    T
    T
    T
    F
    F
    F
    F

    T
    T
    T
    T
    F
    F
    F
    F

    =B(AC)

    = (B ( A C ))

    = A ( B ( A C ))

    = ( A ( B ( A C )))

    = ( A ) ( A ( B ( A C )))

    You might also like