Jawaban:

Bentuk konvers dari implikasi logis p -> q adalah ~q -> ~p. Implikasi logis merupakan hubungan antara dua proposisi yang disebut premis (p) dan kesimpulan (q), dimana premis merupakan suatu proposisi yang dijadikan dasar atau alasan untuk menyatakan kesimpulan yang lain. Bentuk konvers dari implikasi logis merupakan hubungan yang terbalik dari implikasi logis asli, dimana premis menjadi negasi dari kesimpulan dan kesimpulan menjadi negasi dari premis.

Contoh:

Jika hari ini hujan, maka saya akan membawa payung. (p -> q)

Jika saya tidak membawa payung, maka hari ini tidak hujan. (~q -> ~p)

Dalam notasi proposisi, bentuk konvers dari implikasi logis p -> q dapat dituliskan sebagai ~q -> ~p.