Pesquise sobre lógica formal, é interessante.
Cheguei a estudar um pouco com esse canal https://www.youtube.com/@ELogicopo
Muito obrigado pela dica, vou da uma olhada também, essa logica formal me chamou a antenção, nunca tinha escutado falar dela antes.
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.