Pada pertemuan sebelumnya, telah dipelajari bahwa kesahan argumen dapat dibuktikan

dengan tabel kebenaran atau dengan aturan penggantian. Cara lain untuk membuktikan

kesahan argumen adalah dengan menggunakan aturan penyimpulan yang akan dibahas

setelah ini, dipadukan dengan hukum/ atura pneggantian yang telah dipelajari sebelumnya
Pelajari materi pada slide selanjutnya.
Kerjakan tugas 5 part 1 (minimal 2 nomor) dan part 2 (minimal 1 nomor),
kemudian uplod foto tsb. Di setiap lembar kerja, jangan lupa ditulis
NIM_NAMA_KELAS.
Untuk nomor lain, dapat diselesaikan di buku tugas masing-masing sebagai
Latihan mandiri.
ATURAN PENYIMPULAN

1. MODUS PONENS (MP)

4. DISTRUKTIF SILOGISMA (DS)
𝒑→𝒒 𝒑∨𝒒
𝒑 ~𝒑
∴𝒒 ∴𝒒

2. MODUS TOLENS (MT) 5. KONSTRUKTIF DELEMA (KD)

𝒑→𝒒
(𝒑 → 𝒒) ∧ (𝒓 → 𝐬)
~𝒒
𝒑∨𝐫
∴ ~𝒑
∴ 𝒒∨𝐬

3. SILOGISME (SIL) 6. DISTRUKTIF DELEMA (DD)

𝒑→𝒒 (𝒑 → 𝒒) ∧ (𝒓 → 𝐬)
𝒒→𝒓 ∼ 𝒒 ∨∼ 𝒔
∴𝒑→𝐫 ∴∼ 𝒑 ∨∼ 𝒓
METODE DEDUKSI (BUKTI FORMAL KESAHAN ARGUMEN)

7. SIMPLIFIKASI (SIMP)

𝒑∧𝒒 Aturan penyimpulan sebagian telah

dibuktikan kesahan argumennya
∴𝒑 sebagai latihan. Aturan penyimpulan
lain yang belum dibuktikan diserahkan
kepada mahasiswa sebagai latihan
8. ADISI mandiri.
𝒑
∴𝒑∨𝒒

9. KONJUNGSI

𝒑
𝒒
∴𝒑∧𝒒
KESAHAN ARGUMEN
Premis 1
sampai 4 ditulis
ulang.
Contoh: Penyelesaian Selanjutnya,
Buktikan kesahan argumen berikut! menggunakan
1. 𝐩 ∨ (𝐪 → 𝐬) aturan
penyimpulan
2. ~𝐫 → (𝐬 → 𝐭)
maupun aturan
1. 𝒑 ∨ (𝒒 → 𝒔) penggantian
3. 𝐩 → 𝐫
2. ~𝒓 → (𝒔 → 𝒕) sampai
4. ~𝐫 memperoleh
3. 𝒑 → 𝒓
konklusi yang
4. ~𝒓 5. 𝒔 → 𝒕 (2,4 MP)
diminta.
∴𝒒→𝒕 6. ~𝒑 (3,4 MT)

7. 𝐪 → 𝒔 (1,6 DS)

8. ∴ 𝐪 → 𝐭 (7,5 SIL)

Terbukti.
Jadi Argumen tersebut sah
KESAHAN ARGUMEN

