Элемент 'propositional calculus'