Professional Documents
Culture Documents
de Lgica
Matemtica
Lgica Matemtica
p implica q
p solamente si q
p es suficiente para q
q es necesario para p
Ejemplo 3
Determinar una tabla de verdad para . En esta
situacin debe tenerse en cuenta que se utilizarn tres proposiciones:
p , q , y r . Por esta razn la tabla de verdad deber tener un mayor
nmero de filas. Procedamos a la construccin de la tabla.
Recproco, contrario y contrarecproco
Directo: p q
Recproco: q p
Contrario: p q
Contrarecproco q p
Ejemplo 4.
Dada la proposicin directa: Si te manejas bien te llevo al parque se
obtiene:
Ejemplo 7
Determinar una tabla de verdad para
Esta se presenta cuando en una tabla de verdad las respuestas son tanto
falsas como verdaderas.
Ejemplo 9
La tabla de verdad es:
Equivalencia lgica
1. Idempotencia:
2. Identidad:
3. Conmutativas:
4. Asociativas:
5. Distributivas:
9. Leyes de Morgan:
Negacin de cuantificadores
Ejemplo 12
Niega los siguientes cuantificadores:
Respuestas:
Inferencias y
Mtodos de
Demostracin
2.1 Inferencias
Ejemplo 1
Si 7 es primo entonces es impar (premisa)
7 es impar (premisa)
Luego 7 es primo (Conclusin)
Ejemplo 2
Si sacas 2,4 entonces apruebas (Premisa)
Si apruebas no tienes que habilitar (Premisa)
Luego Si sacas 2,4 no tienes que habilitar (Conclusin)
En el ejemplo 1: Las premisas y conclusiones son verdaderas pero el
argumento no es vlido porque la conclusin no se deduce de las
premisas.
Silogismo hipottico
Simplificacin
Adicin
Ejemplo3
Concluir s de las 4 premisas siguientes
Solucin
Mtodo directo
Ejemplo 4
Teorema: Si a y b son enteros impares entonces a +b es entero par.
Demostracin:
1. Sean a y b enteros impares Hiptesis
2. a = 2n +1, b = 2m1; n, m Z Definicin de impar.
3. a + b = 2n + 2m Propiedad uniforme de la igualdad
4. a + b = 2(n + m) Postulado de distributividad
5. a + b es nmero par Definicin de n par.
Mtodo indirecto, contraposicin o del contrarrecproco.
Ejemplo 5
Teorema: Si es impar entonces x es impar.
Demostracin
Por el mtodo indirecto supongamos que x es par y veamos que es par.
Reduccin al absurdo o por contradiccin
Ejemplo 6
Demuestre que es irracional
Demostracin
Mtodo de refutacin
Ejemplo 7
Refutaciones
Solucin
Mtodo de induccin
Solucin
Introduccin a la
Teora de Conjuntos
Introduccin
Relaciones de igualdad
Dos conjuntos son iguales si y slo si todos los elementos que
los conforman son iguales.
Simblicamente:
Reflexiva:
Simtrica:
Transitiva: si
Operaciones entre conjuntos
Solucin
Ejemplo 2
Subgrupos:
Nmeros naturales:
Se encuentran conformados por el 1,2,3,4etc. nicamente se encuentran
definidos para unidades enteras y positivas. La suma y la multiplicacin
de dos nmeros naturales es un nmero natural mientras que la resta o la
divisin no necesariamente es un nmero natural.
En el caso de ecuaciones del tipo x + a = b con a y b naturales la ecuacin
tendr solucin en los naturales solo para el caso donde b > a.
= {1,2,3,...}
Nmeros enteros:
Con el objeto de poder superar la limitacin de la sustraccin se extiende
el sistema de los naturales a los nmeros enteros. En siempre tiene
solucin a + x = b , a y b naturales. Los enteros son los naturales, los
negativos de cada natural y el cero.
= {...,3,2,1,0,1,2,3,}
Nmeros racionales: Q
Para superar la limitacin de la divisin y poder siempre resolver la
ecuacin x = b se extienden los nmeros enteros a los nmeros racionales.
Un nmero es racional si se puede expresar como cociente de dos enteros
con el denominador distinto de cero.
Nota: Cabe resaltar que los nmeros naturales y los enteros son
racionales.
Nmeros Irracionales:
Son el sistema de todos los nmeros decimales con cifras peridicas no
repetidas. Algunos ejemplos de nmeros irracionales son:
Nmeros Reales:
Son la unin de los racionales e irracionales. El sistema de los nmeros
reales consta de todas las posibles expresiones decimales.
1. Propiedad Clausurativa
4. Propiedad Inversa
a (b + c) = a b + a c
Axiomas de la igualdad. Para a,b, c, d reales
Definicin de divisin:
Ejemplos
Aplicacin de los axiomas de los reales y de la igualdad.
1.2 Teoremas adicionales sobre los nmeros reales
Punto medio:
3. La lnea recta
La grfica de una ecuacin es de la forma y = mx + b y se llama lnea recta,
tiene la forma:
Punto pendiente
Solucin:
m = 2 y pasa por (1,1) entonces
b = 1 (21) = 1
Y la ecuacin, y = 2x 1
Para trazar la grfica de esta recta ubicamos las intersecciones con los
ejes en el plano cartesiano y los unimos mediante una lnea continua.
Sabemos que las intersecciones con los ejes x e y son (b /m 0) , y (0,b)
respectivamente. En este caso las intersecciones son:
Ecuacin de una recta que pasa por dos puntos
a) Encontramos la pendiente
Esto significa que para usar punto pendiente podemos usar cualquier
punto sobre la recta.
Rectas verticales
Una recta vertical no tiene pendiente las ecuaciones de estas rectas tiene la
forma mx = k con k constante.
Rectas Horizontales
Ejercicio 2:
Una de las curvas ms sencillas de esta clase es una circunferencia, que puede
definirse como el conjunto de todos los puntos a una distancia dada (el radio)
de un punto dado (el centro). Si el centro es el punto (h, k ) y el radio es el
nmero positivo r y si ( x, y) es un punto arbitrario de la circunferencia,
entonces la condicin que la define dice que:
Es conveniente eliminar el signo de la raz cuadrada elevando al cuadrado, lo
que da:
Obsrvese que las coordenadas del centro son los nmeros que se restan de
x y de y en los parntesis
Modelos lineales y
razones de cambio.
Rectas paralelas y
perpendiculares
Rectas paralelas y perpendiculares
Rectas paralelas
Dos rectas y son paralelas lo que denotamos
como // si stas rectas no tienen puntos en comn. En este caso se
cumple que y as, las rectas paralelas tienen la misma pendiente.
Ejemplo
las rectas y = 2x 4 y y = 2x + 4 la recta son paralelas
Rectas perpendiculares
Entonces una ecuacin de la recta en la forma punto pendiente est dada por:
1) Encontrar las ecuaciones de las lneas rectas que pasan por el punto (4,-2)
y que tienen las siguientes propiedades:
La cual es la forma:
c) Perpendicular a la recta 2 y + 3x = 1
Dos rectas son perpendiculares si el producto de sus pendientes es
igual a -1.Entonces:
La recta
d) Paralela al eje y. Si es paralela al eje y tenemos una recta vertical; en las
rectas verticales la pendiente es no definida; es decir es de la forma:
x + y =1 (1)
x y =1 (2)
x =1 y (3)
1 y y =1
2y = 0
y= 0 (4)
(4) en (3) x=1
Ejemplo 2
Continuacin:
Mtodo de igualacin
Continuacin:
Ejemplo 4 Continuacin:
Mtodo de eliminacin
1. Buscamos un nmero real tal que al multiplicar una ecuacin por ese
nmero obtengamos los mismos coeficientes en dos ecuaciones para una
misma variable pero con signo contrario.
y adems
Interseccin con los ejes: Dos puntos solucin de una ecuacin
especialmente tiles son las intersecciones con los ejes, estos son los puntos
en los que la grfica de la ecuacin corta los ejes.
Primero se buscan los interceptos con los ejes. Para encontrar los interceptos
con el eje x hacemos y = 0 y miramos que valores satisfacen la ecuacin.