MAKALAH

PEMBUKTIAN LOGIKA DENGAN PENYEDERHANAAN ATURAN

PENUKARAN/INFERENSI

Sebagai salah satu syarat untuk memenuhi tugas pada mata kuliah Logika Matematika
Dosen Pengampuh : Rahayu Pratiwi, M. Pd.

DISUSUN OLEH : KELOMPOK 2

1. Asrof
2. Dhea
3. Nafisatul Wardiyah (12018004)
4. Sarvia (12018002)
5. Nur Indah Damayanti (12018022)

PRODI TADRIS MATEMATIKA

FAKULTAS TARBIYAH DAN ILMU KEGURUAN
INSTITUT AGAMA ISLAM NEGERI PONTIANAK
2021
KATA PENGANTAR
Assalamu  Alaikum Wr. Wb

              Puji syukur kita panjatkan kehadirat Allah SWT karena dengan rahmat dan hidayah-
Nya lah sehingga Makalah ini dapat terselesaikan. Tak lupa pula salam dan taslim tak henti-
hentinya kita haturkan kepada junjungan Nabi Muhammad SAW.
Ucapan terimakasih kami berikan kepada pihak-pihak yang telah memberikan
masukan yang bermanfaat sehingga makalah kami ini dapat terselesaikan tepat pada
waktunya. Permohonan maaf dan kritikan yang bersifat membangun sangat kami harapkan
karena kami menyadari masih banyak kekurangan dan kekhilafan di dalam makalah  kami
ini, karena kesempurnaan sesungguhnya hanya datangnya dari Allah SWT. Semoga makalah
kami ini dapat bermanfaat bagi para pembaca pada khususnya dan masyarakat pada
umumnya.

Wassalamu Alaikum Wr. Wb

Penulis
Pontianak, 7 November 2021

DAFTAR ISI
KATA PENGANTAR
DAFTAR ISI
BAB I PENDAHULUAN
A. Latar Belakang
B. Rumusan Masalah
C. Tujuan
BAB II PEMBAHASAN
A. Aturan Penukaran/Inferensi
B. Contoh Aturan Penukaran
BAB III PENUTUP
A. Kesimpulan
DAFTAR PUSTAKA

BAB I
 PENDAHULUAN

A. LATAR BELAKANG
Salah satu karya Aristoteles adalah logika yang banyak berisi pengertian, pembuktian
silogisme, dan lain-lain. Ini ajaran aristoteles mengenai logika adalah Sylogisme, yaitu
keputusan kedua yang tersusun sedemikian hingga melahirkan keputusan yang ketiga.
Logika yang dikemukakan oleh Aristoteles dikenal sebagai logika tradisional, yang
menjadi tonggak pemikiran logika.
Secara etimologis, logika berasal dari kata Yunani “logos” yang berarti kata, ucapan,
pikiran secara utuh, atau bias juga berarati ilmu pengetahuan (Khusumah, 1986). Dalam
arti luas, logika adalah suatu cabang ilmu yang mengkaji penurunan-penurunan
kesimpulan yang sahih (tidak valid). Proses berpikir yang terjadi disaat menurunkan atau
menarik kesimpulan dari pernyataan-pernyataan yang diketahui benar atau dianggap benar
itu biasanya disebut dengan penalaran.
Melalui logika kita dapat mengetahui kebenaran suatu pernyataan dari suatu kalimat
dan mengetaui apakah pernyataan pertama sama maknanya dengan pernyataan kedua.
Banyak hal yang perlu kita ketahui mengenai logika. Dengan logika kita dapat mengetaui
apakah suatu pernyataan bernilai benar atau salah. Hal terpenting yang akan didapatkan
setelah mempelajari logika matematika adalah kemampuan atau keahlian mengambil
kesimpulan dengan benar atau salah. Logika matematika memberikan dasar bagi sebuah
pengambilan kesimpulan dan dapat dalam banyak aspek kehidupan.

B. RUMUSAN MASALAH
Dari latar belakang masalah di atas maka dapat dirumuskan masalah dalam makalah
ini ialah bagaimana Pembuktian Logika Dengan Penyederhanaan Aturan
Penukaran/Inferensi

C. TUJUAN
Tujuan dari penyusunan makalah ini adalah untuk mengetahui Pembuktian Logika
Dengan Penyederhanaan Aturan Penukaran/Inferensi

BAB II
 PEMBAHASAN

