The paper deals with one of possibilities of summarizing and applying knowledge from mathematical logic in real situations. As the means for the activity, word problems posing is used; it associates the skill to formulate correctly the assignment with the application of gained mathematical knowledge.