Directions. Translate the 5 statements below into symbolic notation using the following translation dictionary:
F = France will have an increase in tourism;
B = Belgium will leave the European Union;
S = Spain will have an increase in tourism;
[Use only the following symbols in translations:
‘&’ for conjunctions,
‘~’ for negations,
‘->’ for conditionals,
‘<->’ for biconditionals,
‘v’ for disjunctions.
Spain will have an increase in tourism provided that Belgium leaves the European Union.