Pernyataan 'Untuk setiap x e P jika dan hanya jika x e Q''

Pernyataan 'Untuk setiap x e P jika dan hanya jika x e Q'' mempunyai arti x e P maka x e Q dan juga x e Q maka x e P . Berdasarkan arti ini, apa hubungan antara himpunan P dan Q agar kalimat di atas bernilai B ?Kalimat tersebut disebut sebagai biimplikasi dan ditulis sebagai p <=> q . Kalimat biimplikasi juga dapat ditulis sebagai (p <=> q) ^ (q <=> p) . Sekarang, isilah tabel berikut untuk mengetahui nilai kebenaran dari p <=> q . p q p => q q => p p <=> q B B B S S B S S