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