Video solusi : Pernyataan p dan q dapat digabung dengan kata hubung logika '...jika dan hanya jika ...' sehingga membentuk sebuah pernyataan majemuk 'p jika dan hanya jika q' yang disebut biimplikasi.Biimplikasi 'p jika dan hanya jika q' dilambangkan dengan 'p <=> q', dan tabel kebenarannya adalah:p q p<=>q B B B B S S S B S S S B Perhatikan bahwa p <=> q bernilai sama (sama-sama benar atau sama-sama salah).Periksalah nilai kebenaran dari pernyataan '2x5=7 jika dan hanya jika 7-5=2'!