Научение правильным рассуждениям может и должно сопровождаться решением развивающих логических задач. На их примерах законы логики высказываний воплощаются в сказочных персонажах, действующих в вымышленном антураже. Применение в исчислениях высказываний законов (не)противоречия, вычёркивания, идемпотентности, правил функционирования логических операторов отрицания, конъюнкции, слабой дизъюнкции в процессе формализации условий задач, изложенных на естественнном языке подготавливает почву для перехода к кодированию условий и решения на машинных языках. В материале предлагается решение классической задачи «Суд Париса» табличным способом, на языке логики высказваний и на листе электронной таблицы.