ALGEBRA LINEAL I

Clase 8-15/03/21
Ingeniería en Informática
Ingeniería en Telecomunicaciones
Ejemplo: Determine la tabla de verdad para la
proposición 𝑞 ∧∼ 𝑟 ⇒ 𝑝
Implicaciones Asociadas
Dada la implicación 𝑝 ⇒ 𝑞 que llamaremos implicación
directa, a partir de ella se mencionaran frecuentemente a otras
tres implicaciones que se obtienen al considerar las
permutaciones y las negaciones posibles para 𝑝 y 𝑞. Estas son:
Leyes de De Morgan
La negación de la conjunción y de la disyunción se conocen
como las leyes de De Morgan, se expresan de la siguiente
manera:

El símbolo ≡ denota equivalencia lógica, es decir, en cualquier

caso las expresiones a izquierda y derecha de este símbolo
tienen el mismo valor de verdad.
Negación de una implicación
La negación de una implicación no es otra implicación, sino la
conjunción entre el antecedente y la negación del consecuente.

Niega la siguiente proposición: Si aprueba el examen, entonces

le presta sus apuntes"
𝑝: aprueba el examen 𝑞: le presta sus apuntes
Solución: La negación de (𝑝 ⇒ 𝑞) es 𝑝 ∧∼ 𝑞
“Aprobó el examen y no le prestó sus apuntes"
Tautología
Una tautología es una proposición cuyo valor de verdad es
verdadero (V), independientemente de los valores de verdad de
las proposiciones que la componen. En la tabla se muestra que
(p ∧ q) ↔ (q ∧ p) es una tautología.
Contradicción
Una contradicción es una proposición cuyo valor de verdad es
falso (F), independientemente de los valores de verdad de las
proposiciones que la forman. En la tabla se muestra que
(p ∧ q) ∧ (∼p ∧ ∼q) es una contradicción.
Contingencia
Una contingencia es una proposición que toma valores de
verdad verdaderos en unos casos y falsos en otros, según los
valores de verdad de las proposiciones que la forman. En la
tabla a) se muestra que q ∨ (r ∧ s) es una contingencia.
Proposiciones equivalentes
Dos proposiciones son lógicamente equivalentes si al
conectarlas mediante la bicondicionante se obtiene una
proposición que es una tautología. Para indicar que dos
proposiciones 𝑃(𝑝, 𝑞, … ) y 𝑄(𝑝, 𝑞, … ) son lógicamente
equivalentes escribimos: 𝑃(𝑝, 𝑞, … ) ≡ 𝑄(𝑝, 𝑞, … ) o P ⇔ Q.
Ejercicio: (𝑝 ⇒ 𝑞) ∨ (𝑝 ⇒ 𝑟) ≡ 𝑝 ⇒ (𝑞 ∨ 𝑟) decidir si
son proposiciones equivalentes.
Formas o Funciones Proposicionales
Una variable es considerada como un ente matemático que se
puede utilizar como un marcador de manera de dar un nombre
temporal a algo que se esta buscando o para hablar en general
de objetos sin precisar cual es; es decir, se desea que todo lo que
se dice sea igualmente válido para todos los elementos en un
conjunto dado, por lo que no quiere limitarse a considerar sólo
un valor determinado concreto para ello.
El símbolo 𝑝(𝑥) es la representación de un predicado o
propiedad relativos al objeto indeterminado 𝑥,perteneciente a
cierto universo o conjunto.
.
Si nos referimos a los números enteros y estamos interesados en
la propiedad de ser impar, entonces la traducción de 𝑝(𝑥)
consiste en 𝑥 es impar, y se escribe:
𝑝 𝑥 : 𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
Es claro que el enunciado “𝑥 es impar” no es una proposición,
ya que a menos que se especifique a 𝑥 no podemos decir nada
acerca de su verdad o falsedad.
Definición: en una variable Función proposicional o
indeterminada 𝑥 es toda oración en la que figura 𝑥 como sujeto
u objeto directo, la cual se convierte en proposición para cada
especificación de 𝑥.
.
En nuestro ejemplo resultan proposiciones:
𝑝 −6 : −6 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 es una proposición falsa
𝑝 3 : 3 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 es una proposición verdadera
Se presentan también formas proposicionales con dos variables.
Por ejemplo: 𝑝 𝑥, 𝑦 : 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 𝑦
Lo mismo que en el ejemplo anterior si 𝑥 e 𝑦 son enteros,
𝑝 𝑥, 𝑦 𝑛𝑜 𝑒𝑠 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 ya que no podemos afirmar la
verdad o falsedad del enunciado.
𝑝 −2 , 24 : −2 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 24 es Verdadera
𝑝 5 , 32 : 5 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 32 es Falsa
Conjunto de verdad
Definición: Dada una función proposicional 𝑝(𝑥), se
denomina Conjunto de Verdad de 𝑝(𝑥), al conjunto de valores
de 𝑥 que hacen verdadera a 𝑝(𝑥). En símbolos:
𝐶𝑝 = 𝑥 𝑣 𝑝(𝑥) = 𝑉 )
Ejemplo: Dadas las siguientes formas proposicionales, donde
𝑥 e 𝑦 son números enteros:
a) 𝑝(𝑥) ∶ 2𝑥 = 6
b) 𝑞(𝑦) ∶ 𝑦 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙 𝑖𝑚𝑝𝑎𝑟
Escribimos los conjuntos de verdad para 𝑝(𝑥) y 𝑞(𝑦) como:
a) 𝐶𝑝 = 3
b) 𝐶𝑞 = 1,3,5,7,9,11, …
Uso de Cuantificadores ∀ y ∃
La forma de leer estos símbolos es la siguiente:
 ∀ puede leerse “para todo” o “todos“
