Las situaciones son términos lógicos que consisten en una situación inicial y todas las situaciones que son generadas mediante la aplicación de una acción a una situación.