MATERI LOGIKA PERTEMUAN 7

A. KONSISTENSI LOGIKA
Tabel kebenaran memang sangat bermanfaat untuk membuktikan validitas ekspresi logika, tetapi
masalahnya tabel kebenaran memerlukan tabel yang sangat besar untuk menyelesaikan ekspresi logika
yang memiliki banyak variable proposisional, yakni 2N.

DEFINISI
Pernyataan logika disebut konsisten satu dengan lainnya jika semuanya bernilai benar. Artinya
sebuah argument dikatakan konsisten jika premis – premisnya bernilai T, kesimpulannya bernilai
T dan hasil operasi logika juga bernilai T.

Untuk lebih memberikan gambaran, perhatikan contoh argument berikut :

Contoh Argumen 1 :
“Jika band Noah mengadakan konser, maka jika harga tiket tidak terlalu mahal maka penonton
akan ramai. Jika band Noah mengadakan konser, maka harga tiket tidak terlalu mahal. Dengan
demikian, jika band Noah mengadakan konser, maka penonton akan ramai”
Validitas dan konsistensi argument diatas harus dibuktikan dengan tabel kebenaran atau
penyederhanaan logika. Argumen dapat disebut valid apabila premis-premisnya bernilai T dan
kesimpulannya juga bernilai T. Apabila terdapat kalimat “dengan demikian” yang mengindikasikan
bahwa itu adalah kesimpulan dari premis dan jika tidak terdapat kalimat “dengan demikian”, maka
kalimat tersebut bukan sebuah argumen.

Penyelesaian :
Langkah 1 :
Mengubah kalimat argument menjadi variable proposisional
A = Noah mengadakan konser
B = Harga tiket terlalu mahal
C = Penonton ramai

Langkah 2 :
Mengubah kalimat argument menjadi ekspresi logika
P1 : A → (¬B → C)
P2 : A → ¬B
C :A→C

Langkah 3 :
Merangkai premis – premis dan kesimpulan
1. ((A → (¬B → C)) Ʌ (A → ¬B)) → (A → C)

Langkah 4 :
Buatlah tabel kebenaran untuk membuktikan validitas argumen :

P1 P2 C Hasil
A B C ¬B ¬B → C A → (¬B → C) A → ¬B ((A → (¬B → C)) Ʌ (A → ¬B) A→C (A → (¬B → C)) Ʌ (A → ¬B)) → (A → C)
1 T T T F T T F F T T
2 T T F F T T F F F T
3 T F T T T T T T T T
4 T F F T F F T F F T
5 F T T F T T T T T T
6 F T F F T T T T T T
7 F F T T T T T T T T
8 F F F T F T T T T T
Tautologi
Tabel diatas menunjukkan bahwa argumen valid dan konsisten. Karena terdapat beberapa premis yang
menunjukkan nilai T dan kesimpulannya bernilai T juga.
B. STRATEGI PEMBALIKAN
Strategi pembalikan merupakan salah satu cara untuk membuktikan konsistensi sebuah argument.
Caranya dengan menyalahkan kesimpulan dari argument, berikut cara dalam strategi pembalikan :
1. Menegasikan kesimpulan jika menggunakan tabel kebenaran
2. Mengubah nilai F pada kesimpulan jika menggunakan teknik model.

Sebagai ilustrasi perhatikan penyelesaian untuk contoh argument 1.

Penyelesaian :
Langkah 1 :
Mengubah kalimat argument menjadi variable proposisional
A = Noah mengadakan konser
B = Harga tiket terlalu mahal
C = Penonton ramai

Langkah 2 :
Mengubah kalimat argument menjadi ekspresi logika
P1 : A → (¬B → C)
P2 : A → ¬B
C : ¬(A → C) penerapan strategi pembalikan, kesimpulan dinegasikan.

Langkah 3 :
Merangkai premis – premis dan kesimpulan
{A → (¬B → C)), (A → ¬B)} ‡¬(A → C)
Selanjutnya ekspresi tersebut dihubungkan dengan perangkai Ʌ, sehingga menjadi :
(A → (¬B → C)) Ʌ (A → ¬B) Ʌ ¬(A → C)

