Bentuk yang ekuivalen dengan “jika p maka q”

B	B	S	B	B
B	S	S	S	S
S	B	B	B	B
S	S	B	B	B

Dari tabel tersebut didapatkan dua pernyataan yang ekuivalen. Ingat kembali tentang pernyataan yang ekuivalen, yaitu jika nilai pada tabel kebenarannya selalu sama. Pernyataan pada dua kolom terakhir, yaitu ekuivalen dengan . Setiap barisnya mempunyai nilai yang sama. BSBB dan BSBB. B adalah benar dan S adalah salah. Ingat betul dua pernyataan ini 

Pernyataan ini sering muncul di soal-soal. Lalu bagaimana dengan negasinya? Tentu kita bisa dengan mudah menegasikannya.


Jadi, negasi dari ekuivalen dengan .
Contoh-contohnya seperti berikut:
Coba sekarang kita cari pernyataan yang ekuivalen dengan pernyataan ini “jika belajar maka lulus”. Secara mudah kita bisa mengatakan bahwa pernyataan tersebut ekuivalen dengan “jika tidak lulus maka tidak belajar”. Ini adalah bentuk pernyataan yang equivalen dengan jika … maka… . Bentuk ini disebut kontraposisi. adalah kontraposisi dari . Perhatikan table kebenarannya berikut ini

B	B	S	S	B	B
B	S	S	B	S	S
S	B	B	S	B	B
S	S	B	B	B	B

Namun, bentuk yang ekuivalen tersebut masih mengandung jika … maka… .  Di soal-soal ujian atau tes, banyak sekali tipe soal yang pada pertanyaannya mengandung jika … maka… , tetapi pada jawabannya sama sekali tidak mengandung jika … maka… . Inilah kegunaannya. Bentuk sebaiknya diingat betul. Karena akan banyak digunakan pada soal-soal ujian atau soal-soal tes, SNMPTN/UMPTN, Ujian Nasional, dsb.
Ketika kita sudah punya ini, dengan mudah kita bisa menjawab masalah tadi. pernyataan yang ekuivalen dengan pernyataan “jika belajar maka lulus” adalah “tidak belajar atau lulus”. Dan juga ekuivalen dengan “jika tidak lulus maka tidak belajar”