Em um sentido amplo, a lógica é o estudo da estrutura e dos princípios relativos ao raciocínio, à estruturação do pensamento, com ênfase na argumentação, que pode ser considerada como válida ou inválida. Com base em premissas, ela permite a construção do raciocínio indutivo ou dedutivo, e também a realização de operações lógicas simbólicas e demonstrações matemáticas.