Nama : Rafif Rizqy Alfiansyah

Nim : 210103114

Kelas : 21TIA3

Soal

1. tuliskan bentuk kebalikan (negasi) dari proposisi (untuk soal a dan b) : (Skor: 15)
a) tidak ada musim hujan di Indonesia !
b) Ansa menghadiri acara ulang tahun dan pergi ke pasar malam
c) apakah pernyataan : 𝑥 + 𝑦 = 𝑦 + 𝑧 𝑗𝑖𝑘𝑎 𝑥 = 𝑧 proposisi?tentukan nilai kebenarannya!
2. ..
a) jika A= Bowo kaya raya, B= Bowo hidup bahagia, ubah penyataan “ Bowo hidup bahagia
jika dan hanya jika ia kaya raya” menjadi bentuk ekspresi logika. (Skor:10)
b) Misalkan: A= Anda sakit flu, B= Anda ujian, C= Anda lulus maka ubahlah ekspresi logika
(𝐴 → ¬𝐶) ∨ (𝐵 → ¬𝐶) menjadi pernyataan dalam bahasa Indonesia ! (Skor:10)
c) buatlah tabel kebenaran dengan semua kemungkinan nilai kebenaran dari ekspresi
logika, (𝐴 ∧ 𝐵) ∨ (((¬𝐴 ∧ 𝐵) → 𝐴) ∧ ¬𝐵), beri kesimpulan (Skor:15)
3. buktikan dua ekspresi logika (𝐴 ∨ ¬𝐵) → 𝐶 ≡ (¬𝐴 ∧ 𝐵) ∨ 𝐶 ekuivalen dengan menggunakan
tabel kebenaran (Skor:25)
4. buktikan dua ekspresi logika (𝐴 ∧ 𝐵) ∨ (𝐵 ∧ 𝐶) ≡ 𝐵 ∧ (𝐴 ∨ 𝐶) dengan penyederhanaan
(Skor:25)

Jawaban

1. ..
a) Ada musim hujan di Indonesia.
b) Ansa tidak menghadiri acara ulang tahun dan tidak pergi ke pasar malam.
c) Ya,karena pernyataan x+y=y+z adalah termasuk proposi dengan nilai kebenarannya
adalah true(benar).
2. ..
a) Bentuk ekpresi logika : Bowo hidup bahagia jika dan hanya jika Bowo kaya raya 𝒃 ↔ 𝒂.
b) Pernyataan dalam Bahasa Indonesia dari pernyataan tersebut : jika anda sakit flu maka
anda tidak lulus atau jika anda ujian maka anda tidak lulus.
c)
A B ¬𝐴 ¬𝐵 𝐴 ∧ 𝐵 ¬𝐴 ∧ 𝐵 (¬𝐴 ∧ 𝐵) → 𝐴 (((¬𝐴 ∧ 𝐵) → 𝐴) ∧ (𝐴 ∧ 𝐵) ∨ (((¬𝐴 ∧
¬𝐵) 𝐵) → 𝐴) ∧ ¬𝐵)
T T F F T F T F T
T F F T F F T T T
F T T F F T F F F
F F T T f F T T T
3.
A B C ¬𝐴 ¬B (𝐴 ∧ ¬𝐵) (𝐴 ∧ ¬𝐵)→ 𝑪 (¬𝐴 ∧ 𝐵) (𝐴 ∧ ¬𝐵)∧ 𝑪
T T T F F T T F T
T T F F F T F F F
T F T F T T T F T
T F F F T T F F F
F T T T F F T T T
 F T F T F F T T T
F F T T T T T F T
F F F T T T F F F
Dua ekspresi tersebut adalah ekuivalen karena memiliki nilai kebenaran yang sama

4. (𝐴 ∧ 𝐵) ∨ (𝐵 ∧ 𝐶) ≡ 𝐵 ∧ (𝐴 ∨ 𝐶)
Dapat di sederhanakan sebagai berikut = 𝑏 ∧ (𝑎 ∨ 𝑏) ≡ (𝑎 ∧ 𝑏) 𝑉 (𝑏 ∧ 𝑐)