BAB 5 TAUTOLOGI 1. Pendahuluan 2. Evaluasi validitas argumen

advertisement
BAB 5
TAUTOLOGI
1. Pendahuluan
Mengubah suatu argumen atau pernyataan-pernyataan menjadi suatu ekspresi logika,
tentunya harus mengenali sub-subekspresinya. Salah satunya dengan membentuk Parse
Tree yang memudahkan pembentukan ekspresi logika khususnya yang berbentuk
proposisi majemuk.
Pembuktian validitas ekspresi-ekspresi logika dari suatu argumen dapat dilakukan dengan
tabel kebenaran, yaitu terlebih dahulu memberi variabel proposisional pada setiap
proposisi majemuk untuk setiap pernyataan, dan kemudian mengevaluasi dengan tabel
kebenaran.
2. Evaluasi validitas argumen
Tabel kebenaran menggunakan aturan-aturan untuk setiap perangkai, dengan setiap
pasangan nilai variabel proposisional yang dimungkinkan.
Sebelum mengevaluasi suatu argumen, terlebih dahulu harus membentuk pernyataanpernyataan menjadi ekspresi logika.
Contoh 1:

Jika Anda mengambil mata kuliah logika informatika, dan jika Anda tidak memahami
tautologi, maka Anda tidak lulus.
Misal:
A = Anda mengambil mata kuliah logika informatika
B = Anda memahami tautologi
C = Anda lulus
Maka ekspresi logika untuk pernyataan di atas adalah
(A ∧ ¬B) → ¬C
Selanjutnya dibuat tabel kebenaran:
A
B
C
¬B
¬C
(A˄¬B)
(A˄¬B)→¬C
T
T
T
F
F
F
T
T
T
F
F
T
F
T
LOGIKA INFORMATIKA
BY: SRI ESTI
T
F
T
T
F
T
F
T
F
F
T
T
T
T
F
T
T
F
F
F
T
F
T
F
F
T
F
T
F
F
T
T
F
F
T
F
F
F
T
T
F
T
Perhatikan bahwa secara umum, jika ada n variabel (A, B, …), maka tabel kebenaran
memuat 2n baris. Jadi jika ada 3 variabel proposisional, yakni A, B, dan C, maka ada 23=8
pasangan yang mungkin.
Contoh 2:

Tidak belajar, tidak lulus.
Pernyataan di atas dapat diubah menjadi:

Jika anda tidak belajar, maka anda tidak lulus.
Misal:
A = Anda belajar
B = Anda lulus
Maka ekspresi logika untuk pernyataan di atas adalah
¬A → ¬B
Selanjutnya dibuat tabel kebenaran:
A
B
¬A
¬B
¬A → ¬B
T
T
F
F
T
T
F
F
T
T
F
T
T
F
F
F
F
T
T
T
Latihan soal:
Buatlah tabel kebenarannya:
1. Barang-barang yang dibeli di toko ini dapat dikembalikan, hanya jika berada dalam
kondisi yang baik, dan hanya jika pembeli membawa bukti pembeliannya.
2. Jika Badu belajar rajin dan sehat, maka Badu lulus ujian, atau jika Badu tidak belajar
rajin dan tidak sehat, maka Badu tidak lulus ujian.
LOGIKA INFORMATIKA
BY: SRI ESTI
3. Tautologi
Suatu ekspresi logika yang selalu bernilai benar di dalam tabel kebenarannya, tanpa
mempedulikan nilai kebenaran dari proposisi – proposisi di dalamnya disebut tautologi.
Contoh:
1. Apakah (A˅ ¬A) adalah tautologi?
Buatlah tabel kebenarannya
A
¬A
A˅ ¬A
T
F
T
F
T
T
Jadi (A˅ ¬A) adalah tautologi
2. Apakah (¬(A˄B) ˅ B) adalah tautologi?
Buatlah tabel kebenarannya
A
B
A˄B
¬( A˄B)
¬(A˄B)˅B
T
T
T
F
T
T
F
F
T
T
F
T
F
T
T
F
F
F
T
T
Jadi ¬(A˄B) ˅ B adalah tautologi
Latihan soal:
1. Buktikan bahwa (¬((A˅B) ˄C) ˅ C) adalah tautologi
2. Buatlah ekspresi logikanya, dan buktikan dengan tabel kebenaran, apakah merupakan
tautologi?
“Jika Tono pergi kuliah, maka Tini juga pergi kuliah. Jika Siska tidur, maka Tini
pergi kuliah. Dengan demikian, jika Tono pergi kuliah atau Siska tidur, maka Tini
pergi kuliah”
LOGIKA INFORMATIKA
BY: SRI ESTI
4. Kontradiksi
Kebalikan dari tautologi adalah kontradiksi, yakni jika pada semua pasangan nilai dari
tabel kebenaran menghasilkan nilai Fatau suatu ekspresi logika yang selalu bernilai salah
di dalam tabel kebenarannya, tanpa memperdulikan nilai kebenaran dari proposisiproposisi yang berada didalamnya.
Contoh:
A ˄ ¬A
Tabel kebenarannya seperti berikut:
A
¬A
A ˄ ¬A
T
F
F
F
T
F
Jadi A ˄ ¬A adalah kotradiksi
Latihan soal:
((A˅B) ˄ ¬A) ˄ ¬B
5. Contingent
Suatu ekspresi logika yang mempunyai nilai benar dan dan salah di dalm tabel
kebenarannya, tanpa memperdulikan nilai kebenaran dari proposisi-proposisi yang berada
didalamnya atau jika pada semua nilai kebenarannya menghasilkan nilai F dan T disebut
contingent atau formula campuran.
Contoh:
((A˄B) → C) →A
Tabel kebenarannya adalah:
A
B
C
A˄B
(A˄B) → C
((A˄B) → C) →A
T
T
T
T
T
T
T
T
F
T
F
T
T
F
T
F
T
T
T
F
F
F
T
T
F
T
T
F
T
F
LOGIKA INFORMATIKA
BY: SRI ESTI
F
T
F
F
T
F
F
F
T
F
T
F
F
F
F
F
T
F
Latihan Soal:
Buatlah tabel kenaran dari ekpresi logika berikut:
((A→B) ˄ (¬B→C)) → (¬C→A)
6. Pemanfaatan tautologi
Tautologi menyebabkan timbulnya implikasi secara logis dan ekuivalen secara logis yang
menimbulkan hukum-hukum pada logika proposisional dan berperan penting pada
masalah penyederhanaan dan berbagai pembuktian validitas argumen yang tidak
memakai tabel kebenaran.
Latihan soal:
Tentukan apakah dari ekspresi-ekspresi logika berikut ini termasuk tautologi, kontradiksi,
atau contingent.
1. A → (B→A)
2. (B→A) → A
3. ¬¬A → A
4. (¬A → ¬B)→(B→A)
5. (A→(B→C))→((A→B)→(A→C))
6. (A˄(A→B))→B
7. ((A→B)↔(¬A˅B)
8. ((A→B)˄(B→C))→(A→C)
LOGIKA INFORMATIKA
BY: SRI ESTI
Download