PERNYATAAN MAJEMUK
Rangkaian dari dua/lebih pernyataan dengan kata
B penghubung (dan, atau, jika maka, jika dan hanya jika
Konjungsi (“dan” / ˄)
1.
Disjungsi (“atau” / ˅)
2.
PERNYATAAN ?
Contoh :
1. Mobil Mufid bagus sekali
2. Hasna anak yang pintar
3. Terimakasih atas kehadiran dan do’anya
4. Film drakor paling diminati saat ini
5. Segitiga sama kaki mempunyai tiga sisi yang sama
panjang
6. 2 adalah satu-satunya anggota bilangan prima genap
7. 7 habis dibagi 2
8. 0 (nol) adalah bilangan bulat positif
9. Dalam setahun terdapat 12 bulan
10.49 adalah suatu bilangan prima
NEGASINYA ?
Contoh :
1. -
2. -
3. -
4. -
5. Segitiga sama kaki mempunyai tiga sisi yang tidak
sama panjang
6. 2 bukan satu-satunya anggota bilangan prima genap
7. 7 tidak habis dibagi 2
8. 0 (nol) adalah bilangan bukan bulat positif
9. Dalam setahun tidak terdapat 12 bulan
10.49 adalah bukan suatu bilangan prima
Nilai Kebenaran dari Negasi
Your Text Here
a ~a ~ (~a)
B S B
S B S
PERNYATAAN MAJEMUK
a b a˄b a˅b
B B B B
B S S B
S B S B
S S S S
Tentukan Nilai Kebenaran
Your Text Here
(a˄~b)˅
a b c ~b a˄~b
c
B B B S S B
B B S S S S
B S B B B B
B S S B B B
IMPLIKASI
• Penghubung “jika maka”
• Simbol “⇒”
• a ⇒ b sama dengan (~a ˅ b)
• Negasi dari a ⇒ b adalah ~(~a ˅ b)=(a ˄
~b)
Contoh
a: Hasna rajin belajar ( B )
b: Hasna lulus ujian ( B )
a ⇒ b : Jika Hasna rajin belajar maka Hasna lulus ujian ( )
(a ⇒ b )= ~a ˅ b
KONVERS, INVERS & KONTRAPOSITIF
Invers ~a ⇒ ~b : Jika Hasna tidak rajin belajar maka Hasna tidak rajin lulus ujian
Kontrapositif ~b ⇒ ~a : Jika Hasna tidak lulus ujian maka Hasna tidak rajin belajar
KONVERS, INVERS & KONTRAPOSITIF
TABEL KEBENARAN
Jawab :
a) 7 suatu bilangan prima dan 7 tidak membagi habis 42, atau 7 membagi habis 42
dan 7 bukan suatu bilangan prima
b) Semarang ibukota RI dan Yogyakarta tidak terletak di Provinsi Jawa Tengah, atau
Yogyakarta terletak di Provinsi Jawa Tengah dan Semarang bukan ibukota RI
c) … .
TAUTOLOGI
Adalah suatu pernyataan majemuk yang
selalu bernilai benar, untuk setiap
kebenaran dari pernyataan-pernyataan
tunggalnya.
Argumen
Modus Ponens
Modus Tollens
Silogisme
Contoh Tautologi
Periksa bahwa pernyataan majemuk “(p˄q) ⇒ (p˅q)” adalah
suatu tautologi !
2. a ⇒ ~b 1. ~a ⇒ b ~(~a ⇒ b) b ⇒ ~a … …
3. a ⇒ (b ˄ c) = ~( a ˅ b)
=a˄b
2. … … … …
3. a ⇒ (b ˄ … … ~a ⇒ ~(b ˄ …
c) c)
Latihan B :
1. Tentukan Negasi dari biimplikasi berikut :
a). ~p ⇔ q
b). p ⇔ ~q