Let σ = σ0σ1σ2σ3
Give the informal semantics (picture) of following formulae:
Give the informal semantics (picture) of following formulae:
Give the informal semantics of the following formulae:
Give the informal semantics of the following formulae:
Give for the following intervals their corresponding propositional ITL formulae
● | ● | ● |
● |
● |
|
P |
¬P | |
● |
● |
● |
P, ¬Q |
P,Q | P,¬Q |
● |
● |
● |
P |
P | P,¬Q |
Give an English description of the set intervals that correspond to the following propositional formulae
Given following informal specification give its corresponding propositional ITL formula
All intervals of up to length 10 where in the initial state the value of variable P is true and the value of variable Q is false. The value of P in each next state is the complemented value of P in the current state whereas the value of Q in each next state is the logical or of the value of P in the next state and the current value of Q.
Determine which of the following formula is satisfiable or valid. Explain why.