Dari pernyataan 'Jika si A benar maka si B benar' dapat

Kesimpulan (2) dan (4) benar.

Pembahasan

Pernyataan awal adalah 'Jika si A benar maka si B benar'. Ini adalah implikasi logis yang dapat ditulis sebagai A → B.

Sekarang kita analisis setiap pilihan:
(1) Jika si A benar maka si B tidak benar. (A → ¬B) Ini adalah negasi dari konsekuen, yang TIDAK ekuivalen dengan A → B.
(2) Jika si A tidak salah maka si B tidak salah. ('Si A tidak salah' sama dengan 'Si A benar'. 'Si B tidak salah' sama dengan 'Si B benar'. Jadi, ini adalah A → B, yang ekuivalen dengan pernyataan awal.)
(3) Jika si B benar maka si A benar. (B → A) Ini adalah konvers dari A → B, yang TIDAK ekuivalen dengan A → B.
(4) Jika si B tidak benar maka si A tidak benar. (¬B → ¬A) Ini adalah kontrapositif dari A → B. Kontrapositif selalu ekuivalen dengan pernyataan implikasi aslinya.

Oleh karena itu, kesimpulan yang benar adalah (2) dan (4).