Stav dette: Symbolic logic