Aturan Penarikan Kesimpulan yang Valid

Oleh:
Eko Hari Parmadi
 Aturan Modus Ponen
Premis1: Jika cuaca hujan terus maka harga cabai merah naik
Premis2: cuaca hujan terus
Kesimpulan: harga cabai merah naik

p: cuaca hujan terus

q: harga cabai merah naik
• 𝑝𝑟𝑒𝑚𝑖𝑠1: 𝑝 ⇒ 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠2: 𝑝
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑞
Aturan Modus Ponen
𝑝 𝑞 𝑝 ⇒ 𝑞 (𝑝 ⇒ 𝑞) ∧ 𝑝 ((𝑝 ⇒ 𝑞) ∧ 𝑝) ⇒ 𝑞
B B B B B
B S S S B
S B B S B
S S B S B

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ⇒ 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: 𝑝
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑞
 Aturan Modus Tollen
Premis 1: Jika cuaca hujan terus maka harga cabai merah naik
Premis 2: harga cabai merah tidak naik

Kesimpulan: cuaca tidak hujan terus

p: cuaca hujan terus

q: harga cabai merah naik

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ⇒ 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: ~q
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: ~𝑝
Aturan Modus Tollen
𝑝 𝑞 ~𝑝 ~𝑞 𝑝⇒𝑞 𝑝 ⇒ 𝑞 ∧ ~𝑞 𝑝 ⇒ 𝑞 ∧ ~𝑞 ⇒ ~𝑝
B B S S B S B
B S S B S S B
S B B S B S B
S S B B B B B

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ⇒ 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: ~q
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: ~𝑝
Aturan Silogisme Hipotesis
Premis 1: Jika hujan seharian, maka sungai depan rumah meluap.
Premis 2: Jika sungai depan rumah meluap, maka rumah kebanjiran

Kesimpulan: Jika hujan seharian, maka rumah kebanjiran.

p : hujan seharian
q : sungai depan rumah meluap
r : rumah kebanjiran
• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ⇒ 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: 𝑞 ⇒ 𝑟

• kesimpulan: 𝑝 ⇒ 𝑟
Aturan Silogisme Hipotesis
𝑝 𝑞 𝑟 𝑝⇒𝑞 𝑞⇒𝑟 𝑝 ⇒ 𝑞 ∧ (𝑞 ⇒ 𝑟) 𝑝 ⇒ 𝑟 𝑝 ⇒ 𝑞 ∧ (𝑞 ⇒ 𝑟 ) ⇒ (𝑝 ⇒ 𝑟)
B B B B B B B B
B B S B S S S B
B S B S B S B B
B S S S B S S B
S B B B B B B B
S B S B S S B B
S S B B B B B B
S S S B B B B B

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ⇒ 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: 𝑞 ⇒ 𝑟
• kesimpulan: 𝑝 ⇒ 𝑟
Aturan Elimination
Premis 1: Adik membeli kebab atau burger.
Premis 2: Adik tidak membeli kebab.
Kesimpulan: Adik membeli burger.

p: Adik membeli kebab

q: Adik membeli burger

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 v 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: ~𝑝
• kesimpulan: 𝑞
Aturan Elimination
𝑝 𝑞 𝑝∨𝑞 ¬𝑝 𝑝 ∨ 𝑞 ∧ ¬𝑝 ((𝑝 ∨ 𝑞) ∧ ¬𝑝) ⇒ 𝑞
B B B S S B
B S B S S B
S B B B B B
S S S B S B

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 v 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: ~𝑝

• kesimpulan: 𝑞
Aturan Generalization
Premis 1: Kakak makan kebab .

Kesimpulan: kakak makan kebab

atau kakak makan nasi goreng.

p: Kakak makan kebab

q: Kakak makan nasi goreng.

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑝 ∨ 𝑞
Aturan Generalization
𝑝 𝑞 𝑝 ∨ 𝑞 𝑝 ⇒ (𝑝 ∨ 𝑞)
B B B B
B S B B
S B B B
S S S B

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑝 ∨ 𝑞
Aturan Generalization
Premis 1: Adik makan mie ayam.

Kesimpulan: Adik makan bakso

atau mie ayam

p: Adik makan bakso

q: Adik makan mie ayam

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: q
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑝 ∨ 𝑞
Aturan Generalization
𝑝 𝑞 𝑝 ∨ 𝑞 q⇒ (𝑝 ∨ 𝑞)
B B B B
B S B B
S B B B
S S S B

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: q
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑝 ∨ 𝑞
Aturan Specialization
Premis 1: Saya bangun pagi dan
memasak di dapur.

kesimpulan: Saya bangun pagi

p: Saya bangun pagi

q: memasak di dapur

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ∧ 𝑞
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑝
𝑝 𝑞 𝑝∧𝑞 (𝑝 ∧ 𝑞)⇒ 𝑝
B B B B
B S S B
S B S B
S S S B