Contoh:
Penyelesaian
Buktikan kesahan argumen berikut!
1. 𝐚 → 𝐛
2. 𝐜 → 𝐝
1. 𝐚 → 𝐛
3. (∼ 𝒃 ∨∼ 𝒅) ∧ (∼ 𝒂 ∨∼ 𝒃)
2. 𝐜 → 𝐝
4. (∼ 𝒃 ∨∼ 𝒅) (3 simp)
3. (∼ 𝒃 ∨∼ 𝒅) ∧ (∼ 𝒂 ∨∼ 𝒃)
5. 𝒃 → ∼ 𝒅 (4 impl)
∴∼ 𝒂 ∨∼ 𝒄
6. 𝒂 →∼ 𝒅 (1,5 SIL)
7. ∼ 𝒂 ∨∼ 𝒃 (3 simp)
8. 𝒂 →∼ 𝒃 (7 impl)
9. 𝒅 →∼ 𝒂 (6kontraposisi)
10. 𝒄 →∼ 𝒂 (2,9 SIL)
11. ∼ 𝒄 ∨∼ 𝒂 (10 impl)
12. ∴∼ 𝒂 ∨∼ 𝒄 (11 komutatif)
Terbukti.
Jadi Argumen tersebut sah
KESAHAN ARGUMEN
Contoh:

Susunlah bukti formal kesahan argumen berikut dengan

memakai lambang-lambang proposisi yang diberikan! Penyelesaian
Jika banyak siswa yang memilih matematika maka
1. 𝐦 → (𝐠 ∧ 𝒕)
geometri diharuskan dan trigonometri diharuskan. Jika
2. (𝐠 ∨ 𝒋) → 𝐚
geometri diharuskan atau aljabar diharuskan maka
3. m
aritmetika diharuskan. Banyak mahasiswa yang memilih
matematika. Oleh karena itu aritmetika diharuskan atau
4. (𝐠 ∧ 𝒕) (1,3 MP)
aljabar diharuskan. (m, g, t, j, a) 5. 𝐠 (4 SIMP)
6. 𝐠 ∨ 𝒋 (5 ADD)
7. a (2,6 MP)
Argumen tersebut dapat dinyatakan dengan simbol 8. 𝐚 ∨ 𝒋 (7 ADD)
berikut:
Terbukti.
1. 𝐦 → (𝐠 ∧ 𝒕)
Jadi Argumen tersebut sah
2. (𝐠 ∨ 𝒋) → 𝐚
3. m
∴𝒂∨𝒋
KESAHAN ARGUMEN
TUGAS 5 PART 1
Buktikan dengan bukti formal kesahan argumen berikut (gunakan aturan penyimpulan atau hukum
penggantian)

a. 1. 𝒂 ∨ 𝒄 ∧∼ 𝒃 → [(𝒅 → 𝒄) → 𝒇] c. 1. 𝒆 → 𝒇
2. ~𝐚 → 𝐛 2. 𝐞 → 𝐠
3. ~𝒃 ∴ 𝒆 → (𝒇 ∧ 𝒈)
∴ (𝐝 → 𝒄) → 𝒇
d. 1. (∼ 𝒖 ∨ 𝒗) ∧ (𝒖 ∨ 𝒗)
b. 2. ∼ 𝒙 → ~𝒘
1. 𝒆 → (𝒇 ∧∼ 𝒈)
∴𝒗∨𝒙
2. (𝒇 ∨ 𝒈) → 𝒉
3. 𝒆 e. 1. 𝒆 → 𝒇
∴𝐡 2. 𝒈 → 𝒇
∴ (𝒆 ∨ 𝒈) → 𝒇
KESAHAN ARGUMEN

TUGAS 5 PART 2

Susunlah bukti formal kesahan argumen berikut dengan memakai lambang-lambang proposisi yang
diberikan!

a. Jika saya belajar maka saya mendapat nilai baik, jika saya tidak belajar maka dapat bersenang-
senang. Oleh karena itu saya akan mendapat nilai baik atau saya akan bersenang-senang (b, n, s)

b. Adam akan menumpang bus atau kereta api. Jika dia menumpang bus atau mengendarai mobil
sendiri maka ia akan terlambat dan kehilangan bagian pertama. Dia tidak datang terlambat. Oleh
karena itu dia akan menumpang kereta api (b, k, m, t, h)

c. Adi adalah seorang pelajar atau olahragawan. Jika Adi seorang pelajar maka ia mengikuti UN.
Ternyata Adi tidak ikut UN. Jadi Adi seorang olahragawan. (p, o, u)