A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar.

Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve.

A lógica computacional é derivada da lógica matemática, mas vai para além dessa, e aplicada à programação de computadores. Sem ela, diversos avanços tecnológicos, como a inteligência artificial, seriam impossíveis.

Esse tipo de lógica analisa as relações entre os valores e transforma em algoritmos. Para isso recorre também a modelos lógicos que rompem com o modelo inicialmente proposto por Aristóteles.

Em uma argumentação, aquilo que é dito e possui a forma de sujeito, verbo e predicado é chamado de proposição. As proposições são enunciados, afirmações ou negações, e possuem sua validade, ou falsidade, analisada logicamente.

São enunciados que se relacionam uns com os outros para que se chegue a uma conclusão.
Um argumento pode ser válido ou inválido.

São argumentos logicamente incorretos como distorções, e conclusões incorretas.

Seu conceito está em definir conclusões a partir de premissas(lógica perfeita). A inferência pode ser de dois tipos: indutiva e dedutiva.

Dedutiva: É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares.

Indutiva: Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares.