EKIVALENSI LOGIKA INFORMATIKA

1. PENDAHULUAN
Materi ini membahas penggunaan hukum-hukum logika pada operasi logika yang dinamakan penyederhanaan(simplifying). Berbagai macam ekuivalensi dari berbagai ekspresi logika memberi kemudahan bagi penyederhanaan karena bentuk ekspresi logika yang rumit dan dapat disederhanakan
.

Use Case Diagram

Pengertian Use Case Diagram
 Use case adalah sesuatu yang menyediakan hasil yang dapat diukur ke pemakai atau sistem eksternal. Use case dibuat berdasar keperluan actor, merupakan “apa” yang dikerjakan system, bukan “bagaimana”system mengerjakannya. Use case diberi nama yang menyatakan apa hal yang
dicapai dari hasil interaksinya dengan actor. Use case dinotasikan dengan gambar (horizontal
ellipse).

Logika Informatika 2

" 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."

Logika Informatika

soal menjelaskan kebenaran statement dari kalimat
1. 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.

Contoh Tautologi, Kontradiksi,dan Kontingen

1. Tautologi

Tautologi adalah proporsi majemuk yang selalu bernilai benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Sebuah Tautologi yang memuat pernyataan Implikasi disebut Implikasi Logis. Untuk membuktikan apakah suatu pernyataan Tautologi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai B (benar) maka disebut Tautologi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika.

Contoh Inheritance

     Contoh inheritance Tumbuhan

Super Class: Makhluk Hidup
Sub Class   : Tumbuhan
Class          : Kacang-kacangan, Bunga, Umbi-Umbian, dan Buah
Objek         : Kacang Tanah, Kacang Polong, Kacang Panjang, Bunga Anggrek, Bunga Melati, Bunga                       Mawar, Singkong, Ubi, Buah Apel, Buah Belimbing, Buah Anggur

Contoh Kalimat Komutatif dan Asosiatif

Contoh Kalimat Komutatif dan Asosiatif

    Kalimat Komutatif
 
     1. Monas adalah ikon dari Jakarta dan Jakarta berada di propinsi Ibukota Jakarta.
     2. Pencak Silat merupakan beladiri yang berasal dari Indonesia dan Indonesia memiliki sebuah beladiri yaitu pencak silat