Etimológicamente la palabra Lógica proviene del griego “logos” que se traduce por “palabra”,

“razón”, “discurso”. La Lógica te ayudará a entender si un razonamiento o argumento es válido o

no.

Los razonamientos están insertos en la matemática cuando enunciamos propiedades, teoremas,

etc. Por ejemplo:

1) “El producto de dos números enteros es par, entonces por lo menos uno de los números es
par”
2) “Todos los alumnos de LAS cursan Introducción a la Matemática. Todos los alumnos de PM
cursan Introducción a la Matemática. Entonces todos los alumnos de LAS estudian PM”

Veremos ahora algunos métodos para poder decidir si un razonamiento es válido o no.

•Definición 1: Una proposición es una oración afirmativa o declarativa de la cual se puede decir si
es verdadera o falsa. Los dos ejemplos anteriores son proposiciones, pues se puede decir si son
verdaderos o falsos. Los teoremas son proposiciones que nos servirán como herramientas para
decidir cosas, siempre que sean probados como verdaderos. Lo mismo ocurre con las propiedades.1
Por convención se usan letras minúsculas de imprenta para nombrar las proposiciones, como ser p,
q, r, s, t,…
El valor de verdad de una proposición tiene dos posibles valores: Verdadero (V) o Falso (F). Se
simboliza como 𝓋(𝑝) = 𝑉 o 𝓋(𝑝) = 𝐹. Por ejemplo:

p: el cuadrado de 3 es 6. → 𝓋(𝑝) = 𝐹
q: La raíz cuadrada de -1 no es un número real. → 𝓋(𝑞) = 𝑉
r: La suma de los ángulos interiores de un triángulo es igual a 180° → 𝓋(𝑟) = 𝑉
t: 𝜋 = 3.14 → 𝓋(𝑡) = 𝐹

Observe que en la definición de proposición se habla de oraciones afirmativas o declarativas. Es por

ello que no pueden ser consideradas proposiciones las siguientes oraciones:

1) ¡Qué calor!
2) Buenos días.
3) ¿Hoy es lunes?
4) A caballo regalado no se le miran los dientes.

Tablas de verdad
Una Tabla de Verdad es una forma de resumir el valor de verdad de las proposiciones.
Esta se construye de acuerdo al número de proposiciones distintas que se den.
El número de combinaciones posibles de valores de verdad se determina al resolver la expresión
2𝑛 , donde 𝑛 representa el número de proposiciones dadas. Es decir, si hay una sola proposición,

1
Sin embargo, en Matemática existen afirmaciones que NO es necesario probar, sino que se aceptan como
verdaderas. Por ejemplo, las definiciones y los axiomas.

Tema 1: Nociones de Lógica Parte 1 - CIU 2020-2021 - Facultad de Ciencias Exactas - UNSa - Página 2 de 8
𝑛 = 1, resolvemos 21 = 2. Esto significa que se pueden dar dos posibles valores de verdad y la
tabla que resulta es:
𝑝
V
F
Si hay 2 proposiciones distintas 𝑝 y 𝑞, 𝑛 = 2, entonces resolvemos 22 = 4. Esto significa que se
pueden dar cuatro combinaciones de valores de verdad y la tabla que resulta es:

𝑝 𝑞
V V
V F
F V
F F

Si hay 3 proposiciones distintas 𝑝, 𝑞 y r, 𝑛 = 3, entonces resolvemos 23 = 8. Esto significa que se

pueden dar ocho combinaciones de valores de verdad y la tabla que resulta es:

𝑝 𝑞 𝑟
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Y así sucesivamente.

Las proposiciones pueden ser simples o compuestas. Son proposiciones simples las que dimos en
los ejemplos anteriores.
Son compuestas aquellas que se unen mediante símbolos llamados Conectivos Lógicos.

Conectivos Lógicos u Operadores Lógicos:

Son símbolos que permiten relacionar una o más proposiciones. Los conectivos son: la negación (~),
la conjunción (˄), disyunción (˅), implicación o condicional (⇒) y doble implicación o bicondicional
(⇔).

