Hva er en bibetingelser?
En bibetingelse er en uttalelse av formen "hvis og bare hvis" (forkortet til "iff"). Det er en logisk forbindelse som kombinerer to utsagn og antyder at de er likeverdige, noe som betyr at det ene utsagnet er sant hvis og bare hvis det andre utsagnet er sant.
For eksempel kan det bibetingede "Hvis det regner, så blir gatene våte" skrives i symbolsk form som:
P → Q
der P representerer "det regner" og Q representerer "gatene vil bli våte". Pilen (→) indikerer at P antyder Q, noe som betyr at hvis P er sann, så må Q også v
re sann.
I dette tilfellet sier det bibetingede utsagnet at hvis det regner, vil gatene v
re våte, men det står ikke at gatene blir våte rett og slett fordi det regner. I stedet står det at de to påstandene er likeverdige, og det ene kan ikke v
re sant uten at det andre er sant.
Jeg likte det
Jeg liker det ikke
Rapporter en innholdsfeil
Dele
