JAWABAN

1. Membuktikan ekuivalensi antara pernyataan p → q dan ~q → ~p menggunakan tabel kebenaran:

Tabel kebenaran:
p q p→q ~q ~p ~q →
~p
B B B S S B
B S S B S B
S B B S B B
S S B B B B

Dari tabel kebenaran di atas, dapat dilihat bahwa kolom "p → q" dan kolom "~q → ~p" memiliki nilai
kebenaran yang sama untuk semua kombinasi nilai p dan q. Dengan demikian, dapat disimpulkan
bahwa pernyataan p → q dan ~q → ~p adalah ekuivalen.

2. Menentukan kesimpulan yang sah dari premis-premis yang diberikan dan jenis tautologi yang
digunakan:

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

Jadi Dari premis-premis tersebut, bisa ditarik kesimpulan bahwa "Hari ini tidak hujan deras".

Jenis tautologi yang digunakan adalah Modus Tollens, yang dapat dinyatakan sebagai berikut:
Jika p, maka q.
Tidak q.
Maka, tidak p.

Dalam kasus ini:

p = "Hari ini hujan deras"
q = "Budi tidak keluar rumah"
Premis 1 menyatakan "Jika p, maka q".
Premis 2 menyatakan "Tidak q" (Budi keluar rumah).
Kesimpulan yang sah adalah "Tidak p", yaitu "Hari ini tidak hujan deras".

Jadi, kesimpulan yang sah dari premis-premis tersebut adalah "Hari ini tidak hujan deras", dan jenis
tautologi yang digunakan adalah Modus Tollens.