The acquisition of propositional logic and formal operational schemata during the secondary school years · Study