Jika diketahui pernyataan p benar dan q salah, maka

D. ~p -> q

Pembahasan

Kita diberikan dua pernyataan: $p$ bernilai benar (True) dan $q$ bernilai salah (False).
Kita perlu menentukan pernyataan mana di antara pilihan A-E yang bernilai benar.

Mari kita evaluasi setiap pilihan:

A. $p \to q$ (Jika p maka q)
   Ini adalah implikasi. Implikasi bernilai salah hanya jika anteseden (p) benar dan konsekuen (q) salah. Dalam kasus ini, p benar dan q salah, sehingga $p \to q$ bernilai **Salah**.

B. $\sim p \lor q$ (Tidak p atau q)
   Pertama, cari nilai $\sim p$. Karena $p$ benar, maka $\sim p$ salah.
   Kemudian, evaluasi $\text{Salah} \lor \text{Salah}$. Disjungsi (atau) bernilai benar jika salah satu atau kedua pernyataan benar. Karena keduanya salah, maka $\sim p \lor q$ bernilai **Salah**.

C. $\sim p \land q$ (Tidak p dan q)
   Kita sudah tahu $\sim p$ salah dan $q$ salah.
   Evaluasi $\text{Salah} \land \text{Salah}$. Konjungsi (dan) bernilai benar hanya jika kedua pernyataan benar. Karena keduanya salah, maka $\sim p \land q$ bernilai **Salah**.

D. $\sim p \to q$ (Jika tidak p maka q)
   Kita tahu $\sim p$ salah dan $q$ salah.
   Evaluasi $\text{Salah} \to \text{Salah}$. Implikasi bernilai benar jika anteseden salah. Karena $\sim p$ salah, maka implikasinya bernilai **Benar**.

E. $\sim p \land \sim q$ (Tidak p dan tidak q)
   Kita tahu $\sim p$ salah.
   Karena $q$ salah, maka $\sim q$ benar.
   Evaluasi $\text{Salah} \land \text{Benar}$. Konjungsi bernilai benar hanya jika kedua pernyataan benar. Karena salah satunya salah, maka $\sim p \land \sim q$ bernilai **Salah**.

Jadi, pernyataan yang bernilai benar adalah D.