La lógica es la ciencia en donde el objeto de estudio lo constituyen las formas, las estructuras y los esquemas del pensamiento, de ella surge la lógica matemática bivalente que brinda reglas de inferencia, mediante las cuales se puede determinar si algún argumento particular o razonamiento es válido.