propositional_symbols