A lógica é um dos campos da filosofia, e pode ser considerada uma disciplina introdutória para qualquer estudo
filosófico. Isso acontece porque a lógica lida com raciocínios e argumentos. Hoje em dia, temos a lógica tradicional e a
lógica matemática ou simbólica. A lógica matemática desenvolveu-se graças aos avanços da lógica tradicional. A base
da lógica tradicional foi formulada pelo filósofo grego Aristóteles e foi reelaborada durante a Idade Média. Na
segunda metade do século XIX, a lógica teve um enorme desenvolvimento até chegar a seu estágio atual, a lógica
matemática ou simbólica. Para todo e qualquer valor de x, tem-se –2x² – x + 1 < 0 a proposição funcional “para todo e
qualquer valor de x será verdadeira”, se x for um número real