Tautologi, Kontradisi, Kontigensi dan Ekuivalen

Logika Informatika
Tautologi, Kontradisi, Kontigensi, Ekuival


  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 mengunakan 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 :
“ Jika Ayah pergi kerja, maka ibu juga pergi kerja. Jika kaka tidur, maka ibu ibu pergi kerja. Dengan demukian, jika Ayah pergi kuliah atau kaka tidur, maka ibu pergi kerja.”
A : Ayah pergi kerja
B : ibu pergi kerja

C : kaka tidur
Dapat ditulis: ((A→B) ^(C→B))→((AvC)→ B





Kontradiksi

Contoh kalimat :
 “ Jika diluar dingin, maka saya tidak keluar rumah. ”



1.      Kontigensi

              Kontigensi adalah suatu ekspresi logika yang mempunyai nilai benar dan salah di dalam                      tabel kebenarannya, tanpa memperdulikan nilai kebenaran dari proposisi-proposisi yang                      berada didalamnya.


              Contoh :
              1. (p^q)=> r.


1.      Ekuivalen

            Contoh Ekuivalen Logis :

(1). Indah sangat cantik dan peramah.
(2). Indah peramah dan sangat cantik.
            Kedua pernyataan diatas, tanpa piker panjang, akan dikatakan ekuivalen atau sama saja.

            Dalam bentuk ekspresi logika dapat ditampilkan berikut ini :
                        A = Indah sangat cantik
                        B = Indah itu ramah
            Ekspresi logikanya adalah :
            (1). A ^ B
            (2). B ^ A
            Jika dikatakan kedua ekspresi logika tersebut ekuivalen secara logis, maka dapat ditulis :
(A^B) ≡ (B^A)
Ekuivalen logis dari kedua ekspresi logika dapat dibuktikan dengan tabel kebenaran :



Komentar

Posting Komentar

Postingan populer dari blog ini

STATMENT

Gambar
Logika Informatika Hallo, pada kali ini saya akan membuktikan bahwa statmen dibawah ini valid atau tidak valid. Soal 1 : “Hari ini tidak panas dan lebih dingui dari hari kemarin. Kita akan pergi berenang hanya jika hari panas jika kita tidak pergi berenang, maka kita akan ikut jalan-jalan dengan perahu, maka kita akan pulang pada saat matahari terbenam jadi, kita akan pulang pada saat matahari terbenam.” Jika dibuktikan dengan tabel kebenarang : ( ~p ^ q) <-> (p ->r) <-> s Jadi, statmen tersebut tidak benar karena tabel kebenarannya menunjukan hasil yang Berbeda .
Baca selengkapnya

LATIHAN SOAL LOGIKA INFORMATIKA

Gambar
LATIHAN SOAL LOGIKA INFORMATIKA " 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."  Jawaban : P : You send me an e-mail message Q : I will finish writing the program R : I will go to sleppy 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 itu salah, atau bisa disebut dengan fallacy of affirming the conclusion ( kekeliruan menegaskan kesimpulan )
Baca selengkapnya
Komunitatis dan Asosiatif Nama : Aditya Darmawan Nim : 2017230140 Matkul : Logika Informatika Komunikatif:  Pempek makanan yang tercipta di Palembang dan pempek adalah salah satu makanan khas Palembang. Gajah Hewan Berkaki 4 Dan Gajah pemakan Tumbuhan. 5 dikalikan dengan 2 hasilnya adalah 10 dan kelipatan dari 10 adalah 5 dan 2 Asosiatif: Di Amerika kemudi mobil disebelah kiri dan Inggris kemudi mobil disebelah kanan. Pensil ialah alat untuk menggambar dan memiliki ukuran ketebalan yang berbeda. ((2-4)+5) = (2-(4+5))
Baca selengkapnya