ALGEBRA LINEAL I

Clase 14/03/22
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:
es una proposición falsa
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.
es Verdadera
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:

Escribimos los conjuntos de verdad para y como:

a)
b)
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 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 . 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

Solución:
es verdadera cuando o ; es decir
es verdadera cuando
Es decir
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 como de su recíproca .
Definición: Sea la implicación , 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
(antecedente)
par (consecuente)
Luego
.
Dado que se trata de funciones proposicionales en el
antecedente y consecuente, corresponde analizar los
conjuntos de verdad.

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".