Diberikan pernyataan-pernyataan berikut: Jika adik belajar

Tidak dapat disimpulkan secara pasti bahwa adik belajar.

Pembahasan

Untuk menyimpulkan apakah adik belajar, kita dapat menggunakan logika predikat.

Pernyataan 1: Jika adik belajar (P), maka akan lulus ujian (Q). Ditulis: P → Q

Pernyataan 2: Adik belajar (P) atau bermain game (R). Ditulis: P ∨ R

Pernyataan 3: Adik lulus ujian (Q).

Kita ingin mengetahui apakah P benar.

Dari Pernyataan 1 (P → Q) dan Pernyataan 3 (Q), kita tidak bisa langsung menyimpulkan P. Ini adalah kesalahan logika yang dikenal sebagai "affirming the consequent". Hanya karena akibatnya benar, belum tentu sebabnya benar. Adik bisa saja lulus ujian karena mencontek atau alasan lain tanpa belajar.

Namun, jika kita menggabungkan semua pernyataan:
1. P → Q
2. P ∨ R
3. Q

Kita tidak dapat secara logis menyimpulkan bahwa P pasti benar. Adik lulus ujian (Q) bisa saja terjadi meskipun adik tidak belajar (¬P), karena P → Q hanya menyatakan bahwa JIKA belajar maka lulus, bukan sebaliknya. Adik juga bisa bermain game (R) sesuai pernyataan kedua, yang tidak meniadakan kemungkinan adik belajar atau tidak belajar.

Jadi, berdasarkan informasi yang diberikan, kita tidak bisa secara pasti menyimpulkan bahwa adik belajar.