the syntax and semantics of Linear Temporal Logic (LTL) , writing homework help

writeExamine the syntax and semantics of Linear Temporal Logic (LTL) closely.Determine whether you find it easier or harder to read and understand thanother formal modeling languages. Provide a rationale.Differentiate between instance variables and state variables and provideexamples of each. Determine which of the two types of variables could adverselyimpact a design if used improperly in a system and explain why.