Stav dette: Lógica Simbólica