Atomic proposition
= Atomic proposition
{wiki}
An indivisible statement treated as either true or false. In a labelled <transition system>, an <atomic proposition> $p$ holds at <state> $s$ exactly when $p\in L(s)$.
= Atomic proposition
{wiki}
An indivisible statement treated as either true or false. In a labelled <transition system>, an <atomic proposition> $p$ holds at <state> $s$ exactly when $p\in L(s)$.