Algebra

Tema 1: Lógica matemática

1.1. PROPOSIONES
La lógica les proporciona a las matemáticas un lenguaje claro y un método
preciso para demostrar teoremas a partir de axiomas.

Sin la lógica los axiomas serian un montón de verdades aceptadas, pero nada
más. La lógica, sin embargo, les da sentido y permite concluir nuevas verdades
(teoremas) que antes no conocíamos. Un ejemplo de teorema: la suma de los
ángulos interiores de cualquier triangulo siempre es de 180°.

 Al ser la lógica el punto de partida de las matemáticas, en ella se deben

introducir nociones primarias tales como proposición, valor de verdad,
conectivo lógico.

ROPOSICIONES LÓGICAS
ENUNCIADO. - Es toda frase u oración que se utiliza en nuestro lenguaje.

PROPOSICIÓN. - Es todo enunciado, respecto del cual se puede decir si es

verdadero (V) o falso (F).

Notación. - Por lo general, a las proposiciones se las representa por las letras
del alfabeto desde la letra p, es decir, p, q, r, s, t.… etc.

 Así, por ejemplo, podemos citar las siguientes proposiciones y su valor de

verdad:

Proposiciones                                                                   Valor de Verdad

q: Manta es la capital de la provincia de Manabí      (V)   

r: El número es divisible por 3.                                          (V)                       

s: El perro es un ave                                        (F)                                          

t: Todos los triángulos tienen cuatro lados.                   (F)                                   

u: ¿Qué día es hoy?                                              No es una proposición

p: ¡Viva Loja!                                                        No es una proposición

EXPRESIONES NO PROPOSICIONALES

a) ¡Levántate temprano!
b) ¿Has entendido lo que es una proposición? 

c) ¡Estudia esta lección!

d) ¿Cuál es tu nombre?

e) Prohibido pasar.

f)  Borra el pizarrón.

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas.

Las exclamaciones, órdenes, ni las preguntas son proposiciones.

ENUNCIADOS ABIERTOS. - Son aquellos enunciados que constan de

variables. Se convierte en una proposición cuando se le asigna un valor
específico a la "variable". 

Ejemplos:

p: x es la capital del Perú

Sí   x: Lima, Quito…

Para  p (Lima): Lima es la capital del Perú es verdadero.                  (V)           

Para  p (Quito): Quito es la capital del Ecuador es falso.                   (F) 

Para   q(1): 1 + 4 = 11, es falso .                            

           q(7). 7 + 4 = 11 , es verdadero.    

CLASE DE PROPOSICIONES

A) Proposiciones Simples o Atómicas. - Son aquellas proposiciones que

constan de un solo enunciado proposicional.

 Por ejemplo, sea la proposición:   

           p: 3 + 6 = 9   

B) Proposiciones Compuestas o Moleculares. - Son aquellas proposiciones

que constan de dos o más proposiciones simples.
Ejemplo 1:  

Encontramos dos enunciados, el primero (p) nos afirma que Pitágoras era
griego y el segundo (q)  que Pitágoras era geómetra.

Ejemplo 2:    p: Juan  es  profesor   o   Manuel es  arquitecto

Donde  podemos observar que  la proposición  p, se  divide en dos

proposiciones simples:

           r: Juan es profesor y

           s: Manuel es arquitecto

Es decir, p: r o s

CONECTORES LÓGICOS

Enlazan proposiciones simples, o a partir de proporciones simples es posible

generar otras, simples o compuestas. Es decir que se puede operar con
proposiciones, y para ello se utilizan ciertos símbolos llamados conectivos
lógicos

OPERACIONES PROPOSICIONALES

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas

dos o más proposiciones, de las que se conoce los valores veritativos, se trata
de caracterizar la proposición resultante a través de su valor de verdad.

NEGACIÓN

Dada una proposición p, se denomina la negación de  p a otra proposición

denotada por ¬P   (se lee "no p" ) que le asigna el valor veritativo opuesto al
de p. Por ejemplo:

   P: Diego estudia matemática

¬P: Diego no estudia matemática

Por lo que nos resulta sencillo construir su tabla de verdad:

Se trata de una operación unitaria, pues a partir de una proposición se obtiene
otra, que es su negación.

 Ejemplo.

