Biimplikation, dobbelt implikation, i logik og matematik enten udtryk af typen "p er sand, hvis og kun hvis q er sand" eller selve udtrykket "hvis og kun hvis", som ofte skrives ⇄ eller p⇔q. Hvis to udtryk er forbundet med en biimplikation, siges de at biimplicere hinanden. Se også ækvivalens.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.