O que é Lógica?
Para qualquer resposta que se dê a essa pergunta corre-se o risco de deixar de fora algum aspecto importante da lógica, pois normalmente associa-se a lógica apenas à matemática, esquecendo-se de que ela se aplica a todos os ramos do conhecimento humano. Porém, uma resposta ampla e precisa para essa difícil pergunta, é que a lógica é uma ciência que estuda os princípios e os métodos que permitem estabelecer as condições de validade e invalidade de argumentos. Na ciência da computação a lógica tem como papel principal o desenvolvimento de linguagens de modelagem e especificação, com o objetivo de permitir o raciocínio sobre situações e sistemas e no desenvolvimento de argumentos sobre situações específicas, que possam ser validados ou não.