La negación de p: Todos los alumnos estudian matemática es:

¬P: No todos los alumnos estudian matemática.   

CONJUNCIÓN

Dadas dos proposiciones p y q, se denomina conjunción (o producto lógico) de

estas proposiciones a la proposición p ∧ q (se lee "p y q").

Ejemplo:

Sea la declaración:

Vemos que está compuesta de dos proposiciones a las que llamaremos p y q,

que son

                                           p:  5 es un número impar

                                           q: 6 es un número par

 Y por ser ambas verdaderas, la conjunción de ellas (que no es sino la

declaración) es verdadera.

Tabla de verdad
La tabla que define esta operación, establece que la conjunción es verdadera
sólo si lo son las dos proposiciones componentes. En todo otro caso, es falsa.

Ejemplo:

Si  p. 3 es mayor que 7.

     q: Todo número par es múltiplo de dos.

Entonces:  p ∧ q :  3 es mayor que 7 y todo número par es múltiplo de dos.

Por ser ambas verdaderas la conjunción de ellas es verdadera.

DISYUNCIÓN

 Dadas dos proposiciones p y q , la disyunción (o suma lógica) de las

proposiciones   p y q  es la proposición   p v q, (se lee  “ p  o q “).

Ejemplo 1.  Tiro las cosas viejas o que no me sirven.    

La disyunción o es utilizada en sentido excluyente, ya que la verdad de la

disyunción se da en el caso de que al menos una de las proposiciones sea
verdadera.

Por ejemplo:

Ejemplo.

Si p : Hace frio  en invierno   ,     o       q  : Napoleón invadió  Lima

    p v q : Hace frio en invierno o  Napoleón invadió Quito 

Por ser al menos una de las proposiciones verdadera la conjunción es

verdadera.

IMPLICACIÓN O CONDICIONAL
 Implicación de las proposiciones p, q es la proposición p → q o p ⇒ q
(si p entonces q ). La proposición p se llama antecedente, y la proposición q se
llama consecuente de la implicación o condicional. 

Ejemplo.

Supongamos la implicación

La implicación está compuesta de las proposiciones: p : apruebo, q: te presto el

libro

 Tabla de verdad

La tabla nos muestra que la implicación sólo es falsa si el antecedente es

verdadero y el consecuente es falso.

DOBLE IMPLICACIÓN O BICONDICIONAL

 Doble implicación de las proposiciones p y q  es la proposición  p ↔ q ó  p  ⇔

q (se lee " p si y solo si q")

Ejemplo:

            p: Karina ingresa a la universidad.

           q: Karina estudia mucho.

Entonces:

 p ↔ q  : Karina ingresa a la universidad si y sólo si estudia mucho.

Ejemplo:

 Sea  i)  a = b  si y sólo si a2= b2   

El enunciado está compuesto por las proposiciones:

         p : a = b

         q : a2= b2

 Esta doble implicación es falsa si  p es F y q es V. En los demás casos es V .

Tabla de verdad

La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen

el mismo valor de verdad. La doble implicación puede definirse como la conjunción de
una implicación y su recíproca. De este modo, la tabla de valores de verdad
de p  ⇔ q puede obtenerse mediante la tabla de   , como vemos:

DIFERENCIA SIMÉTRICA

Diferencia simétrica o disyunción en sentido excluyente de las

proposiciones p y q es la proposición    (se lee "p o q en sentido
excluyente") cuya tabla de valores de verdad es:
La verdad de    está caracterizada por la verdad de una y sólo una de las
proposiciones componentes.

Ejemplo. 

Sea        i) O vamos a Quito o vamos a Manta.

Queda claro que sólo podremos ir a uno de los dos lugares, y sólo a uno. Es
decir que el enunciado i) es verdadero sólo si vamos a una de las dos
ciudades. En caso de ir a ambas, o de no ir a ninguna, el enunciado es Falso.

CONJUNCIÓN NEGATIVA

 La conjunción negativa de las proposiciones p y q es la proposición p ↓ q    

(se lee "ni p ni q ") cuya tabla de valores de verdad es:

TABLAS DE VERDAD