La expresión para todo 𝑥 se representa con el símbolo ∀ 𝒙, el
símbolo ∀ se denomina cuantificador universal.
 ∃ puede leerse “existe", “existen", “algún” o “algunos"
La expresión existe un 𝑥, o algún 𝑥, se representa con el
símbolo ∃𝒙 , el símbolo ∃ se denomina cuantificador
existencial.
Ejemplo:
 Si a la función proposicional “𝑥 es un número impar” le
anteponemos la frase “para todo” o “todo”, y resulta la
proposición “todo 𝑥 es un número impar”, decimos que es
una proposición porque ahora podemos determinar su valor
de verdad.
“Todo 𝑥 es un número impar” es falso.
 Si, en cambio, anteponemos la expresión “existe uno” ,
“algún” o “alguno”, resulta la proposición verdadera.
“Existe un 𝑥 que es impar” o bien “Algún 𝑥 es impar”.
.

 Para determinar el valor de verdad, diremos que la expresión

∀ 𝑥: p(𝑥) es verdadera si y solo si la sustitución de 𝑥 por
cualquier elemento de un conjunto adecuado, da origen a una
proposición verdadera.
 Por otra parte; ∃𝑥: 𝑝(𝑥) es verdadera si y solo si existe por
lo menos una sustitución de 𝑥 que la transforme en una
proposición verdadera.
Ejemplo: Representa simbólicamente las expresiones dadas y
determina su valor de verdad.
a) Todos los enteros son pares.
b) Existen triángulos que son rectángulos.
 .