Negación de una proposición

Para negar una proposición p, es suficiente agregar a la oración una frase que le dé el sentido
contrario al original. Generalmente se usa: “no”, “no es cierto que”, “es falso que”, etc. Por ejemplo:

Sea la proposición
1
𝑝: 𝑥 2 +1 es una función polinómica.

Tema 1: Nociones de Lógica Parte 1 - CIU 2020-2021 - Facultad de Ciencias Exactas - UNSa - Página 3 de 8
Sabemos que esta proposición es falsa, pues no cumple con la definición dada para polinomios.
Una posibilidad de expresar su negación estaría dada por:

1
~𝑝: 𝑥 2 +1 no es una función polinómica.

Los valores de verdad de 𝒑 𝒚 ~𝒑 son contrapuestos, por lo tanto, el valor de verdad de ~𝒑 es

verdadero.

• Definición 2: Se llama proposición compuesta a aquella formada por dos o más

proposiciones simples. Estas proposiciones compuestas se obtienen “relacionando” las
proposiciones que la forman a través de conectivos lógicos.

Veremos a continuación distintos tipos de proposiciones compuestas y su valor de verdad.

➢ Disyunción: En este caso, las proposiciones que forman la proposición compuesta se

relacionan a través de un conectivo lógico que se traduce como una “o”. Se simboliza 𝒑 ∨ 𝒒. Por
ejemplo:
Sea

𝑝: El sábado voy al cine

𝑞: El sábado me quedo en casa leyendo

𝑝 ∨ 𝑞: El sábado voy al cine o me quedo en casa leyendo

Observe que, adaptado al lenguaje común, no repetimos la frase “el sábado”.

Veamos ahora cuál es su valor de verdad:

La disyunción es verdadera si una o ambas proposiciones que la forman es verdadera. La falsedad

se da únicamente cuando ambas proposiciones son falsas.

Veamos esto reflejado en lo que se conoce como Tabla de Verdad2:

𝑝 𝑞 𝑝∨𝑞
V V V
V F V
F V V
F F F

Un caso particular a tener en cuenta3:

2
Las Tablas de Verdad no sirven para probar el valor de verdad de una proposición compuesta en particular,
sino que nos dicen cuál sería su valor de verdad, considerando todas las posibles combinaciones de valores
de verdad de las proposiciones que la forman.
3
Se puede traducir como: ”…se da o no se da…”

Tema 1: Nociones de Lógica Parte 1 - CIU 2020-2021 - Facultad de Ciencias Exactas - UNSa - Página 4 de 8
 𝑝 ∼ 𝑝 𝑝 ∨∼ 𝑝
V F V
F V V
➢ Conjunción: En este caso, las proposiciones que forman la proposición compuesta se
relacionan a través de un conectivo lógico que se traduce como una “y”. Se simboliza 𝒑 ∧ 𝒒. Por
ejemplo:
Sea

𝑝: El sol es una estrella

𝑞: Saturno tiene más lunas que la tierra

𝑝 𝑦 𝑞: El sol es una estrella y Saturno tiene más lunas que la tierra

La conjunción es verdadera solo si ambas proposiciones que la forman son verdaderas. En

cualquier otro caso es falsa.

Haciendo la tabla de verdad:

𝑝 𝑞 𝑝∧𝑞
V V V
V F F
F V F
F F F

Un caso particular:
𝑝 ∼ 𝑝 𝑝 ∧∼ 𝑝
V F F
F V F

➢ Implicación o condicional: En este caso, las proposiciones que forman la proposición

compuesta se relacionan a través de un conectivo lógico que se traduce como “si 𝑝 entonces 𝑞”. Se
simboliza 𝒑 ⟹ 𝒒. La proposición 𝒑 se llama antecedente o hipótesis y 𝒒 se denomina consecuente
o tesis.
Una implicación puede leerse de muchas formas, alguna de las cuales son:

