S logickou analýzou (45)