Explain how the notion of learnt on mathematical logic can help in formalize requirements and give an example of a formalization in logic of a requirement (you can use any requirement) (60%).