Podemos decir que demostrar es hacer ver la verdad de algo fundándonos en otra verdad anterior y más clara.
Los principios lógicos son las primeras verdades en las que se fundan todas las demás. Se admiten sin discusión porque son evidentes y claras.
Son estos cuatro: principio de identidad, principio de contradicción, principio del tercer excluido y principio de razón suficiente.
El principio de identidad dice que lo que es, es. Ejemplo: la mesa es la mesa. Las cosas son idénticas a sí mismas.
En un juicio, si el predicado es idéntico al sujeto, necesariamente es verdadero. Yo soy yo. Esto es claro y evidente.