Solución:
a) Sea 𝑝(𝑥) ∶ 𝑥 𝑒𝑠 𝑝𝑎𝑟, la expresión simbólica es:
∀ 𝑥 ∈ ℤ: 𝑝(𝑥) , la proposición es falsa ya que no todos los enteros son
pares, basta pensar por ejemplo en 𝑥 = 3. A este valor que prueba la
falsedad de la proposición se denomina contraejemplo.
b) En este caso representamos con 𝑥 a un elemento del conjunto de los
triángulos y simbolizamos con 𝑝(𝑥) el hecho de ser triángulo
rectángulo, la expresión dada puede escribirse como: ∃ 𝑥: 𝑝(𝑥).
La proposición es verdadera ya que si podemos dibujar al menos un
triángulo rectángulo. (Notemos que si cambiamos el cuantificador
existencial por el universal, no es cierto que "todos los triángulos son
rectángulos")
Negación de cuantificadores
La negación de la proposición “para todo 𝑥, 𝑝(𝑥)", es “existe 𝑥,
tal que no 𝑝(𝑥)".
Por ejemplo: “Para todo 𝑥: 𝑥 es primo” tiene como negación:
“existe 𝑥, tal que 𝑥 no es primo”.
Análogamente, la negación de la proposición “existe un 𝑥, tal
que 𝑝(𝑥)” es: “para todo x, no p(x)”.
Ejemplo: “Existen números que son pares” tiene como
negación a: “todos los números no son pares” o “ningún número
es par”.
 .
Observación: En general diremos que para 𝑝(𝑥) y 𝑞(𝑥),
funciones proposicionales. La implicación 𝑝 𝑥 ⇒ 𝑞(𝑥) es
VERDADERA si los valores de 𝑥 que hacen verdadera a 𝑝(𝑥)
también hacen verdadera a 𝑞(𝑥). Es decir que el conjunto de
verdad del antecedente debe estar incluido en el conjunto de
verdad del consecuente. En símbolos:
𝐶𝑝 ⊂ 𝐶𝑞
Ejemplo:
Sea 𝑥 un número entero, determinar el valor de verdad de
𝑥2 = 4 ⇒ 𝑥 − 2 = 0
Solución:
𝑝(𝑥) ∶ 𝑥 2 = 4 es verdadera cuando 𝑥 = 2 o 𝑥 = − 2; es
decir 𝐶𝑝 = 2, −2
𝑞 𝑥 : 𝑥 − 2 = 0 es verdadera cuando 𝑥 = 2;
Es decir 𝐶𝑞 = 2
Como no se cumple que 𝐶𝑝 ⊂ 𝐶𝑞 diremos que la implicación
es falsa.
Condición Necesaria y Condición Suficiente
En matemática, muchas veces se habla de condición necesaria y
suficiente, condición suficiente pero no necesaria o condición
necesaria pero no suficiente. Veamos que significado tienen esas
expresiones. Para esto, tenemos que analizar el valor de verdad
tanto de la implicación directa p ⇒ 𝑞 como de su recíproca
q⇒𝑝.
Definición: Sea la implicación p ⇒ 𝑞 , si el valor de verdad de
la implicación dada es VERDADERO, se dice que:
El antecedente 𝑝 es condición suficiente para el consecuente 𝑞 y
que el consecuente 𝑞 es condición necesaria para el antecedente 𝑝
.
En caso de que el valor de verdad de la implicación 𝑝 ⇒ 𝑞 dada
es FALSO, se dice que:
"𝑝 no es condición suficiente para 𝑞" y “𝑞 no es condición
necesaria para 𝑝”
Pueden ocurrir los siguientes casos:
1) Si 𝑣 𝑝 ⇒ 𝑞 = 𝑉 y 𝑣 𝑞 ⇒ 𝑝 = 𝑉
Decimos entonces que 𝑝 es condición necesaria y suficiente para 𝑞.
2) Si 𝑣 𝑝 ⇒ 𝑞 = 𝑉 y 𝑣 𝑞 ⇒ 𝑝 = 𝐹
Decimos entonces que 𝑝 es condición suficiente pero no necesaria
para 𝑞.
.
3) Si 𝑣 𝑝 ⇒ 𝑞 = 𝐹 y 𝑣 𝑞 ⇒ 𝑝 = 𝑉
Decimos entonces que 𝑝 es condición necesaria pero no suficiente para 𝑞.
4) Si 𝑣 𝑝 ⇒ 𝑞 = 𝐹 y 𝑣 𝑞 ⇒ 𝑝 = 𝐹
Decimos entonces que 𝑝 no es condición necesaria ni suficiente para 𝑞.

Ejemplo: Dada la proposición "Si un entero es múltiplo de 4, es

par", indicar si el antecedente es o no condición necesaria o es
condición suficiente para el consecuente.
Expresamos la proposición en símbolos. Sea 𝑛 ∈ ℤ:
𝑝 𝑛 : 𝑛 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 4 (antecedente)
𝑞 𝑛 : 𝑛 𝑒𝑠 par (consecuente)

