não que "lógica da programação" seja chato!
o fato é que não existe "lógica da programação". existe lógica e lógica é lógica..
tem aristotélica, fuzzy, modal, parassintética etc, mas não existe uma lógica especifica da programação. então qdo o cara estuda lógica de verdade, ele se anima
pq é uma área gigante e fantástica. e depois vai e estuda "como aplicar lógica na programação" e aproveita pra aprender programação de verdade (o que mais eu vejo é "programador" que não sabe nem o que é análise de complexidade de alg).