Upload presentasi
Presentasi sedang didownload. Silahkan tunggu
Diterbitkan olehDeddy Sutedja Telah diubah "7 tahun yang lalu
1
Pertemuan ketiga Oleh : Fatkur Rhohman
Tautologi Pertemuan ketiga Oleh : Fatkur Rhohman
2
Suatu ekspresi logika yang selalu bernilai benar di dalam tabel kebenarannya, tanpa memedulikan nilai kebenaran dari proposisi yang berada di dalamnya. Pengertian
3
Contoh Buktikan: (AB) B adalah tautologi?
Bukti: tabel kebenaran seperti berikut: Jadi ekspresi di atas adalah tautologi Contoh
4
Soal 3.1 Diketahui : Jika (AB)B adalah tautologi
Buktikan : ((AB)C)C juga tautologi Soal 3.1
5
Jika tautologi dipakai pada suatu argumen, berarti argumen harus mempunyai nilai T pada seluruh pasangan pada tabel kebenaran yang ada membuktikan argumen tadi valid. Argumen berarti memiliki premis- premis dan mempunyai kesimpulan. Jika premis-premis benar, maka kesimpulan juga harus benar.
6
Contoh Tentukan nilai kebenaran dari kalimat berikut:
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, makaTini pergi kuliah. Contoh
7
Suatu ekspresi logika yang selalu bernilai salah di dalam tabel kebenarannya, tanpa memedulikan nilai kebenaran dari proposisi- proposisi yang berada di dalamnya. Kontradiksi
8
Pada argumen, suatu kontradiksi dapat dijumpai jika antara premis-premis bernilai T, sedangkan kesimpulan bernilai F. Hal ini tentunya tidak mungkin terjadi, karena premis-premis yang benar harus menghasilkan kesimpulan benar. Dalam bahasa logika konjungsi dari semua premis-premis dengan negasi dari kesimpulan selalu bernilai F, dan terjadi kontradiksi. Negasi kesimpulan berarti memberi nilai F pada negasi kesimpulan.
9
((AB)A)B Tabel kebenarannya: Contoh
10
Suatu ekspresi logika yang mempunyai nilai benar dan salah di dalam tabel kebenarannya, tanpa memedulikan nilai kebenaran dari proposisi-proposisi yang berada di dalamnya. Contingent
11
((AB)C)A Tabel kebenarannya: Contoh
12
Pemanfaatan Tautologi
Ada beberapa hal penting yang diakibatkan oleh tautologi, yakni: Implikasi secara logis. Misalnya A dan B adalah dua buah ekspresi logika, maka jika dikatakan A secara logis mengimplementasikan B dapat ditulis dengan A B Ekuivalen secara logis. Misalnya A dan B adalah dua buah ekspresi logika, maka jika dikatakan A ekuivalen secara logis dengan B, dapat ditulis dengan: A B. di sini disyaratkan A B, jika dan hanya jika AB adalah tautologi. Pemanfaatan Tautologi
13
Dua Jenis Implikasi Implikasi material, contoh: AB
Di sini berlaku aturan tabel kebenaran untuk implikasi Implikasi logis, contoh: AB Di sini secara mudah dapat dibaca ‘menyebabkan’, sebagai contoh jika A = T, maka A pasti tautologi, jika A = F, maka A pasti kontradiksi. Jika TA, maka A pasti tautologi, dan jika FA, maka A pasti kontradiksi Dua Jenis Implikasi
14
Tentukan apakah dari ekspresi-ekspresi logika berikut ini termasuk tautologi, kontradiksi, atau contingent. A(BA) (BA)A (A(AB))B ((AB)(AB)) ((AB)(BC)) (AC) Soal 3.2
15
Jika (AA) adalah tautologi, buktikan bahwa ekspresi-ekspresi logika berikut ini adalah tautologi.
(AB)(AB) A A ((AC)B)((AC)B)
16
Proposisi A dan B disebut ekuivalen secara logis jika AB adalah tautologi. Notasi atau simbol A B menandakan bahwa A dan B adalah ekuivalen secara logis. Proposisi dapat diganti dengan ekspresi logika berupa proposisi majemuk. Pada tautologi dan juga kontradiksi dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian juga jika keduanya kontradiksi. Pada contingent, jika urutan T dan F atau sebaliknya pada tabel kebenaran tetap pada urutan yang sama, maka tetap disebut ekuivalen secara logis. Ekuivalen Logis
17
Contoh Dewi sangat cantik dan peramah. Dewi peramah dan sangat cantik.
Dalam bentuk ekspresi logika dapat ditampilkan sebagai berikut: A = Dewi sangat cantik. B = Dewi peramah. Maka ekspresi logika tersebut adalah: AB BA Contoh
18
Pembuktian dengan tabel kebenaran:
BA
19
Contoh Jika Anda tidak belajar, maka Anda akan gagal.
Anda harus belajar atau Anda akan gagal. Tabel Kebenaran Contoh
20
Buktikan bahwa ekspresi-ekspresi logika berikut ini ekuivalen dengan menggunakan tabel kebenaran:
AB (AB)(BA) A(AB) 1 (AB)C (AB)C Soal 3.3
Presentasi serupa
© 2024 SlidePlayer.info Inc.
All rights reserved.