Una barra cruzada sobre el símbolo niega el enunciado; por ejemplo formula_10 es "x "no" pertenece a A";