[1] A lógica estuda os princípios da inferência correta, ou seja, o processo de raciocínio que permite partir de premissas para chegar a conclusões. [2] A lógica de primeira ordem é fundamental para a ciência da computação ao ser usada em bancos de dados, linguagens de programação e processadores. [3] Proposições simples e compostas, conectivos e tabelas-verdade são elementos centrais da lógica para representar e avaliar argumentos.