La lógica aparece como una necesidad de poder comunicarnos sin las ambigüedades cotidianas de la sociedad, ejemplo de ello lo encontramos en frases de uso común "nos vemos mañana" o tal vez "Que bueno que usted va dictar la asignatura", de otro modo "Me encanta trabajar en este lugar" es decir, no es fácil decidir si dichas afirmaciones son o no validas o ciertas, o simplemente un formalismos de cortesía.

Otro tipo de ambigüedad, aparecen cuando no tenemos claro el tiempo en el cual fue realizada la afirmación para decidir la veracidad, ejemplo de estas afirmaciones las son

1. Hay un alumno en esta sala que vive en Quillota.

2. Algunos alumnos de esta sala viven en Quillota.

Donde la respuesta varía a través del tiempo.

Hay otras afirmaciones que con nuestras capacidades no podemos decidir si son verdaderas o falsas hoy, como por ejemplo:

1. Voy a terminar esta carrera.

2. La teoría de la evolución es válida

Una ambigüedad más es la referida al universo donde fue realizada la afirmación, por ello es relevante tener claro el universo antes de responder si la afirmaciones es verdadera o falsa

Consideremos el universo de trabajo, el conjunto de los números enteros

1. Todo número al cuadrado es un número no negativo

2. Hay un número par.

3. La división de dos número es un nuevo número.

Las mismas frases, ahora en el conjunto de los números reales:

En el caso de la afirmación (a), no hay dificultad de responder.

Para (b) la noción de número par no tiene sentido en los reales, ya que

1. $4=2\cdot2=2\cdot\frac{3}{2}+1\text{,}$ y

2. $3=2\cdot\frac{3}{2}=\frac{6}{2}=2\cdot1+1\text{.}$

En $\mathbb{Q}$ no existen las nociones de números pares ni primos. Pero en $\mathbb{Z}$ y $\mathbb{N} \text{,}$ existen el concepto de número primo, que son aquellos que son divisibles sólo por si mismo, y el de número par, que son los múltiplos de dos, por ello aceptamos que el cero es un número par.