✓ “Si p, entonces q”
✓ “Si p, q”
✓ “p implica q”
✓ “q, si p”
✓ “p solo si q”4
Veamos la tabla de verdad:

4
Observe que la palabra “SI” señalan siempre al antecedente. Sin embargo, si usamos juntas las palabras
“SOLO SI”, señalan al consecuente.

Tema 1: Nociones de Lógica Parte 1 - CIU 2020-2021 - Facultad de Ciencias Exactas - UNSa - Página 5 de 8
 𝑝 𝑞 𝑝⟹𝑞
V V V
V F F
F V V
F F V
Observe:

1) La implicación es falsa solo si se el antecedente es verdadero y el consecuente es falso,

pues partiendo de algo cierto, no se puede llegar a algo falso5. Por ejemplo:

“Si un triángulo tiene tres ángulos, su suma es 360°”

2) Obviamente, la implicación es verdadera, si partimos de algo verdadero y llegamos a algo

también verdadero. Por ejemplo:

“Si 6 es par, entonces 6=2 ∙ 3”

3) Particularmente, si partimos de un antecedente falso, podemos llegar a algo tanto

verdadero como falso. Por lo tanto, en ambos casos la implicación es verdadera, siempre
partiendo de que el camino seguido para ir del antecedente al consecuente es correcto. Por
ejemplo:

“Si vos sos Einstein, yo soy María Antonieta”. En este caso, claramente estoy reafirmando que es
cierto que yo no soy María Antonieta, ni la otra persona Einstein, lo cual es cierto. Este modo es
muy usado en el lenguaje cotidiano.

"𝑆𝑖 1 = −1, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 (1)2 = (−1)2 ". Aquí hemos recurrido a elevar al cuadrado ambos
miembros de la igualdad, procedimiento válido, con lo que llegamos de una expresión matemática
falsa, a otra verdadera, pues 1 = 1.

Implicaciones asociadas

Habrá veces en las cuales nos será conveniente trabajar con otras implicaciones que se obtienen a
partir de una dada a la cual llamamos Directa.
Estas implicaciones asociadas a la directa se resumen en la siguiente tabla:

𝑝⟹𝑞 Directa
𝑞⟹𝑝 Recíproca
~𝑝 ⟹ ~𝑞 Contraria
~𝑞 ⟹ ~𝑝 Contrarrecíproca

Por ejemplo:

5
Estamos suponiendo que, en el transcurso de la deducción para llegar al consecuente, se trabajó
correctamente.

Tema 1: Nociones de Lógica Parte 1 - CIU 2020-2021 - Facultad de Ciencias Exactas - UNSa - Página 6 de 8
“Si el área de un cuadrado es 9 𝑐𝑚2 , 𝑒𝑙 𝑝𝑒𝑟í𝑚𝑒𝑡𝑟𝑜 𝑒𝑠 12 𝑐𝑚" 6(Directa)
Sus implicaciones asociadas son:

“Si 𝑒𝑙 𝑝𝑒𝑟í𝑚𝑒𝑡𝑟𝑜 𝑑𝑒 𝑢𝑛 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑒𝑠 12 𝑐𝑚, el área es 9 𝑐𝑚2 " (Recíproca)

“Si el área de un cuadrado no es 9 𝑐𝑚2 , 𝑒𝑙 𝑝𝑒𝑟í𝑚𝑒𝑡𝑟𝑜 𝑛𝑜 𝑒𝑠 12 𝑐𝑚" (Contraria)
“Si 𝑒𝑙 𝑝𝑒𝑟í𝑚𝑒𝑡𝑟𝑜 𝑑𝑒 𝑢𝑛 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑛𝑜 𝑒𝑠 12 𝑐𝑚, el área no es 9 𝑐𝑚2 " (Contrarrecíproca)

Otro ejemplo:

~𝑞 ⟹ 𝑝 Directa
𝑝 ⟹ ~𝑞 Recíproca
~(~𝑞) ⟹ ~𝑝 Contraria
~𝑝 ⟹ ~(~𝑞) Contrarrecíproca

