fects ${~R{:}~P} \land
{~\lnot R{:}~Q}$, which in turn can be
reduced to two regular actions. The proposition $R$ stands for a random
proposition that is unknown in the initial state and for which there are
no sensing actions. Is this argument correct? Consider separately two
cases, one in which only one instance of action schema $a$ is in the
plan, the other in which more than one instance is.
</div>

  </div>
  <div class="card">
    <div class="card-header p-2">
        <a href='#' class="p-2">Exercise 1