Biimplikasi


Proporsi “p jika dan hanya jika q” disingkat menjadi “p jhj q” dinotasikan dengan p \Leftrightarrow q disebut juga proporsi dwisyarat atau bikondisional. Proporsi p \Leftrightarrow q, selain dibaca “p jhj q“, juga dapat dibaca dengan “p syarat cukup dan perlu bagi q

    Dalam bahasa sehari-hari bentuk “p jhj q” sangat jarang digunakan tetapi dalam belajar matematika sering dijumpai dalam bentuk hokum matematika baeik teorema, lemma maupun akibat. Baca lebih lanjut