El resultado es verdadero únicamente cuando las dos proposiciones son falsas

( ni p ni q), en cualquier otro caso es falsa.

Ejemplo.

A partir de las siguientes proposiciones, determine la proposición resultante de

efectuar la conjunción negativa.
p. Tengo caramelos

q. Tengo un helado

Sea        i) a ↓ b: Ni tengo caramelos, ni tengo un helado.

Queda claro que las dos proposiciones deben ser falsas. Es decir que el
enunciado i) es verdadero sólo si las dos son falsas. En caso de tener ambas, o
de no tener una de las dos, el enunciado es falso.

Utilizando los conectivos lógicos, se pueden combinar cualquier número finito

de proposiciones simples, para obtener otras proposiciones cuyos valores de
verdad pueden ser conocidos construyendo sus tablas de verdad.

Para efectuar el número de combinaciones de los valores de las proposiciones,

recurrimos a la relación 2n, donde n representa el número de proposiciones.

Ejemplos.

Construir la tabla de verdad de las siguientes proposiciones:

Solución: 2n = 22 = 4 combinaciones posibles.

Solución:  2n = 22 = 8 combinaciones posibles.

 EQUIVALENCIAS LÓGICAS

 Dos proposiciones  p y q se llaman equivalentes si sus tablas de verdad son

idénticas. De ser así se denota: p ≡ q  

Ejemplo.

Sea  p: p → q  , recordamos su tabla de verdad .

Ahora bien, si analizamos la proposición :¬p v q , su tabla de verdad resulta:

Como vemos, luego de realizar las tablas de valores de verdad, encontramos que
ambas proposiciones tienen el mismo resultado final.  Con esto, decimos que ambas
proposiciones son lógicamente equivalentes, y en este caso particular lo
simbolizamos:  (p ⇒ q) ≡ (∼ p ∨ q)  

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo

denominamos fórmula lógica.

Por ejemplo:           ∼[(p →  q)  ∧ (s ∧ t)]

TAUTOLOGÍA

Si al evaluar una fórmula lógica, resulta que todos los valores de verdad
resultantes son siempre verdaderos para cualquier combinación de sus
valores de verdad, decimos que dicha fórmula es una Tautología o Ley Lógica.

Ejemplo.
 Si analizamos la proposición t:  p  v ¬p realizando su tabla de verdad:

Vemos que para cualquier combinación de las proposiciones p y su

negación ¬p , la proposición p  v ¬p es siempre verdadera. Entonces, la
proposición t es una tautología.

 Ejemplo: 

 Analicemos ahora la fórmula lógica {( p → q ) ∧ p } → q

En este caso comprobamos también que independientemente de la

combinación de valores de verdad de las proposiciones  y , el resultado de la
fórmula lógica es siempre verdadero.  Decimos, aquí también, que esta fórmula
es una tautología o ley lógica.

Ejemplo:

Analicemos ahora la fórmula lógica   p →q ↔ ∼(p ∧ ∼q)

También es una tautología 

CONTRADICCIÓN

Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta

que para cualquier valor de verdad de las proposiciones intervinientes el
resultado de dicha fórmula es siempre falso, decimos que dicha fórmula es una
contradicción.

 Ejemplo

 Analicemos la fórmula lógica p  ∧ ¬p

Encontramos que la fórmula es siempre falsa, es entonces una contradicción.

CONTINGENCIA

Si una proposición no es una tautología ni una contradicción (es decir que

contiene al menos un valor  y otro ) es una contingencia.

LEYES DEL ÁLGEBRA PROPOSICIONAL

Nos permiten simplificar un problema y expresarlo de forma más sencilla, las

principales leyes son:

Tercio excluido:     

Involución:

Idempotencia:
Conmutatividad:

Asociativa:   

Distributiva:

De Identidad:   

Del Complemento:

Por definición:   
 De Absorción:   

De Morgan:  

Ejemplos:

Simplificar las siguientes proposiciones aplicando las leyes del álgebra

proposicional
FUNCIONES PROPORCIONALES
Considere las siguientes proposiciones:

Gustavo es ingeniero.

Pedro es ingeniero.

Mario es ingeniero.

Estas proposiciones tienen algo en común y es el predicado. Esto se puede

