ITL
© 1996-2015







8 Examples Propositional ITL

Example 4

skip
skip ;skip
Q ∧ skip
Q ∧ (skip ;Q )
P ∧ (((R ) ∧ skip);Q )
Q ∧ (C Q) ∧ (CC Q )
( P ) ∧ ( Q )
!Q *
skip

_____________________________________________________________________