Existem muitas definições para a palavra lógica, porém no caso do nosso estudo não é relevante um aprofundamento nesse ponto, é suficiente apenas discutir alguns pontos de vista sobre o assunto. Alguns autores definem lógica como sendo a Ciência das leis do pensamento, e neste caso existem divergências com essa definição, pois o pensamento é matéria estudada na Psicologia, que é uma ciência distinta da lógica (ciência). Segundo Irving Copi, uma definição mais adequada é: A lógica é uma ciência do raciocínio , pois a sua idéia está ligada ao processo de raciocínio correto e incorreto que depende da estrutura dos argumentos envolvidos nele. Assim concluimos que a lógica estuda as formas ou estruturas do pensamento, isto é, seu propósito é estudar e estabelecer propriedades das relções formais entre as proposições. Veremos nas próximas linhas a definição do que venha a ser uma proposição, bem como o seu cálculo proposicional antes de chegarmos ao nosso objetivo maior que é estudar as estruturas dos argumentos, que serão conjuntos de proposições denominadas premissas ou conclusões.