1.

Untuk membuktikan ekuivalensi antara dua pernyataan dalam logika, kita bisa
menggunakan tabel kebenaran. Berikut adalah tabel kebenaran untuk p-q dan ~q-~p:

p q ~q ~p p-q ~q-~p
TTFFTT
TFTFFT
FTFTTF
FFTTTT

Dari tabel tersebut, kita bisa melihat bahwa p-q dan ~q-~p tidak selalu memiliki nilai yang
sama. Jadi, kita dapat menyimpulkan bahwa p-q dan ~q-~p tidak ekuivalen.

2. Mengenai premis-premis yang diberikan:

Premis 1: Jika hari ini hujan deras, Budi tidak keluar rumah.
Premis 2: Budi keluar rumah.

Dari premis-premis tersebut, kita bisa membuat kesimpulan yang sah yaitu "Hari ini tidak
hujan deras." Kesimpulan ini didasarkan pada modus tollens, yaitu bentuk penalaran deduktif
yang menyatakan jika "jika p maka q" adalah benar dan "q adalah salah" maka "p juga salah".
Jadi, jika "jika hujan deras maka Budi tidak keluar rumah" adalah benar dan "Budi keluar
rumah" (yang berarti "Budi tidak keluar rumah" adalah salah), maka kita bisa menyimpulkan
"hari ini tidak hujan deras".