Respecto de la relación de los valores de verdad entre las implicaciones asociadas, se puede
demostrar mediante tablas de verdad que la implicación directa tiene igual valor de verdad que
la contrarrecíproca, mientras que la recíproca coincide en valor de verdad con la contraria. Puede
ocurrir que las cuatro sean verdaderas o las cuatro falsas.7

➢ Doble implicación, bicondicional o equivalencia: La doble implicación es una proposición

compuesta de la forma 𝑝 ⟺ 𝑞 . Se lee: “p si y solo si q”

La podemos pensar como la conjunción de dos implicaciones:

(𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑝)

A partir de ello surge que su valor de verdad es verdadero solo si 𝒑 y 𝒒 tienen el mismo valor de
verdad, sea este verdadero o falso:

p q 𝑝⟺𝑞
V V V
V F F
F V F
F F V

➢ Proposiciones lógicamente equivalentes:

6
En este caso 𝑝: 𝑒𝑙 á𝑟𝑒𝑎 𝑑𝑒 𝑢𝑛 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑒𝑠 9 𝑐𝑚2 y 𝑞: 𝑒𝑙 𝑝𝑒𝑟í𝑚𝑒𝑡𝑟𝑜𝑑𝑒 𝑢𝑛 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑒𝑠 12 𝑐𝑚
7
Veremos ejemplos en videos subidos a la plataforma.

Tema 1: Nociones de Lógica Parte 1 - CIU 2020-2021 - Facultad de Ciencias Exactas - UNSa - Página 7 de 8
•Definición 3: Decimos que dos proposiciones son lógicamente equivalentes cuando para cualquier
combinación de los valores de verdad de las proposiciones que las forman, se obtiene el mismo
valor de verdad para ambas. Por ejemplo:

Demostrar que las proposiciones 𝑝 ⟹ 𝑞 y ~𝑝 ∨ 𝑞 son equivalentes.

p q ∼𝑝 𝑝⟹𝑞 (𝑝 ⟹ 𝑞) ⟺ (∼ 𝑝 ∨ 𝑞) ∼ 𝑝 ∨ 𝑞
V V F V V V
V F F F V F
F V V V V V
F F V V V V

En matemática existen dos símbolos que se usan en muchas ocasiones. Estos reciben el nombre de
Cuantificadores. Los cuantificadores usados son:

➢ Para todo: se simboliza ∀8. El sentido de este cuantificador es indicar que lo que sigue a
continuación, es válido en todos los casos.
Por ejemplo:

✓ ∀𝑥 ∈ ℝ, 𝑥 = 2. 𝑘, 𝑘 ∈ ℤ es par Esta afirmación es verdadera

✓ ∀𝑥 ∈ ℝ, 𝑥 > 0 Esta afirmación es falsa.

➢ Existe al menos un: se simboliza ∃9. Este cuantificador se utiliza cuando queremos indicar
que, lo que expresamos a continuación, se cumple al menos en algún caso.
Por ejemplo:

✓ ∃𝑥 ∈ ℝ, 𝑥 es par Esta afirmación es verdadera.

✓ ∃𝑥 ∈ ℝ, 𝑥 > 0 Observe que esta afirmación es similar a la del segundo ejemplo del caso
anterior. Solo cambiamos ∀ por ∃. Ahora la afirmación es verdadera.

Entonces, podemos decir que: modificar el cuantificador, cambia el valor de verdad de la

afirmación.

8
Como te habrás dado cuenta, es una letra A invertida. La razón de ello es que proviene de la palabra en
alemán “Alles” que significa “Todo/s”. No se usa la letra A puesto que ya se nombraba así a los conjuntos y no
se quería confundir con la simbología.
9
Efectivamente, es una letra E dada vuelta. Proviene del inglés “Exists”, “existe”. No se usó la letra E por la
misma causa del símbolo ∀.

Tema 1: Nociones de Lógica Parte 1 - CIU 2020-2021 - Facultad de Ciencias Exactas - UNSa - Página 8 de 8