La lógica juega un papel central en los estudios de sistemas de información, ya que proporciona lenguajes formales para representar y analizar problemas, herramientas para formalizar inferencias, y es la disciplina subyacente a la teoría de la compatibilidad.

1.  La lógica ocupa un rol central en los estudios de sistemas
de información tanto en los aspectos ligados al diseño de
sistemas como a los aspectos más estrictamente
computacionales, ligados a los desarrollos actuales de la
informática.
 Esta afirmación se funda en los siguientes hechos:
 1) La lógica proporciona lenguajes formales para
representar y analizar problemas de los campos más
diversos y sistemas formales que permiten resolver esos
problemas.
 2) La lógica proporciona las herramientas para formalizar
diferentes tipos de inferencias que se emplean tanto en la
vida cotidiana como en la actividad científica.
 3) La lógica es la disciplina subyacente a la teoría de la
compatibilidad, de modo que su dominio es necesario para
comprender conceptos como funciones computables y las
limitaciones intrínsecas de la compatibilidad.
 Etc.

2.  Una base de datos o banco de datos es un conjunto
de datos pertenecientes a un mismo contexto y
almacenados sistemáticamente para su posterior
uso. En este sentido; una biblioteca puede
considerarse una base de datos compuesta en su
mayoría por documentos y textos impresos en
papel e indexados para su consulta. Actualmente, y
debido al desarrollo tecnológico de campos como
la informática y la electrónica, la mayoría de las
bases de datos están en formato digital
(electrónico), y por ende se ha desarrollado y se
ofrece un amplio rango de soluciones al problema
del almacenamiento de datos.

3.  La información está constituida por
un grupo de datos ya supervisados y
ordenados, que sirven para construir
un mensaje basado en un cierto fenómeno
o ente. La información permite resolver
problemas y tomar decisiones, ya que su
aprovechamiento racional es la base
del conocimiento.

4.  El dato es una
representación simbólica (numérica, alfabética,
algorítmica, etc) de un atributo o variable
cuantitativa. Los datos describen hechos
empíricos, sucesos y entidades.
 Es un valor o referente que recibe el computador
por diferentes medios, los datos representan la
información que el programador manipula en la
construcción de una solución o en el desarrollo
de un algoritmo.