expresar utilizando una variable individual (x).

“x  es ingeniero”

Esta expresión no es una proposición puesto que no es ni verdadero ni

falso. x es una variable que toma valores dentro de un conjunto (referencial),
estas expresiones reciben el nombre de funciones proposicionales.

La notación que se empleará para cualquier Proposición Simple serán las letras
p, q, r etc., mientras que una función proposicional la representamos por P(x),
Q(x),R(x),.... , o también Px ,Qx , Rx,...., etc.

Ejemplos: “x  es un número racional”. “  z es un número entero”.

En símbolos:  

CUANTIFICADORES

Las expresiones:

“Todo hombre es mortal”

“Algunos hombres son ignorantes”

 Pueden traducirse:

Para todo x, si x es hombre entonces es mortal.

Existe un x, tal que x es hombre y x es sabio.

Estos cuantificadores se dividen en:

CUANTIFICADOR UNIVERSAL

 Símbolo: ∀x

Significa: “Para todo x ”  

Todo x

Cualquier x
Cada  x

CUANTIFICADOR EXISTENCIAL

Símbolo: ∃ x

Significa: Hay x

Existe un x, tal que

Algún x

Algunos x

Existen tres formas de convertir una función proposicional  Px en una

proposición a saber:

 Haciendo la sustitución de las variables por un término especifico

Anteponiendo la expresión “Para todo x”  

Anteponiendo la expresión “Existe un x ”

Al anteponerle a la función proposicional Px  un cuantificador,  x pasa a ser una

variable ligada.

Una proposición( ∀x)(Px) es V, cuando todas las sustituciones de la variable x 

por elementos del conjunto de referencia convierte a  Px en verdadera.

Una proposición  (∃x)(Px)es V , cuando toda las sustituciones de la

variable  x por al menos un elemento del conjunto de referencia.

Ejemplo:

Decir si las siguientes proposiciones son verdaderas o falsas.

NEGACIÓN DE PROPOSICIONES CUANTIFICADAS

Las proposiciones universales pueden negarse como en el enunciado:

 “No todos los ingenieros”.

 Y se simboliza:       ∼ (∀x)(Mx)

También se puede utilizar: “Ninguno, ningún, nada, nadie “.

La proposición “Ninguno es mecánico” no equivale a “No todos son

mecánicos”, sino a la expresión: Para todo x ,  x no es mecánico.

 (∀x)(∼Mx)

Las proposiciones anteriores pueden ser negadas como por ejemplo:

“No es cierto que hay mecánicos”.          En símbolos:  ∼(∃x)(Mx)

 “Alguien no es mecánico”.                       En símbolos:    (∃x)(∼Mx)

Para estudiar la negación de funciones proposicionales, es conveniente fijar

nuestra atención en el diagrama dado. Veamos las cuatro formas de
proposiciones generales que hay tradicionalmente en la lógica:

A:        Todo S es P:             Todos los hombres son mortales.

E:        Ningún S es P:         Ningún hombre es mortal.

I:          Algún S es P:           Algún hombre es mortal.

O:        Algún S no es P:      Algún hombre no es mortal.

En las formas anteriores, S significa un sujeto del cual se afirma o niega algo, y
P es el predicado, o sea lo que se dice del sujeto.
Observe que las dos primeras proposiciones son universales, la primera
afirmativa y la segunda negativa; las dos últimas son particulares, la primera
afirmativa y la segunda negativa.

A continuación, se presentan las equivalencias, usando funciones

proposicionales con cuantificadores:

A:        Todo S es P:                    (∀x)  (Px) Universal afirmativa.

E:        Ningún S es P:                (∀x) (∼Px)  Universal negativa.
I:          Algún S es P:                  (∃x) (Px)  Particular afirmativa.
O:        Algún S no es P:            (∃x) (∼Px) Particular negativa.

En Conclusión:

 La negación de una función proposicional con un cuantificador universal es

equivalente a la negación de la misma función proposicional, precedida por el
cuantificador existencial y viceversa.

Es decir:

∼(∀x  ∈ S)(Px )  ≡ (∃x  ∈ S)(∼P)    ó    ∼(∃x   ∈ S) (Px  ∈ S)(Px) ≡(∀x  ∈ S)(∼Px)

