Anda di halaman 1dari 19

LOGIKA MATEMATIKA:

ARGUMEN DAN METODE


PENARIKAN KESIMPULAN (2)

Tim Dosen Kalkulus ITP


Sri Astuti Thamrin, Ph.D
Naimah Aris, M.Math

Universitas Hasanuddin
2021
@Kalkulus Ilmu Teknologi Pangan 1
Apa itu Argumen?
• Argumen adalah rangkaian
pernyataan-pernyataan yang
mempunyai ungkapan pernyataan
penarikan kesimpulan (inferensi).
• Argumen terdiri dari:
§ Premis (hipotesa)
§ Konklusi (kesimpulan)

@Kalkulus Ilmu Teknologi Pangan 2


Contoh Argumen
Semua bilangan genap habis dibagi 2 (premis)
10 adalah bilangan genap (premis)
Jadi, 10 habis dibagi 2. (konklusi)

Jika malam hari turun hujan, maka lapangan bola


akan basah (premis)
Ternyata malam hari turun hujan (premis)
Jadi, lapangan bola basah (konklusi)

@Kalkulus Ilmu Teknologi Pangan 3


Kapan argumen dikatakan valid?

• Pernyataan yang disubtitusikan kepada


hipotesa benar,
• Kesimpulan benar.

langkah pertama yang harus dilakukan


untuk menunjukkan argument valid
adalah menuliskan argument tersebut
dalam bentuk simbol-simbol

@Kalkulus Ilmu Teknologi Pangan 4


Langkah untuk menunjukkan
argumen valid
1. Menuliskan argument dalam bentuk simbol-simbol
2. Mengubah argument awal menjadi pernyataan
kondisional yang berkoresponden dengan argument
tersebut, dengan cara meng-konjungsi-kan premis-
premis, kemudian hasilnya di-implikasi-kan dengan
konklusi.
3. Buat tabel kebenaran berdasarkan Pernyataan
kondisional yang berkoresponden
o Jika tabel kebenaran yang dihasilkan berupa tautology, maka
argument tersebut valid

@Kalkulus Ilmu Teknologi Pangan 5


Contoh
Ani ada di Bandung atau Tasikmalaya
Ani tidak ada di Bandung.
Jadi, ani ada di Tasikmalaya.
Misal
p : Ani ada di Bandung
q : Ani ada di Tasikmalaya

1. argument itu mempunyai symbol


p∨q
~p
∴q

@Kalkulus Ilmu Teknologi Pangan 6


2. Argument pada nomor (1)mempunyai pernyataan
kondisional yang berkoresponden:
[(p ∨ q) ∧ ~p ] ⇒ q
3. Tabel kebenaran untuk nomor (2)

p q ~p pVq (p V q) ∧ ~p [(p V q) ∧ ~p] → q

T T F T F T
T F F T F T
F T T T T T
F F T F F F

@Kalkulus Ilmu Teknologi Pangan 7


Aturan Penarikan Kesimpulan

@Kalkulus Ilmu Teknologi Pangan 8


Contoh
Buktikan bahwa argument berikut valid.

Jika pintu kereta api ditutup, lalu lintas akan berhenti.


Jika lalu lintas berhenti, akan terjadi kemacetan lalu
lintas. Pintu kereta api ditutup.
Jadi, terdapat kemacetan lalu lintas.

Misal:
p : pintu kereta api ditutup
q : lalu lintas akan berhenti
r : terjadi kemacetan lalu lintas

@Kalkulus Ilmu Teknologi Pangan 9


Penyelesaian

@Kalkulus Ilmu Teknologi Pangan 10


Aturan Penukaran

• Pada kenyataannya banyak argument valid


yang tidak dapat di buktikan kebenarannya
• Membutuhkan aturan lain yang disebut aturan
penukaran (Rule of Replacements).
ü 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

@Kalkulus Ilmu Teknologi Pangan 11


Aturan Penukaran

@Kalkulus Ilmu Teknologi Pangan 12


Contoh

@Kalkulus Ilmu Teknologi Pangan 13


Aturan Pembuktian Kondisional

Sebuah argument yang berkorespondensi


dengan sebuah pernyataan kondisional
adalah valid:
Ø jika dan hanya jika pernyataan
kondisional tersebut merupakan
tautology.

@Kalkulus Ilmu Teknologi Pangan 14


Contoh

@Kalkulus Ilmu Teknologi Pangan 15


Aturan Pembuktian Tidak Langsung

Dilakukan dengan jalan membuat negasi


dari konklusinya, yang kemudian dijadikan
premis tambahan.
ØJika sebagai akibat langkah ini timbul
kontradiksi berarti argument yang akan
dibuktikan

@Kalkulus Ilmu Teknologi Pangan 16


Contoh

@Kalkulus Ilmu Teknologi Pangan 17


Latihan
1. Kerjakanlah Latihan yang terdapat di
halaman 6 dan 7 Materi 3
2. Kerjakanlah Latihan yang terdapat di
halaman 9 Materi 3

@Kalkulus Ilmu Teknologi Pangan 18


Ada Pertanyaan ?

@Kalkulus Ilmu Teknologi Pangan 19

Anda mungkin juga menyukai