UNIVERSITAS PAMULANG
Jl. Surya Kencana No.1 Pamulang Barat, Tanggerang Selatan, Banten
Telp. (021) 7412566 Fax. (021) 7412566
Premis 1 : p ˄ q
Premis 2 : ( p ˅ q) => r
Konklusi; r
3. Tentukan apakah pasangan pernyataan berikut ini ekivalen : (Menggunakan Hukum Logika)
~ ( ~p ˅ q) dengan p ∧ ~q
4. Misalkan p bernilai benar dan q bernilai salah. Berdasarkan ketentuan tersebut, tentukan nilai kebenaran
dari pernyataan majemuk berikut ini !
a. p ˅ q
b. ~p ˄ ~q
c. (p ˅ q) => ~p
5. Salin dan lengkapilah tabel kebenaran di bawah ini, Apakah pernyataan di bawah ini merupakan tautologi,
kontradiksi atau bukan keduanya!
a. Jika semua mahasiswa senang Logika Informatika, maka ada mahasiswa yang tidak suka Algoritma
b. Jika x = 1 maka x2 – 1 = 0