Ejemplo:

Encontrar la negación de las siguientes proposiciones:

a.       (∃x ∈ ℜ) (x+3 ≠10)

Solución:
REGLAS DE INFERENCIA
Se llama inferencia lógica o argumento lógico a toda condicional de la forma:
( p1  ∧ p2 ∧ p3 ∧  ....pk) → q donde las proposiciones p 1 , p2 , p3 , ...pk , son
llamadas premisas, y originan como consecuencia otra proposición denotada
por llamada conclusión.

Una inferencia puede ser  tautología,  contingencia o contradicción. Si la

condicional es una tautología, es decir si es una implicación entonces recibe el
nombre de argumento válido o inferencia válida. Si la condicional no es una
tautología entonces se denomina falacia o simplemente argumento no válido.

Ejemplo:

Validar el argumento  (p →q) → p

 Solución

Aplicando las leyes del álgebra proposicional

 REGLAS DE INFERENCIA

A partir de las Reglas de Inferencia Fundamentales que fueron presentadas

anteriormente se derivan una serie de reglas que son muy útiles y que le
permiten a nuestra mente alcanzar las conclusiones de una manera más
rápida.

Modus Ponendo Ponens MPP

Modus Ponendo Ponens (MPP)
Modus Tollendo Tollens (MTT)
Modus Tollendo Tollens (MTT)

Contra positiva (CP)

Silogismo Hipotético (SH)

Inferencia Alternativa (IA) ó Tollendo Ponens (TP)

Introducción de la Doble negación (IDN)

Adjunción y simplificación
Adjunción (ADJ)
Simplificación (SIM)

Ley de la adición (LA)

Silogismo Disyuntivo (SILD) 

Simplificación Disyuntiva (SIMD)

Dilema Destructivo (DILD)

REGLAS DE LA FALACIA
Las dos falacias que presentamos a continuación son muy comunes y es
importante reconocerlas y evitar caer en ellas.
Falacia de la Afirmación del Antecedente (AA)

Falacia de la Negación Consecuente (NC)

DEDUCCIÓN PROPOSICIONAL
Con el manejo de unas pocas reglas empezamos a aprender el método de las
deducciones formales. Es decir, se ha aprendido el camino preciso de
demostrar que los razonamientos son válidos. Un razonamiento es
simplemente un conjunto de proposiciones dadas como premisas y una
conclusión deducida de estas premisas.

La deducción puede hacerse teniendo un argumento en forma simbólica o en

forma oracional. Veamos los siguientes ejemplos:

Ejemplo 1: Dado el   siguiente argumento simbólico deducir   t ∧ s 

Ejemplo 2: Deducir t
Ejemplo 3: Deducir el Silogismo Hipotético

Ejemplo 4:

Si la ballena es un mamífero, entonces toma oxigeno del aire. Si toma su

oxigeno del aire, entonces no necesita branquias. La ballena es un mamífero y
vive en el océano. Por lo tanto no necesita branquias.
Lo primero que hay que hacer es identificar cada una de las proposiciones
simples

 p: La ballena es un mamífero

q: La ballena toma su oxigeno del aire

r: La ballena necesita branquias

s: La ballena habita en el océano

Se simboliza ahora el argumento

        p → q   (Primera premisa)

      q  → ∼ r (Segunda premisa)

       p    ∧  s  (Tercera premisa)

            ∼r     (Conclusión)

Pero veamos el procedimiento lógico para llegar a esta conclusión, es decir, la

deducción proposicional.

Ejemplo 5:

Si sigue lloviendo, entonces el río crecerá. Si sigue lloviendo. Si sigue lloviendo

y el río crece, entonces el puente será arrastrado por las aguas. Si la
continuación de la lluvia hace que el puente sea arrastrado por las aguas,
entonces no será suficiente un solo camino para toda la ciudad. O bien un solo
camino es suficiente para toda la ciudad o bien los ingenieros han cometido un
error. Por tanto, los ingenieros han cometido un error.

Simbolizando las proposiciones

c: continúa lloviendo

r: el río crece

p: el puente es arrastrado por las aguas

s: un solo camino es suficiente para toda la ciudad