Langkah 4 :
Buatlah tabel kebenaran untuk membuktikan konsistensi argumen :
(A → (¬B → C)) Ʌ (A → ¬B)) Ʌ ¬(A → C)
P1 P2 C Hasil Operasi
A B C ¬B ¬B → C A → (¬B → C) A → ¬B ((A → (¬B → C)) Ʌ (A → ¬B) A→C ¬(A → C)
1 T T T F T T F F T F F
2 T T F F T T F F F T F
3 T F T T T T T T T F F
4 T F F T F F T F F T F
5 F T T F T T T T T F F
6 F T F F T T T T T F F
7 F F T T T T T T T F F
8 F F F T F T T T T F F
Hasil dari strategi pembalikan dengan menegasikan kesimpulan pada tabel diatas terlihat bahwa pada
baris 3,5,6,7 dan 8 untuk P1 dan P2 yang bernilai T diperoleh C yang bernilai F dan hasil operasi yang juga
bernilai F dengan demikian dapat disimpulkan dengan pembuktian strategi pembalikan arguman 1 tetap
konsisten.

C. MODEL
Teknik model merupakan usaha untuk menemukan konsistensi dari sebuah argument dengan
menemukan nilai premis – premis T dan kesimpulan bernilai T, dengan hasil operasi juga bernilai T. Akan
tetapi karena nilai T dapat berasal dari berbagai kemungkinan, maka dilakukan strategi pembalikan
dengan memberikan nilai F pada kesimpulan.

Model argument yang konsisten

Premis 1: ≡ T
Premis 2: ≡ T
Premis ke-n: ≡ T
kesimpulan: ≡ T
Berdasarkan contoh argument 1, maka berikut cara penyelesaian dengan teknik model :
Penyelesaian :
Langkah 1 :
Memberikan nilai pada premis dan kesimpulan :
P1 : A → (¬B → C) ≡T
P2 : A → ¬B ≡T
C :A→C ≡ F penerapan strategi pembalikan
Setiap premis dan kesimpulan serta variable proposisional pasti memiliki nilai, sehingga ditulis dalam
bentuk v(A→B) ≡ T atau v(A) ≡ T, yang berar value of(A) atau nilai dari(A).

Langkah 2 (cek kesimpulan) :

1. Jika v(A → C) ≡ F, maka hanya ada satu kemungkinan, yaitu :
v(A) ≡ T dan v(C) ≡ F
2. Sehingga v(A) ≡ T
3. Sehingga v(C) ≡ F

Langkah 3 (cek premis 1) :

1. Jika v(A → (¬B → C)) ≡ T
Diketahui :
 v(A) ≡ T
 v(C) ≡ F
jika ingin memperoleh v(A → (¬B → C)) ≡ T, maka harus v(¬B → C) ≡ T karena v(A) ≡ T
untuk itu karena v(C) ≡ F, hanya terdapat satu kemungkinan saja yakni v(¬B) ≡ F.
2. sehingga v(¬B) ≡ F  B=T

Langkah 4 (cek premis 2) :

1. jika v(A → ¬B) ≡ T
Diketahui :
 v(A) ≡ T
 v(¬B) ≡ F
2. Maka tidak mungkin terjadi v(A→ ¬B) ≡ T, dengan nilai v(A) ≡ T dan v(¬B) ≡ F. dan berdasarkan nilai
kedua variable tersebut seharusnya v(A → ¬B) ≡ F

Hasil :
Karena tidak mungkin pada saat bersamaan terjadi
P1 : A → (¬B → C) ≡ T
P2 : A → ¬B ≡T
C :A→C ≡F

Hasil yang diperoleh :

P1 : A → (¬B → C) ≡ T
P2 : A → ¬B ≡F
C :A→C ≡F

Sehingga argument diatas konsisten dan valid, karena terjadi perubahan P2 dari T menjadi F dan
kesimpulannya yang juga menunjukkan hasil sama dengan F. Apabila nilai P1 dan P2 tidak mengalami
perubahan, maka argumen dapat dinyatakan tidak valid dan tidak konsisten.