Scribd Logo
Upload

Welcome to Scribd!

  • LM 14. Soal UAS LogMa (Oke Yooo) C

    Uploaded by

    mrey41376
    8 views2 pages

    Original Title

    LM 14. Soal UAS LogMa ( oke yooo ) C

    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

    Copyright:

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

    LM 14. Soal UAS LogMa (Oke Yooo) C

    Uploaded by

    mrey41376

    Copyright:

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

    UJIAN AKHIR SEMESTER GENAP

    STMIK PRANATA INDONESIA

    TAHUN AKADEMIK 2022-2023

    Nama Dosen : Maria Rosanti, S.Pt.,S.Pd.,M.Pd Mata Kuliah : Logika Matematika

    Jurs/Sem/Jejg : SI/2/ S-1 Hari/tanggal : ............,..../07/2023

    Waktu : 60 menit Sifat Ujian : Open Book

    Jawablah soal-soal di bawah ini dengan tepat dan benar!

    1. Buktikan bahwa pernyataan majemuk di bawah ini adalah Tautologi, Kontradiksi,


    kontingensi atau Ekuivalen Logis :
    a. (p v r ) ¬ [( p → ¬r ) ↔ ( q ^ r )] k. ¬p ↔ [ ( p v ¬q ) ^ ( p → ¬r )]
    b. ¬[ p ^ ( ¬q v r )] ↔ ¬q v r l. [ ( q ↔ ¬r ) v ( p ^ ¬q )] → ¬r
    c. (q ^ r) ↔ [ ( ¬p ^ r ) → q ] m. p ^ ¬( r v q ) Ξ ¬( p v q ) → r
    d. p ¬ ( q ^ r ) Ξ ( ¬p → r ) ^q n. ¬p ^ ( ¬q → r ) Ξ ( p ↔ ¬q ) v r
    e. ( p ↔ ¬q ) → r Ξ ¬q → ( p v ¬r) o. ( p v q ) ↔ r Ξ ¬r v ( p ^ ¬q )
    f. (¬r ↔ q) ^ [( p v ¬q ) ↔ ( r ^ ¬p ) p. [( ¬ q v r) ↔ p] ^ (¬q → ¬r )
    g. [¬( p ^ q) v ( ¬q → ¬r )] ^ r q. ¬[( p ^ q) → ¬( p ↔ r )] ↔ ¬p
    h. ¬p ↔ ( q → ¬r ) Ξ ¬( q → r ) ^p r. q ^ ¬( p ↔ ¬r ) Ξ ( ¬q ↔ r ) ^ p
    i. q → ¬[( p ^¬r ) ↔ (p v q )] s. r ^ [¬( p ^ r) ↔ ( p → ¬r )]
    j. ¬r v (p ↔ ¬q ) Ξ ¬( p ^ ¬q) ↔r t. ( ¬p v q ) ↔ r Ξ p ↔ ¬ ( q ↔ ¬r )

    2. Buktikan dengan menggunakan Tablo Semantik!


    a. ¬A v B, A ^ B, ¬( B ^ ¬C ), ¬B → C, ¬C V ¬D
    b. ¬A → ¬B, ¬C v D, A ^ B, ¬ ( A ^ ¬C ), ¬D v ¬E
    c. A → C, A ^ B, ¬( ¬A ^ B ), C v ¬D, ¬C v ¬E
    d. ¬ ( A ^ ¬C ), ¬A → ¬B, A ^ B, ¬ C v D, ¬D v ¬E
    e. A → B , ¬ ( ¬ B ^ C ) , A ^ B, ¬( B → D), ¬B v ¬D
    f. A v ¬B, ¬ ( A → B ), ¬ ( A ^ ¬ C ), C → D, D v ¬E
    g. ¬( ¬A v B ), ¬A → ¬B, ¬A v C, C ^ D, ¬ ( C ^ D )
    h. ¬( ¬A v ¬B (, ¬A v B, B → C, ¬C v ¬D, C ^ D
    i. ¬ ( A → B ), ¬ A v B, C → D, ¬ ( B ^ ¬C ) , ¬D v ¬E
    j. ¬( ¬A v B ), C → D, A v ¬B, ¬ ( A ^ ¬C ), ¬D → ¬E
    k. A v ¬B, C → D, ¬(A → B ), ¬D v E, ¬ ( A ^ ¬ C )
    l. A → B, ¬ ( B → C ), A ^ B, ¬C v ¬D, ¬ ( B ^ ¬ C )
    m. ¬ C v D, ¬A → ¬B, ¬( A ^ ¬C ), A ^ B
    n. ¬( A ^ ¬C ), ¬( C v D ), ¬ ( A → B ), A v ¬ B , ¬C v ¬D
    o. A v ¬B, ¬ ( A ^ C ) , ¬ ( A → C ), A ^ B
    p. ¬A v B, ¬( A →B ) , ¬ ( ¬B ^ ¬C ), ¬( B v C ), ¬ B v D
    Nama dan Nomor soal yang harus dikerjakan:
    1. Alya Syifa ( 2.p ) 18. M. Wahyudi ( 1. r )
    2. Ajeng Hastuti ( 2.o ) 19 M. Fajri H ( 1.p )
    3. Azahra R ( 2.a ) 20. M. Iqbal ( 2.d )
    4. Berlin JG ( 2.b ) 21. Mislina H ( 1.o )
    5. Boy SW ( 1.a ) 22. Nurul K ( 2.e )
    6. Christoforus ( 1.b ) 23. Nabila F ( 1.g )
    7. Cindi K ( 2.n ) 24 Naufal R ( 1.j )
    8. Dw i TI ( 2.m ) 25. Putra N ( 1.i )
    9. Damar R ( 1.d ) 26. Sebastian T ( 1.h )
    10. Defiyanus H ( 1.f ) 27. Saskia ES ( 1.m )
    11. Elisa F ( 2.l ) 28. Yoga S (2. g )
    12. Ebeth S ( 2.k ) 29. Zida U ( 2.f )
    13. Fajar S (1.c ) 30. M. Fajar ( 1.k )
    14. Floriana S ( 1.e ) 31. Sofyamtoro ( 1.l )
    15. Hikmah P ( 2.c ) 32. M. Septian FP ( 2.h )
    16. Maryo S ( 1.t ) 33. Ato SG ( 1.j )
    17. M. Ilza B ( 1.s ) 34. Eli Alantas N ( 1.s )

    You might also like