If you travel from the United States to Spain, then you must have a passport. Can this be written as a biconditional? If so, what is the biconditional.
If you have a passport, then you travel from the United States to Spain.
You travel from the United States to Spain if and only if you have a passport.
You have a passport if and only if you travel from the United States to Spain.
This cannot be written as a biconditional.