Biimplikasjon/Biconditional? ↔
? (A
↔ B)? har samme
sannhetsverditabell????
????????????????
som? ((A→B) ? (B→A))
???????????????
?hvis og bare hvis??
????????????????? (forkortet hviss)
???????????????
oversettes med ↔
![endif]>![if>