Introdução à Lógica Proposicional

Uma das disciplinas mais importantes de cursos da área da tecnologia da informação(TI), é a lógica proposicional - uma área da lógica que estuda as proposições e as relações entre elas através de conectivos lógicos, como o "e", "ou", "não" , "se...então" - que fornece uma base formal para o raciocínio lógico, sendo amplamente utilizada na matemática, na filosofia, na ciência da computação e na engenharia para analisar argumentos e construir sistemas lógicos consistentes..

Porém, antes de se aprofundar realmente no assunto, é necessário compreender:

O que é Lógica?

A melhor forma de entender como a lógica funciona é por meio de exemplos, então imagine a seguinte situação:

São cerca de sete horas da manhã e você está indo para o trabalho de carro. No caminho, você vê uma criança andando pela calçada. Ela está vestida com uma calça, uma farda escolar e carrega uma mochila nas costas. Ao observar esses detalhes e considerar o horário, você naturalmente conclui: essa criança está indo para a escola. Ou seja, você utilizou as informações disponíveis no momento(horário e vestimenta da criança), e partir delas você chegou a uma conclusão. Isso é um exemplo de raciocínio lógico.