Luego ∀𝑛 ∈ ℤ: 𝑝 𝑛 ⇒ 𝑞 𝑛
.
Dado que se trata de funciones proposicionales en el
antecedente y consecuente, corresponde analizar los conjuntos
de verdad.
𝐶𝑝 = … , −8, −4,0, 4,8,12,16, …
𝐶𝑞 = … , −8, −6, −4, −2,0, 2, 4,6, 8,12,16, …
Como 𝐶𝑝 ⊂ 𝐶𝑞 entonces, 𝑣 𝑝(𝑛) ⇒ 𝑞(𝑛) = 𝑉
Por lo que el antecedente "n es múltiplo de 4" es condición
suficiente para el consecuente "n es par",
Y "n es par" es condición necesaria para que "n sea múltiplo de
cuatro".
.
Por otro lado, analizando la recíproca.
Claramente se observa que 𝐶𝑞 ⊄ 𝐶𝑝 entonces:
𝑣 𝑞(𝑛) ⇒ 𝑝(𝑛) = 𝐹
por lo que “n es par” no es condición suficiente para que "n
sea múltiplo de cuatro” y decir que "n sea múltiplo de 4"no
es condición necesaria para que "n sea par“.
En consecuencia: el antecedente "n es múltiplo de 4"es
condición suficiente pero no necesaria para el consecuente "n es
par".
Método indirecto (Por contradicción)
A veces es complicado realizar una prueba utilizando el método directo. En esos
casos para decir que un razonamiento es válido, supondremos que no lo es. Es
decir, partimos de la verdad de las premisas y de la falsedad de la conclusión
(recordemos que 𝑝 ⇒ 𝑞 solo es FALSA cuando 𝑝 es VERDADERA y 𝑞 es
FALSA, luego su negación 𝑝 ∧∼ 𝑞 es VERDADERA ). Trataremos de establecer
si la falsedad de la conclusión contradice o no la veracidad de las premisas.
Pueden ocurrir dos hechos:
1) Si no hay contradicción, la suposición de que el razonamiento no es válido fue
correcta. El razonamiento no es válido.
2) Si hay contradicción, la suposición de que el razonamiento no es válido fue
errónea. Luego el razonamiento es válido.
Ejemplo: Demostrar que: 𝑥 es impar⇒ 𝑥 2 es impar. Es
decir:

Demo: Partimos de suponer que la implicación es falsa, por lo

que su negación es verdadera.

se tiene entonces que:

Un número entero no puede ser par e impar a la vez, este absurdo

provino de suponer la implicación falsa. Luego la implicación es
verdadera.
.
Ejemplo: Probar que dado que 𝜋 es irracional, para
cualquier número entero 𝑘 distinto de cero, 𝑘𝜋 es
irracional.
Demostración. Usaremos una prueba por contradicción.
𝑝
Supongamos que 𝑘 es racional; esto es 𝑘𝜋 = donde
𝑞
𝑝
𝑝 y 𝑞 son enteros, 𝑞 ≠ 0. Entonces 𝜋 = , lo que
𝑘𝑞
contradice que es irracional. Luego 𝑘𝜋 pertenece a los
Irracionales.
 Inducción Matemática
Teorema. (Principio de Inducción Matemática) Sea
𝑝(𝑛) una forma proposicional, donde 𝑛 𝜖ℕ. Si ocurre
que p(1) es verdadera y, además, de la verdad de 𝑝(𝑘)
se deduce la verdad de 𝑝(𝑘 + 1); entonces 𝑝(𝑛) es
verdadera para todo 𝑛.
 Ejemplo: Probaremos por inducción que

i) Debemos probar que la propiedad se verifica para 𝑛 = 1.

En este caso, la suma se reduce al primer término y se tiene:

ii) Ahora, debemos demostrar la verdad de la implicación de

la hipótesis del principio de inducción, tenemos que:
Hipótesis)
Tesis)
 .
Veamos la prueba de que 𝑝(𝑘) ⇒ 𝑝(𝑘 + 1)
Operando algebraicamente 𝑝(𝑘 + 1), resulta:

Los primeros k términos corresponden a la hipótesis inductiva. En consecuencia, por i) y ii), resulta
la fórmula anterior.
Es válida para todo número natural 𝑛. Es decir 𝑝(𝑛)𝑒𝑠 𝑉erdadero,∀𝑛 ∈ ℕ
 .
Otra forma de probar:
Tesis)
.

La proposición dada es válida para todo número natural 𝑛.

Es decir 𝑝(𝑛)𝑒𝑠 𝑉erdadero,∀𝑛 ∈ ℕ.