Logika Inferensi

Apa yang dimaksud dengan logika inferensi?

• Cabang logika yang mempelajari bentuk argumen

• Cabang logika yang mempelajari cara menarik kesimpulan dari premis

• Cabang logika yang mempelajari struktur bahasa

• Cabang logika yang mempelajari matematika murni

Jenis logika inferensi yang menarik kesimpulan pasti dari premis yang diketahui adalah...

• Inferensi Deduktif

• Inferensi Induktif

• Inferensi Abduktif

• Inferensi Analogis

Contoh dari inferensi induktif adalah...

• "Jika A benar, maka B benar."

• "Semua manusia adalah fana. Socrates adalah manusia. Jadi, Socrates fana."

• "Matahari terbit di timur setiap hari. Maka, kemungkinan besar matahari akan terbit di timur besok."

• "Jika jalan basah, maka hujan turun."

Inferensi abduktif digunakan untuk...

• Menarik kesimpulan dari pola data yang ada

• Menarik kesimpulan yang pasti dari premis yang ada

• Menarik kesimpulan dari penjelasan terbaik yang mungkin

• Menyusun argumen logis dalam bahasa pemrograman

Apa yang dimaksud dengan Modus Ponens?

• Jika P atau Q benar, dan P salah, maka Q benar

• Jika P → Q dan P benar, maka Q benar

• Jika P → Q dan Q salah, maka P juga salah

• Jika P → Q dan Q → R, maka P → R

Jika seorang peneliti mengumpulkan data untuk membuat hipotesis, jenis inferensi yang digunakan adalah...

• Deduktif

• Induktif

• Abduktif

• Analogis

Penggunaan inferensi deduktif yang paling umum adalah dalam...

• Diagnosa medis

• Pembelajaran mesin

• Pengembangan algoritma AI

• Pembuktian teorema matematika

Jenis inferensi yang menarik kesimpulan berdasarkan penjelasan terbaik dari fakta yang ada disebut...

• Inferensi Deduktif

• Inferensi Induktif

• Inferensi Abduktif

• Inferensi Transformatif

Contoh dari Modus Tollens adalah...

• Jika P → Q dan Q salah, maka P juga salah

• Jika P → Q dan P benar, maka Q benar

• Jika P atau Q benar, dan P salah, maka Q benar

• Jika P → Q dan Q → R, maka P → R

Penggunaan inferensi abduktif sering digunakan dalam...

• Penelitian ilmiah

• Diagnosa medis

• Pembuktian teorema

• Desain algoritma