Element 'propositional logic'