La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.

La palabra deriva
del griego antiguo λογική (logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos),
"palabra, pensamiento, idea, argumento, razón o principio". La lógica examina la validez de los argumentos en términos de su estructura,
independientemente del contenido específico de los estados reales a los que aquéllos se puedan referir. En este sentido se habla de la lógica
como ciencia «formal». La lógica es una disciplina de la filosofía, las matemáticas y la informática.

Desde el siglo XX que la lógica ha pasado a ser principalmente la lógica simbólica. Esto se basa en un lenguaje formal y para uso
estrictamente definidas reglas de inferencia. Un ejemplo sencillo de un sistema formal es la lógica proposicional. La lógica simbólica es
también conocida como la lógica matemática o lógica formal en el sentido estricto. La lógica no siempre este sentido de la estructura formal,
pero se centró en el mundo antiguo y en la Edad Media , principalmente con los argumentos del lenguaje natural.

Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios
sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural. Se podría definir a un sistema lógico como un
conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible.

Un sistema lógico está compuesto por:

1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).

2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los
símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo,
una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos
permite afirmar que B.

Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún
significado a los símbolos discutidos, y de hecho, un sistema lógico puede definirse sin tener que hacerlo. Tal tarea
corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:

5. Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la
interpretación que se le dé. Por ejemplo, en el idioma español, la palabra "banco" puede significar un edificio o un asiento,
mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto. En consecuencia, dependiendo
de la interpretación, variará también el valor de verdad de la oración «el banco está cerca». Las interpretaciones formales
asignan significados inequívocos a los símbolos, y valores de verdad a las fórmulas.
 Representación de números complejos en el plano
Ahora que sabemos trabajar con los números complejos y las operaciones básicas de suma, resta,
multiplicación y división, vamos a introducirnos en la representación de dichos números en el plano complejo.
Para los números reales, dibujábamos una recta y los íbamos colocando ordenadamente, es decir:

Para representar gráficamente un número complejo, debemos dibujarlos en el plano complejo. Éste está
formado por un eje real y un eje imaginario. Sobre el eje real representaremos la parte real del número
complejo, mientras que en el eje imaginario representaremos la parte imaginaria. Dichos ejes los dibujaremos
perpendiculares y secantes en el cero, que tiene parte real e imaginaria nula.

Ejemplo

Veamos un ejemplo del plano complejo:

Un número complejo en forma binómica se representará entonces en un plano complejo como el anterior de
la siguiente forma:
Tenemos el complejo donde:
 es cualquier número real, y se le llama parte real de .
 es cualquier número real, y se le llama la parte imaginaria de .
Así, para representar un se dibuja en el plano el vector asociado a que es el vector con origen y extremo el
punto .

Es decir, se toma la parte real del complejo y se dibuja en el eje real. Se toma la parte imaginaria y se dibuja en
el eje imaginario. Se trazan paralelas a los ejes que pasen por cada uno de los puntos marcados y la
intersección de dichas paralelas es el número que queríamos representar.
Ejemplo

Por ejemplo, si queremos representar el imaginario .

Primero marcamos en el eje real el .
Luego marcamos en el eje imaginario el .

Trazamos dos rectas:

 una paralela al eje real que pase por el punto .

 una paralela al eje imaginario que pase por el punto .
El punto intersección de estas dos rectas es el número que queríamos dibujar.

Gráficamente es:

En definitiva lo que estamos haciendo es que a cada número complejo que viene dado por la forma le
asociamos un vector en el plano que es exactamente el vector .

Ejemplo

Por ejemplo, el complejo es el asociado al vector del plano y el complejo es el asociado al vector .

Anteriormente hemos dicho que:

Se define el conjugado de un número imaginario como el número , en este caso, para representarlo
tomaremos el vector asociado .
El opuesto de un número imaginario es , que tendrá vector asociado el .
Y el inverso de un número complejo es que tendrá vector asociado el .

Si los dibujamos en el plano complejo estos quedan:

Dados los siguientes números complejos:

z1 =–1+2i; z2 =–2–3i;
z3 =4–1i; z4 =–5; z5 =3i;
Represéntalos en el plano complejo.
Para redondear un poco la idea dejo a continuación tres ejemplos de como representar un numero
complejo en el eje cartesiano.
Simplemente recuerden que en el par ordenado el primer valor se representa en el eje x, mientras que
el segundo en el y. En conclusión sería (x ; y)