Komputasi
Dosen Pengampuh:
Winda Noviana, M.Kom
Matematika Komputasi
Matematika komputasi merupakan cabang matematika yang mengaji objek –
objek distrik.
Maka
p ^q : Hari ini hujan dan murid – murid diliburkan dari sekolah
pvq : hari ini hujan atau murid – murid diliburkan dari sekolah
~p : tidak benar hari ini hujan
(atau dalam kalimat yang lebih lazim : hari ini tidak hujan)
Contoh
P : hari ini hujan
Q : hari ini dingin
Maka
p v ~q : hari ini dingin atau hari ini tidak hujan
atau dengan kata lain “ hari ini dingin atau tidak hujan”
~p ^~q ; hari ini tidak hujan dan hari ini tidak dingin
atau dengan kata lain, “hari ini tidak hujan maupun dingin”
`~(~p) ; tidak benar hari ini tidak hujan
Tabel Kebenaran
Merupakan nilai kebenaran dari proposisi majemuk
ditentukan oleh nilai kebenaran dari proposisi atomiknya
dan cara mereka dihubungkan oleh operator logika
Misalnya:
p dan q adalah proposisi
p ^ q : 17 adalah bilangan prima dan bilangan prima selalu ganjil adalah salah
Salah satu cara yang praktis untuk menentukan nilai kebenaran proposisi majemuk
adalah menggunakan tabel kebenaran (trurth table). Tabel kebenaran
menampilkan hubungan antara nilai kebenaran dari prosisi atomik. Tabel berikut
menujukkan tabel kebenaran untuk konjungsi, disjungsi, dan ingkaran. Pada tabel
berikut T : True (benar) dan F: false (salah).
Contoh Tabel Kebenaran
Latihan :
Tentukan disjungsi,konjungsi,dan ingkaran pada soal berikut :