Hvad er en Biconditional?

En bibetingelse er en erkl
ring på formen "hvis og kun hvis" (forkortet til "iff"). Det er en logisk forbindelse, der kombinerer to udsagn og antyder, at de er
kvivalente, hvilket betyder, at det ene udsagn er sandt, hvis og kun hvis det andet udsagn er sandt. skrives i symbolsk form som:

P → Q

hvor P repr
senterer "det regner" og Q repr
senterer "gaderne bliver våde". Pilen (→) angiver, at P betyder Q, hvilket betyder, at hvis P er sandt, så skal Q også v
re sandt.

I dette tilf
lde siger den betingede erkl
ring, at hvis det regner, så vil gaderne v
re våde, men det siger ikke at gaderne bliver våde, blot fordi det regner. I stedet står der, at de to udsagn er
kvivalente, og det ene kan ikke v
re sandt, uden at det andet er sandt.