Definition:Propositional Formula