0% menganggap dokumen ini bermanfaat (0 suara)
55 tayangan12 halaman

KELOMPOK 2 KB 2 Modul 6

Dokumen tersebut memberikan contoh soal tautologi dan kontradiksi beserta penyelesaiannya untuk latihan mahasiswa dalam mata kuliah KB 2. Diberikan pula contoh soal tes formatif untuk latihan menentukan tautologi, kontradiksi, dan ekivalensi pernyataan logika.

Diunggah oleh

Muh Yusuf
Hak Cipta
© © All Rights Reserved
Kami menangani hak cipta konten dengan serius. Jika Anda merasa konten ini milik Anda, ajukan klaim di sini.
Format Tersedia
Unduh sebagai PDF, TXT atau baca online di Scribd
0% menganggap dokumen ini bermanfaat (0 suara)
55 tayangan12 halaman

KELOMPOK 2 KB 2 Modul 6

Dokumen tersebut memberikan contoh soal tautologi dan kontradiksi beserta penyelesaiannya untuk latihan mahasiswa dalam mata kuliah KB 2. Diberikan pula contoh soal tes formatif untuk latihan menentukan tautologi, kontradiksi, dan ekivalensi pernyataan logika.

Diunggah oleh

Muh Yusuf
Hak Cipta
© © All Rights Reserved
Kami menangani hak cipta konten dengan serius. Jika Anda merasa konten ini milik Anda, ajukan klaim di sini.
Format Tersedia
Unduh sebagai PDF, TXT atau baca online di Scribd
Anda di halaman 1/ 12

KELOMPOK 2 KB 2 MODUL 6

Contoh Tautologi dan Kontradiksi


1. FAZLURRAHMAN, S. PD (2008721032)
2. FERI SULISTYANINGRUM, S.PD (2008721038)
3. HIDAYAH, S. PD (2008721033)
4. JALALUDDIN (2008721041)
5. LUTFI KHALIM, S.PD. (2008721048)
6. M. ARIF MASDUQI S.PD.SI (2008721053)
7. MOHAMAD ARIF FAUZAN TAMIM, S.PD (2008721012)
8. MUH. YUSUF, S. PD (2008721154)
9. MUSLIKIN, S.PD (2008721071)
10. NADIA NURMALA ASIH, S.PD (2008721059)
Forum diskusi
Silahkan saudara diskusikan bersama dengan teman
sejawat. Buatlah suatu permasalahan tautologi dan
kontradiksi dengan mengimplementasikan materi pada KB
2. Buatlah langkah-langkah penyelesaian yang dilakukan
untuk menunjukkan suatu tautologi dan kontradiksi.
Contoh Tautologi
Buktikan bahwa [∼p ⟹ (r ∧ ∼ 𝑞)] ∨ (𝑟 ⟹ 𝑞) suatu tautologi.

∼p ⟹ (r ∧ [∼ 𝒑 ⟹ (𝒓 ∧ ∼ 𝒒)] ∨
P q r ∼p ∼ 𝒒 r ∧ ∼ 𝒒 𝒓 ⟹ 𝒒
∼ 𝒒) (𝒓 ⟹ 𝒒)
B B B S S S B B B
B B S S S S B B B
B S B S B B S B B
B S S S B S B B B
S B B B S S B S B
S B S B S S B S B
S S B B B B S B B
S S S B B S B S B

Karena nilai kebenarannya semua benar, maka Terbukti bahwa [∼p ⟹ (r ∧ ∼ 𝑞)] ∨ (𝑟 ⟹ 𝑞) suatu tautologi.
Contoh Kontradiksi
Buktikan bahwa [(p ∨ ~q) ⇒ (~p ∨ r)] ⟺ (p ⋀ ~r) suatu kontradiksi.
p q r ∼ 𝒑 ∼ 𝒒 ∼r p ∨ ~q ~p ∨ r p ∧ ∼r (p ∨ ~q) ⇒ (~p ∨ r) [(p ∨ ~q) ⇒ (~p ∨ r)] ⟺ (p ⋀ ~r)

B B B S S S B B S B S
B B S S S B B S B S S
B S B S B S B B S B S
B S S S B B B S B S S
S B B B S S S B S B S
S B S B S B S B S B S
S S B B B S B B S B S
S S S B B B B B S B S
Karena nilai kebenarannya semua salah, maka [(p ∨ ~q) ⇒ (~p ∨ r)] ⟺ (p ⋀ ~r) suatu kontradiksi.
Tes Formatif KB 2
3. Pernyataan yang setara dengan pernyataan “Jika setiap
orang menanam pohon maka udara bersih” adalah ….
Penyelesaian:
p : setiap orang menanam pohon
q : udara bersih
“Jika setiap orang menanam pohon maka udara bersih” dapat dinyatakan dengan p ⟹ q
Karena, p ⟹ q ≡ ~ p v q dan p ⟹ q ≡ ~ q ⟹ ~ p
Maka, pernyataan di atas setara dengan :
- Beberapa orang tidak menanam pohon atau udara bersih
- Jika udara tidak bersih maka beberapa orang tidak menanam pohon
4. Pernyataan di bawah ini yang
merupakan kontradiksi adalah. . .
Kontradiksi adalah pernyataan yang selalu bernilai salah untuk setiap substitusi nilai kebenaran
pernyataan tunggalnya
a. ( p  q)  ( p ~ q)

p q ~q (p  q) (p ~ q) ( p  q)  ( p ~ q)

B B S B S S
B S B S B S
S B S B S S
S S B B S S

b. (a ~ a)  b
a b ~a (a ~ a) (a ~ a)  b
B B S S S
B S S S S
S B B S S
S S B S S
5. Pernyataan ( ∧ ) ∨ ~ ∨ ~ ) ⇒ ∨ ) dapat
disederhanakan menjadi. . . .
(p  q) (~ p ~ q)  (p  r ) ~ ((p  q) (~ p ~ q)) (p  r )
 (~ (p  q) ~ (~ p ~ q)) (p  r ) hukum implikasi
 (~ (p  q) (p  q)) (p  r)
 S  (p  r ) hk. komplemen (negasi)
 (p  r) hukum identitas

(hukum-hukum ini ada di materi Aljabar Proposisi Hal 51)


6. Pernyataan yang setara dengan “Jika harga BBM naik maka harga kebutuhan pokok akan naik”
adalah . . . .

Penyelesaian:
p : harga BBM naik
q : kebutuhan pokok akan naik
“Jika harga BBM naik maka harga kebutuhan pokok akan naik”
dapat dinyatakan dengan p  q

Karena, p  q ~p  q dan p  q ~ q ~ p

Maka, pernyataan di atas setara dengan :


- Harga BBM tidak naik atau harga kebutuhan pokok akan naik
- Jika harga kebutuhan pokok tidak akan naik maka harga BBM tidak naik
7. Pernyataan di bawah ini yang
merupakan tautologi adalah . . . .
Penyelesaian:
Tautologi adalah pernyataan majemuk yang selalu bernilai benar untuk setiap substitusi
pernyataan tunggalnya
a. p  ( p  (~ q  q))

p q ~q (~ q  q) (p  (~ q  q)) p  ( p  (~ q  q))
B B S B B B

B S B B B B

S B S B S B

S S B B S B

Anda mungkin juga menyukai