Febri Azhari

EKIVALEN LOGIKA INFORMATIKA Soal : 1.  A ^ ( ~A -> A ) 2. ~(~A^ (Bv~B ) 3. ~A -> ~ ( A -> ~B) 4. (A -> B) -> (A ->~B) -> ~A) 5. (A->(Bv~C)^ ~A^ B Jawab : No 3. No 2 No 1 No 4. No 5

Usecase Diagram digunakan untuk mengambarkan interaksi antara pengguna sistem (actor) dengan kasus (use case) yang disesuaikan dengan langkah-langkah (scenario) yang telah ditentukan. Sejak tahun 1992, dengan adanya pengembang UML, yaitu Jacob Et All, menjadikan Use case sebagai model utama atau yang dibutuhkan (Requeirment Model) pada UML   SOAL       JAWAB Association Antar Actor dan Use Case   Association Antara Use Case   Generalization/Inheritance Antara Actor    

"If you send me an e-mail message, then I will finish writing the program,” “If you do not send me an e-mail message, then I will go to sleep early,” and “If I go to sleep early, then I will wake up feeling refreshed”. “Therefore, If I do not finish writing the program, then I will wake up feeling refreshed." Jawab P : You send me an e-mail message Q : I will finish writing the program R : I will go to sleep early S : I Will wake up Feeling refreshed Hypotheses : P→Q ¬P→R R→S ¬Q→S (Kesimpulan) Kesalahan dalam mengambil kesimpulan Proposisi [(P→Q) /\ Q] → P bukan tautologi, karena jika nilai [(P → Q) /\ Q] → P akan menjadi salah jika nilai P salah dan Q itu benar. Maka ketika (Permisalan) implikasi P→ Q dan Hasil dari implikasinya Q benar, proposisi Q tidak boleh benar.  Maka soal tersebut itu salah, atau disebut dengan Fallacy of affirming the conclusion (Kekeliruan Menegaskan Kesimpulan).

. Hari ini tidak panas dan lebih dingin dari hari kemarin. Kita akan pergi berenang hanya jika hari panas. Jika kita tidak pergi berenang, maka kita akan ikut jalan-jalan dengan perahu. Jika kita ikut jalan-jalan dengan perahu, maka kita akan pulang pada saat matahari terbenam. Jadi, kita akan pulang saat matahari terbenam. • Buktikan bahwa argument di atas valid Jawab: Misal : p : Hari ini panas, q : hari ini lebih dingin dari hari kemarin r : Kita akan pergi berenang, s : Kita ikut jalan-jalan dengan perahu t : Kita akan pulang saat matahari terbenam Maka : ~p ∧ q : Hari ini tidak panas dan lebih dingin dari hari kemarin r → p : Kita akan pergi berenang hanya jika hari panas ~r → s : Jika kita tidak pergi berenang, maka kita akan ikut jalan-jalan dengan perahu s → t : Jika kita ikut jalan-jalan dengan perahu, maka kita akan pulang pada saat matahari terbenam Kesimpulan: t Pembuktian : Langkah    Keterangan 1. ~p ∧ q    Premis 2. ~p          Simplifikasi dari

A.Tautologi dan Tabel Kebenarannya     Tautologi adalah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya.           * (p ʌ ~q)  p          Ini adalah tabel kebenaran yang menunjukkan Tautologi dengan alasan yaitu semua pernyataannya bersifat benar atau True (T). maka dengan perkataan lain pernyataan majemuk (p ʌ ~q)  p  selalu benar.   B.Kontradiksi dan Tabel Kebenarannya       Kontradiksi adalah kebalikan dari tautologi yaitu suatu bentuk pernyataan yang hanya mempunyai contoh substansi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai kebenaran dari komponen-komponennya.     *(P V Q) Q    C.Kontingen dan Tabel Kebenarannya Kontingensi adalah suatu ekspresi logika yang mempunyai nilai benar dan salah di dalam tabel kebenarannya, tanpa memperdulikan nilai kebenaran dari proposisi-proposisi yang berada di dalamnya. *P V (~Q ^ R)