A. ATURAN PENUKARAN/INFERENSI
Pada kenyataannya banyak argument valid yang tidak dapat di buktikan kebenarannya
hanya dengan menggunakan aturan penarikan kesimpulan. Ini berarti kita membutuhkan
aturan lain. Aturan yang menunjang ini disebut aturan penukaran (Rule of
Replacements).
Dalam pembicaraan ekuivalensi, kita telah mengetahui bahwa dua pernyataan disebut
ekuivalen jika mempunyai nilai kebenaran yang sama. Dengan demikian jika sebagian
atau keseluruhan dari suatu pernyataan majemuk ditukar dengan pernyataan lain yang
ekuivalen secara logika, maka nilai kebenaran pernyataan majemuk yang baru tersebut
akan sama dengan nilai kebenaran pernyataan majemuk semula. Aturan ini yang disebut
aturan penukaran. Aturan ini memungkinkan kita untuk menarik kesimpulan suatu
pernyataan sebagai hasil dari penukaran semua atau sebagian dari suatu pernyataan dengan
pernyataan yang ekuivalen dengan bagian yang kita ganti. Adapun aturan yang terdapat
pada Rule of Replacements adalah sebagai berikut:
B. CONTOH PEMBUKTIAN ATURAN PENUKARAN/INFERENSI

Susunlah bukti formal validitas argument berikut :

Premis 1 : ( p ˅q) →( r ˄s)
Premis 2 :~r
Kesimpulan : ~ q

Proses pembuktian validitas argument diatas adalah sebagai berikut :

1. ( p ˅q) →( r ˄s) Pr
2. ~ r Pr / ∴ ~ q
3. ~ r ˅~ s (2), Add
4. ~ (r ˄s) (3), de M
5. ~ (p ˅q) (1),(4), MT
6. ~ p ˄~ q (5), de M
7. ~ q ˄~ p (6), Kom
8. ~ q (7), Simp
Karena baris terakhir (8) dengan kesimpulan sama maka bisa kita katakan argument
tesebut valid.

Strategi (3) :
Karena kesimpulannya adalah ~ q, maka kita perlu memisahkan q di premis (1). Salah satu
langkah yang mungkin adalah dengan membuat premis (1) dalam bentuk modus ponen
(MP) atau modus tolens (MT). Akan tetapi di premis (2) kita punya ~ r, maka kita akan
menggunakan MT. Untuk MT, maka kita butuh ~ (r ˄s) dimana ~ (r ˄s) ≡ ~ r ˅~ s,
maka kita bisa gunakan addition pada (2) dengan~ s untuk mendapatkannya sehingga (2)
~ r menjadi (3) ~ r ˅~ s
Strategi (4) :
Gunakan aturan de Morgan pada (3), sehingga ~ r ˅~ s ≡ ~ (r ˄s)
Strategi (5) :
Gunakan Modus Tolens pada (1) dan (4) sehingga :
Modus Tolens
Pr 1 :p→q 1. ( p ˅q) →( r ˄s)
Pr 2 :~q 4. ~ (r ˄s)
Konklusi :~p 5. ~ (p ˅q)
Strategi (6) :
Karena kita butuh ~ q sendirian, maka pisahkan (5) ~ (p ˅q) dengan de Morgan ~ (p ˅q)
≡ ~ p ˄~ q menjadi (6) ~ p ˄~ q
Strategi (7) :
Gunakan aturan Komutatif pada (6), sehingga ~ p ˄~ q ≡ ~ q ˄ ~ p
Strategi (8) :
Simplifikasikan (7) agar ~ q sendiri.
~q˄~p
~q
 BAB III
PENUTUP

A. KESIMPULAN
banyak argument valid yang tidak dapat di buktikan kebenarannya hanya dengan
menggunakan aturan penarikan kesimpulan. Ini berarti kita membutuhkan aturan lain.
Aturan yang menunjang ini disebut aturan penukaran (Rule of Replacements). Aturan ini
memungkinkan kita untuk menarik kesimpulan suatu pernyataan sebagai hasil dari
penukaran semua atau sebagian dari suatu pernyataan dengan pernyataan yang ekuivalen
dengan bagian yang kita ganti.
 DAFTAR PUSTAKA

Novianigsih, Khusnul. 2018. ARGUMEN DAN METODE PENARIKAN KESIMPULAN.

Bahan Ajar Logika Matematika,1-9. Diakses tanggal 7 November 2021 dari
http://file.upi.edu/