Stav dette: Understanding Symbolic Logic