MATEMATIKA DISKRIT

JT1301021
Modul Praktek [8]

Kelompok: 6
1. Melky Pabangke (19620049)
2. M.Muliansyah (19620038)
3. Rahmad Fadlan (19620052)
4. Novel Harianto B (19620053)

Jurusan Teknologi Informasi

Politeknik Negeri Samarinda
2020
 4. LOGIKA PROPOSISI

8.1 IDENTITAS
Kajian
Dasar Logika

Pokok Bahasan
Pokok bahasan yang dievaluasi kinerja dalam bentuk tugas praktek/praktikum dapat terdiri dari satu atau lebih pokok
bahasan/sub pokok bahasan dari SAP.
1. Proposisi Tunggal
2. Proposisi Majemuk dan variannya
3. Tabel Kebenaran

Metode/Cara Penyelesaian Tugas

Petunjuk tentang teori/teknik/alat yang digunakan, alternative langkah-langkah, sumber data/buku acuanyang
disarankan dan ketentuan pengerjaan lain.
1. Tugas dikerjakan secara perkelompok
2. Gunakan buku referensi atau workbook.

Luaran Tugas
Uraian tentang bentuk hasil studi/kinerja yang harus ditunjukkan/disajikan
1. Menentukan proposisi beserta nilai kebenarannya
2. Membuat proposisi majemuk dan variannya
3. Membuat tabel kebenaran dari pernyataan majemuk

Parameter Penilaian
Butir-butir indikator yang dapay menunjukkan tingkat keberhasilan mahasiswa dalam usaha mencapai kompetensi.
1. Ketepatan jawaban
2. Ketepatan Waktu Pengumpulan Tugas
3. Kerapihan pengerjaan tugas
8.2 STUDI KASUS/PENUGASAN
1. Jika diketahui suatu proposisi :
p : Sistem bilangan biner digunakan dalam sistem digital
q : Sistem digital adalah suatu sistem dimana kuantitas hanya dapat mengasumsikan nilai
yang berlainan.

a. Nilai kebenaran p dan q

P adalah pernyataan benar.

Q adalah pernyataan benar.

b. p⋀ q

Sistem bilangan biner digunakan dalam sistem digital dan Sistem digital adalah
suatu sistem dimana kuantitas hanya dapat mengasumsikan nilai yang berlainan.

c. p ∨q

Sistem bilangan biner digunakan dalam sistem digital atau Sistem digital adalah
suatu sistem dimana kuantitas hanya dapat mengasumsikan nilai yang berlainan.

d. ∼ p dan ∼ q

Adalah salah bahwa Sistem bilangan biner digunakan dalam sistem digital dan
maupun Sistem digital adalah suatu sistem dimana kuantitas hanya dapat
mengasumsikan nilai yang berlainan.

e. ∼( p ∨ q)

Adalah salah bahwa Sistem bilangan biner digunakan dalam sistem digital atau
Sistem digital adalah suatu sistem dimana kuantitas hanya dapat mengasumsikan
nilai yang berlainan.

f. ∼ ( p ∧q )

Adalah salah bahwa Sistem bilangan biner digunakan dalam sistem digital dan
Sistem digital adalah suatu sistem dimana kuantitas hanya dapat mengasumsikan
nilai yang berlainan.
 2. Buatlah tabel kebenaran dari pernyataan logika berikut ini : ( p ⋁ q ) ⋀( p ⋁ ∽ q)

P q ∼p ∼q ∼ p⋁q p⋁∼q (∼ p ⋁ q)⋀( p ∨∼ q)

+ + – – + + +
+ – – + – + –
– + + – + – –
– – + + + + +

8.3UMPAN BALIK
Tuliskan kesimpulan yang dapat mahasiswa ambil dari praktek yang sudah dilakukan.

Jadi kesimpulan yang saya dapat dari logika matematika mengenai pernytaan tabel kebenaran
adalah setiap pernyataan p benar maka negasi p adalah salah. Begitu pun pada pernyataan q
dan negasi q.
Dan pada konjungsi benar sama dengan benar hasilnya benar selebihnya salah. Sama juga
seperti disjungsi jika salah bertemu salah maka sama dengan salah selebihnya benar.