Prof. Johan Matheus Tuwankotta, S.Si., M.Si.

Video ini membahas tentang pengenalan aturan inferensi dalam logika, di mana kita dapat menyederhanakan kalimat kompleks menjadi lebih mudah dipahami. Dengan menggunakan tabel kebenaran untuk menghitung nilai kebenaran dari pernyataan yang kompleks, aturan inferensi membantu dalam menyimpulkan informasi dari kalimat-kalimat bersusun yang rumit. Hal ini memungkinkan kita untuk menyelesaikan pernyataan dengan lebih mudah dan menarik.

Berikut ini adalah sebuah contoh dari kalimat yang kompleks,

kalimat yang bersusun, kalimat yang sangat-sangat banyak elemen-elemen di dalamnya.

Lalu kita ingin mengetahui apakah kalimat ini benar atau salah.

Tentu saja, yang dapat kita lakukan adalah menuliskan tabel kebenaran dari kalimat-kalimat ini.

Pertanyaannya bagaimana menuliskan nilai kebenarannya.

Yang pertama saya harus tahu membuat tabel kebenaran untuk P dan Ki.

Jadi seakan-akan seperti saya menuliskan,

di sini ada P, di sini ada Ki, dan saya tuliskan semua kemungkinan yang mungkin.

Setelah itu saya butuh P atau Ki, itu yang pertama dari sini.

Dan saya bisa tuliskan di sini nilai kebenarannya apa.

Setelah itu saya harus menghitung P maka Ki.

Dan saya bisa list di sini nilai kebenarannya apa berdasarkan nilai kebenaran yang saya tulis di sini.

Kemudian saya perlu menghitung Ki maka P.

Dan terakhir saya harus menghitung tidak P atau tidak Ki.

Dan sebenarnya untuk mendapatkan tidak P dan tidak Ki,

saya membutuhkan menambah dua kolom lagi di bagian input yang saya tahu di sini,

Anda lihat begitu kompleks, begitu sulit, dan kesannya belibet banget.

Rumit banget untuk menyelesaikan statement yang seperti ini.

Kebayang kalau saya punya statement tiga, P, Ki, dan R.

Maka selain tabelnya bertambah panjang ke kanan,

Bagaimana kalau saya punya lima statement.

Maka baris, kolomnya bertambah banyak, barisnya juga bertambah banyak.

Melihat ini bukan gak bisa diselesaikan, bisa.

Dengan melakukan tabel ini kita dapat melakukannya dan dapat mengerjakannya.

Pertanyaannya sekarang, dapatkah kita melakukan sesuatu untuk menyederhanakan kalimat ini.

Sehingga kalimat ini menjadi sebuah kalimat-kalimat yang lebih attactable,

lebih tractable, lebih menarik untuk kita selesaikan.

Karena kalau dalam bentuk yang aslinya seperti ini,

agak terlalu rumit untuk bisa kita lihat seperti ini.

Pada bagian ini kita akan belajar apa yang dinamakan dengan aturan inferensi.

Yaitu bagaimana menyimpulkan sesuatu dari kalimat-kalimat komposit yang rumit seperti ini.

Introduksi Aturan Inferensi

DEKSRIPSI

PENGAJAR

Prof. Johan Matheus Tuwankotta, S.Si., M.Si.

Prof. Johan Matheus Tuwankotta, S.Si., M.Si.

DEKSRIPSI

Prof. Johan Matheus Tuwankotta, S.Si., M.Si.

Prof. Johan Matheus Tuwankotta, S.Si., M.Si.