Пропозициональная логика задач и высказыванийтезисы доклада