e: los ingenieros han cometido un error

La prueba formal de validez es:

MÉTODOS DE DEMOSTRACIÓN
Demostraciones directas

 Conocido como “Marcha Adelante” consiste en examinar los elementos.

 Ejemplo: Demostración Directa

Demostrar la Ley del MODUS PONENDO PONENS (pq)pq utilizando el método de

demostración directa.
Desarrollo:

Con lo cual queda demostrado que la forma proporcional es tautológica,

independientemente del valor de verdad que tomen las variables proposicionales.

Demostraciones por contraposición o contrarecíprocas

 CONOCIDO COMO “Supongamos que no” basada en la equivalencia entre  (p

→q )  y (∼q → ∼p)

Ejemplo:

“Demuéstrese que todos los números primos mayores que  son impares”

Aquí la proposición  p es “  n es un numero primo mayor que 2 ” y la proposición q

es “n es un número impar”.

Demostrar “Si todo numero primo es mayor que 2 , entonces es impar (p → q) es
lo mismo que demostrar que “si todo entero a negativo no es impar, entonces no
es un numero primo o es menor o igual que 2” (∼q → ∼p).

Desarrollo:

Número par n=2k donde  k es mayor o igual a 1 (números naturales).

Si  k=1 tenemos n=2, es un número primo. Por lo tanto todos los números primos
mayores que  2 son impares.

Demostraciones por contraejemplo

Consiste en dar un ejemplo y demostrar el hecho que la proposición sea falsa,

aportando por lo menos un ejemplo. El contraejemplo pone en evidencia que existe
al menos un caso en el cual la proposición no es verdadera.

Ejemplo:

Verifique si la siguiente proposición es verdadera:

“Las ciudades del Ecuador son capitales de provincias”

Desarrollo

Haciendo una lectura rápida podemos concluir que su valor de verdad es

verdadero, ya que en Guayaquil, Portoviejo, Machala, Quito entre otras, son
ciudades y capitales de provincias. Mientras que Quevedo es una ciudad y no es
capital de provincia alguna de nuestro país, lo mismo ocurre con ciudades como
Manta, Atacames y Milagro, constituyendo por ende contraejemplos para la
proposición objeto de estudio, la cual definitivamente es falsa.

Demostraciones por reducción al absurdo

En este método el operador principal de un razonamiento es la implicación (→ ), la

estructura no es tautológica si existe al menos un caso. Tomando como conclusión
que la hipótesis es falso.

Ejemplo:

Determine la validez del razonamiento: “si llueve, hay producción; si hay granizo,
no hay producción; hay granizo o no hay nevada. Por lo tanto, no llueve”

Desarrollo

Identificando las proposiciones simples tenemos:

p: Llueve.

q: Hay producción.

r: Hay granizo.

s: Hay nevada.

La forma proposicional queda:

Si quisiéramos construir su tabla de verdad tendríamos que elaborar 16

combinaciones por las variables  p, q, r y s . Pero usando el método de reducción
al absurdo, determinaremos los valores de verdad, comenzando con el
consecuente del razonamiento, el cual se supone es falso; y para que el
antecedente sea verdadero, debe cumplirse que H1 ∧ H2  ∧ H3  sean verdaderas.
Si a partir del supuesto valor de verdad de la conclusión, que es falso, se
determinó que el valor de verdad del antecedente es verdadero, la forma
proposicional no es tautológica. Por lo tanto, el razonamiento no es válido.
BIBLIOGRAFÍA
1. Castillo, C., Navas, F., & Toro, J. L. (2016). Fundamentos de Matemática.
Quito: EPN.

2. Espinoza Ramos, E. (2004). Álgebra Pre Universitaria. Lima-Perú: Servicios

Gráficos J.J.

3. Flores P., M. (2018). Álgebra. Teoría y Práctica. Lima: San Marcos.

4. Gamarra Morales, H. (2016). Aritmética. Teoría y Práctica. Lima: San

Marcos.

5. González, H. (s.f.). Matemática General. Santiago de Chile.

6. Mena Cervantes, V. (2011). Pre cálculo. México: I.P.N.

7. Rojo, A. (1996). Álgebra I. Buenos Aires.