Lógica formal é uma notação semelhante à notação matemática, com o objetivo de escrever argumentos lógicos sem a limitação de vocabulário ou ambiguidade de linguagens comuns (português, inglês, etc.). Eu diria que é excelente pra quem gosta de programar, não que você vá usar a notação de lógica formal na programação, mas porque te treina a ter um pensamento lógico mais aguçado.