• 𝑝𝑟𝑒𝑚𝑖𝑠1: 𝑝 ∧ 𝑞
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑝
Aturan Specialization
Premis 1: Saya bangun pagi
dan memasak di dapur.

kesimpulan: Saya memasak di dapur.

p: Saya bangun pagi

q: memasak di dapur

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ∧ 𝑞
• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑞
Aturan Specialization
𝑝 𝑞 𝑝∧𝑞 (𝑝 ∧ 𝑞)⇒ 𝑞
B B B B
B S S B
S B S B
S S S B

• 𝑝𝑟𝑒𝑚𝑖𝑠1: 𝑝 ∧ 𝑞

• 𝑘𝑒𝑠𝑖𝑚𝑝𝑢𝑙𝑎𝑛: 𝑞
Aturan Conjuction
Premis 1: Saya bangun pagi .
Premis 2: Saya pergi bekerja.

Kesimpulan: Saya bangun pagi

dan saya pergi bekerja.

• Premis 1 ∶ 𝑝
• Premis 2: 𝑞

• kesimpulan: 𝑝 ∧ 𝑞
Aturan Conjuction
𝑝 𝑞 𝑝 ∧ 𝑞 (𝑝 ∧ 𝑞) ⇒ (𝑝 ∧ 𝑞)
B B B B
B S S B
S B S B
S S S B

• Premis 1 ∶ 𝑝
• Premis 2: 𝑞

• kesimpulan: 𝑝 ∧ 𝑞
Aturan Proof by Division into Cases
Premis 1: HP saya tertinggal di kelas
atau HP saya tertinggal di mobil
Premis 2: Jika HP saya tertinggal di kelas
maka saya tidak dapat komunikasi
Premis 3: Jika HP saya tertinggal di mobil
maka saya tidak dapat komunikasi

Kesimpulan: saya tidak dapat komunikasi

p: HP saya tertinggal di kelas
q: HP saya tertinggal di mobil
r: saya tidak dapat komunikasi

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ∨ 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: 𝑝 ⇒ 𝑟
• 𝑝𝑟𝑒𝑚𝑖𝑠 3: 𝑞 ⇒ 𝑟

• kesimpulan: 𝑟
Aturan Proof by Division into Cases
𝑝 𝑞 𝑟 𝑝 ∨ 𝑞 𝑝 ⇒ 𝑟 𝑞 ⇒ 𝑟 (𝑝 ∨ 𝑞) ∧ (𝑝 ⇒ 𝑞) ((𝑝 ∨ 𝑞) ∧ (𝑝 ⇒ 𝑟)) ∧ (𝑞 ⇒ 𝑟) ((𝑝 ∨ 𝑞) ∧ (𝑝 ⇒ 𝑟)) ∧ (𝑞 ⇒ 𝑟) ⇒ 𝑟

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

• 𝑝𝑟𝑒𝑚𝑖𝑠 1: 𝑝 ∨ 𝑞
• 𝑝𝑟𝑒𝑚𝑖𝑠 2: 𝑝 ⇒ 𝑟
• 𝑝𝑟𝑒𝑚𝑖𝑠 3: 𝑞 ⇒ 𝑟

• kesimpulan: 𝑟
Apa kesimpulannya ?
Premis 1 : Jika Wati kaya maka ia dermawan
Premis 2 : Wati tidak dermawan
atau Wati disenangi pendukungnya
Premis 3 : Wati tidak disenangi pendukungnya
Apa kesimpulannya ?
Premis 1: Jika bahan kaos yang digunakan
katun, maka penjualan kaos
meningkat
Premis 2: Jika penjualan kaos meningkat,
maka penjualan kemeja meningkat
Premis 3: Penjualan kemeja menurun
Surat wasiat kakek: Harta Karun
Kakek yang telah meninggal dunia, meninggalkan sepucuk surat wasiat yang berisi tentang
informasi harta karun di sekitar rumahnya.

Berikut ini kalimat-kalimat yang tertulis dalam surat wasiat tersebut:

[1]. Jika rumah ini berada di sebelah danau, maka harta karun itu tidak ada di dapur.
[2]. Jika pohon di halaman depan adalah pohon randu, maka hartanya
ada di dapur.

[3]. Rumah ini berada di sebelah danau.

[4] Pohon di halaman depan adalah pohon randu atau harta
karun terkubur di bawah tiang bendera.

[5] Jika pohon di halaman belakang adalah pohon jati,

maka hartanya adalah di dalam garasi.
Kesimpulannya ? Premis 1: Jika saya sedang membaca koran di dapur,
maka kacamata saya di atas meja dapur.
Premis 2: Jika kacamata saya di atas meja dapur, maka
saya melihatnya saat sarapan.
Premis 3: Saya tidak melihat kacamata saya saat sarapan.
Premis 4: Saya sedang membaca koran di ruang tamu
atau saya sedang membaca koran di dapur.
Premis 5: Jika saya membaca koran di ruang tamu, maka
kacamata saya di meja kopi.