Arte de ordenar os pensamentos de forma estruturada, 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, na lógica computacional , é uma forma de passar uma mensagem ao computador de forma que ele entenda as ordens que vamos da.

O que é Proposição? 
Consiste em um enunciado, uma frase declarativa.

O que são Premissas?  
Consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do silogismo.

O que são Argumentos? 
Conjunto de enunciados que se relacionam uns com os outros.

O que é Silogismo? 
Consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.

O que é Falácia? 
Consiste em argumentos que logicamente estão incorretos.

O que é inferência? Quais os tipos? 
é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. A inferência, pode ser de dois tipos: indutiva e dedutiva.