You are on page 1of 11

LGICA

Definicin 1. Dada una proposicin p, se define la negacin `` p" como la


proposicin que tiene valor de verdad de acuerdo a la tabla:

p p

V F

F V

Proposicin 2. Dada una proposicin p, el valor de verdad de ( p) es el


mismo que el de p.
Definicin 3-4-5-6. Dadas las proposiciones p ,q, se definen la disyuncin p
q ; la conjuncin p q; la implicacin p q y la equivalencia p q como
las proposiciones que
p q pq pq pq pq tiene un valor de verdad
de acuerdo a la siguiente
V V V V V V tabla:

V F V F F F

F V V F V F

F F F F V V

Proposicin 7: Sean p , q proposiciones entonces :


(p q) (q p) tiene el mismo valor de verdad de p q
Definicin 8. Una proposicin se denomina tautologa si su valor de verdad
es verdadero, cualquiera sean los valores de verdad de las proposiciones que
la componen. Las tautologas se representan usualmente con la letra (tau).
Definicin 9. Una proposicin se denomina contradiccin o absurdo si su
valor de verdad es falso, cualquiera sean los valores de verdad de las
proposiciones que la componen. Las contradicciones se representan con la
letra (alpha).
OBSERVACIN 10: Para evitar un exceso de parntesis convendremos que
los smbolos y tienen prioridad sobre y . As, por ejemplo, p q r
ser interpretada como p (q r).
Teorema 11: Sean p , q y r proposiciones . Las siguientes proposiciones son
tautologas (o teoremas lgicos)
11.1) ( p) p
11.2) p p (Principio del tercero excluido)
11.3) p p (Principio de identidad)
11.4) p p p (Idempotencia)
ppp
11.5) p q q p (Conmutatividad)
pqqp
11.6) (p q) r p (q r) (Asociatividad)
(p q) r p (q r)
11.7) p (q r) (p q) (p r) ( Distributivita )
p (q r) (p q) (p r)
11.8) p q p q
11.9) p q (p q q p)
11.10) (p q) p q (Ley de De Morgan)
(p q) p q
11.11) p p q ; p q p
11.12) [(p q) (q r)] (p r) (Transitividad)
11.13) (p q) ( q p) (Contra recproca)
11.14) p p , p , ( V , F )
11.15) p , p p , p p F

CONJUNTOS
Dados un elemento a y un conjunto A, entonces con el signo se construye
la proposicin a A.
Definicin 1. La proposicin (a B) se escribe a B y se lee a no
pertenece a B o a no es elemento de B.
Un conjunto puede definirse por extensin o por comprensin.
Los diagramas de Venn, denominados as en honor al lgico ingls John
Venn, son figuras geomtricas (crculos y rectngulos principalmente) o curvas
cerradas que representan conjuntos. Las figuras se superponen parcialmente
entregando una representacin pictrica de las relaciones entre los conjuntos.
Definicin 2. Una variable es un objeto que forma parte de una expresin
matemtica y que puede ser reemplazada por un elemento, conjunto o
proposicin segn la expresin en la cual aparezca, dando origen as a un
conjunto, elemento o proposicin de acuerdo al contexto.
Definicin 3. Se llama funcin proposicional a la expresin que consta de
variables que al sustituirlas por elementos o conjuntos se transforma en una
proposicin. Usaremos expresiones como p(y) y q(x,z) para representar
funciones proposicionales.
Definicin 4. El smbolo / se lee "tal que" y tiene el sentido de una
conjuncin. Es decir, equivale al conectivo .
Recordemos algunos conjuntos numricos utilizados en matemtica:
IN={1,2,3,} es el conjunto de los nmeros naturales.
IN0={0,1,2,3,} es el conjunto de los nmeros cardinales, o simplemente el
conjunto de los naturales con el cero.
Z={,-2,-1,0,1,2,} es el conjunto de los nmeros enteros.
Q={a/b / a Z b Z b 0} donde a / b = c /d ad = bc, es el
conjunto de los nmeros racionales.
I es el conjunto de los nmeros irracionales, es decir aquellos nmeros que
pudindose escribir como desarrollos decimales, no se pueden escribir como
fraccin.
R es el conjunto de los nmeros reales. El cual considera a todos los
desarrollos decimales, sean estos desarrollos finitos, peridicos, semiperidicos
o infinitos sin perodo.
Cuantificadores
Definicin 5. El smbolo se denomina cuantificador universal.
Sea A un conjunto y p(x) una funcin proposicional.
x A: p(x) se lee Para todo elemento de A se cumple la proposicin p(x).
Definicin 6. El smbolo se denomina cuantificador existencial.
Sea A un conjunto y p(x) una funcin proposicional.
x A : p(x) se lee Existe un elemento en A que cumple p(x).
Definicin 7. El smbolo ! indica unicidad.
! x A: p(x) se lee Existe un nico elemento de A que satisface p(x).
Definicin 8. Se llama conjunto universo al conjunto que contiene todos los
elementos a utilizar en un contexto dado. Este conjunto se denota con la letra
U.
Definicin 9-10. Dados dos conjuntos A y B, se dice que A es igual a B, y se
escribe A = B, si x U: (x A x B).
( A = B), se escribe A B y se lee A es distinto de B.
Se dice que el conjunto A es subconjunto del conjunto B, y se escribe A
B o A B, cuando
x U: (x A x B) . Tambin se dice A est incluido en B o que A esta
contenido en B. Por ltimo, tambin se dice que B contiene a A, y se anota B
A.
En lugar de escribir (A B) se escribir A B. Si A B y A B, se
dice A es subconjunto propio de B y se denota A B.
Teorema 11. Sea A un conjunto y p(x) una funcin proposicional. Entonces:
( x A: p (x)) ( x A: p (x)).
Teorema 12. Sea A un conjunto y p(x) una funcin proposicional. Entonces:
( x A: p (x)) ( x A: p (x)).
Teorema 13. Sea U un conjunto y sean p(x) y q (x) dos funciones
proposicionales Entonces:
[ x U: p (x) x U : q (x)]
[ x U: (p (x) q (x))]
Definicin 14. Se dice que un conjunto es finito si la cantidad de elementos
es un nmero natural. En caso contrario, se dice que el conjunto es infinito.
Definicin 15. Si A es un conjunto finito, #A es el nmero de elementos de
A. # A se lee cardinal de A.
Definicin 16. Si un conjunto no tiene elementos se llama conjunto vaco y
se denota con un espacio vaco entre llaves { } o con el smbolo .
Definicin 17. Sean A y B conjuntos, entonces P(A) se lee conjunto
potencia de A. P(A) es el conjunto {X U / X A}, es decir, es el conjunto
formado por todos los subconjuntos de A.
Definiciones 18. Sean A y B conjuntos, entonces:

A B = {x U / x A A B = {x U/ x A x
x B} B}

A Bx =
{x
A BU/
xx
AA x xABxA x
B}
Ac o A = {x U / x A}
xABxA x
B x AC ( x A) x A
Observacin 19. Si A B = , se dice que A y B son conjuntos disjuntos.
Teorema 20. Sean A , B y C conjuntos, entonces son verdaderas las
proposiciones:
20.1) A
20.2) A A
20.3) (A B B A) A=B
20.4) (A B B C) A C
Teorema 21. Sean A,B y C conjuntos, entonces las proposiciones siguientes
son teoremas :
21.1) A A = A , A A = A
21.2) A B = B A , A B = B A
21.3) (A B) C =A (B C),
(A B) C = A (B C)
21.4) A (B C) = (A B) (A C),
A (B C)=(A B) (A C)
21.5) A B A B = B ,
AB AB=A
21.6) A B C B A C B,
AB ACA BC
21.7) (A B )c = Ac Bc ,
(A B )c = Ac Bc
21.8) A = A , A =
21.9) U = U, U =
21.10) Uc = , c =U , (Ac )c = A
21.11) A B = A Bc , A B = Bc Ac
21.12) A B Bc Ac
21.13) Ac = U A
Teorema 22. Sea n IN0 y # A = n, entonces # P (A) = 2.
Producto Cartesiano
Definicin 23. Dados los conjuntos A y B, y los elementos a A y b B, se
define el conjunto
(a, b)={{a},{a, b}}, el cual se llama par ordenado de primer elemento a
y segundo elemento b.
Teorema 24. Si a, b, c, d U, entonces: (a, b) = (c, d) a = c b = d.
Definicin 25. Dados los conjuntos A y B, se construye el conjunto A B
el cual se llama producto cartesiano o producto cruz de A con B y se define
como:
A B={(x, y) / x A y B}
El producto cartesiano puede representarse en el sistema cartesiano y en
diagrama sagital.
Teorema 26. Dados los conjuntos A, B, C y D, entonces las siguientes
proposiciones son tautologas.
26.1) (C A D B) C D A B
26.2) A B = (A = B = )
26.3) A (B C) = (A B) (A C)
26.4) (A B) C = (A C) (B C)
26.5) A (B C) = (A B) (A C)
26.6) (A B) C = (A C) (B C)
26.7) (A - B) C = (A C) - (B C)
26.8) A (B - C) = (A B) - (A C)
26.9) (AB)c =(Ac Bc ) (Ac B) (ABc )
26.10) (AxB) (CxD) = [(A C) x B ] [A x ( B D )]
26.11) ( A x C ) (B x D) ( A B ) x ( C D)

FUNCIONES
Definicin 1. Diremos que una relacin f A x B es una funcin de A en B si
para todo a A existe un nico b B tal que (a,b) f.
El elemento b se llama la imagen de a por f y a se llama la preimagen de b.
Notacin:
1. Las funciones las denotaremos por letras f, g, h, ...
2. Si f: A B es funcin se denotar por f(a) al nico elemento b de B tal que (a,b)
f.
As, f (a) = b (a, b) f.
3. Si f es una funcin de A en B se denotar:
f: A B, definida por la frmula y = f(x).
4. Si f: AB es funcin entonces Rec f = f(A).
Dominio de f (se anota Dom f) Dom f ={a A / b B f ( a ) = b}
Recorrido de f. (se anota Rec f) Rec f = {b B / a A f ( a ) = b}
Al conjunto recorrido de f tambin se le llama Imagen de f se anota Im f.
Para determinar el dominio de f usualmente se despeja y en trminos de x .
El dominio de f es el conjunto de todos los x tales que la expresin en trminos
de x es un real.
Para encontrar el recorrido de f despejamos x en funcin de y. Los valores
para los cuales esta expresin est en el Dom f es el recorrido de f.
Definicin 2: Si f y g son funciones de A en B, diremos que f y g son iguales
si y slo si
f(x) = g(x) , x A.
Definicin 3. Se define como la funcin nula o funcin cero a la funcin f :
RR definida por la frmula f(x) = 0. Se denota por O f
Dado un conjunto A, no vaco. Se define la funcin identidad en A como la
funcin f : AA definida por la frmula f(x)=x. Se denota por I A
OPERACIONES ENTRE FUNCIONES
Definicin 4: Sea F = {f: A IR/ f es funcin }, conjunto de todas las
funciones de un conjunto A subconjunto de los reales.
Para todo f y g en F y IR se definen las siguientes operaciones:
1. Suma de funciones: f+g : A IR definida por (f+g)(x) = f (x)+g (x).
2. Producto de funciones: fg : A IR definida por (f g)(x) = f(x) g(x).
3. Resta de funciones: f g : A IR definida por (f g)(x) = f (x) g (x).
4. Cociente de funciones: (f/g) : A IR definida por (f/g)(x) =f(x) /g(x) ; x
A con g(x) 0
5. Producto por escalar: f : A IR definida por ( f) (x) = f(x).
Composicin de Funciones.
Definicin 5. Sean A, B, C conjuntos y f : A B, g : B C funciones. Se define
la funcin compuesta g f : A C por (g f)(x) = g( f (x) )
Observacin 6. Notar que la definicin de funcin compuesta gf se puede
dar en forma ms general. Basta considerar
f : A B y g : C D, con Recf Domg, es decir, no es necesario que B = C
Teorema 7. Sean f : AB, g : BC y h :CD funciones entonces
7.1) h(gf)=(hg)f (asociatividad de la composicin)
7.2) fIA = f, IBf = f (elemento neutro)
Funciones biyectivas
Definicin 8. Sea f : A B funcin. Se dice que:
1. f es inyectiva (o uno a uno) si y slo si: x, y A: f (x) = f (y) x = y
2. f es epiyectiva ( sobreyectiva o sobre) si y slo si: Rec f = B
3. f es biyectiva, si y slo si, f es inyectiva y f es epiyectiva.
Observaciones 9.
a) Como (p q) (q p) entonces: f es inyectiva, si y slo,
(f(x) = f(y) x = y), si y slo si, (x y f (x) f (y)) , es decir , a
elementos distintos le corresponden imgenes distintas.
b) f es epiyectiva si y slo si Rec f = B si y slo si f (A) = B si y slo si b
B existe aA tal que f (a) = b.
c) Sea f :IR IR una funcin:
i) Para que f sea inyectiva toda recta paralela al eje X que corta el
grfico de f debe hacerlo en uno y slo un punto.
ii) Para que f sea epiyectiva toda recta paralela al eje X debe cortar el
grfico de la funcin. Esto es la proyeccin del grfico sobre el eje Y
debe ser todo el eje Y.
Observaciones 10. Si f A B es una relacin de A en B entonces
siempre es posible encontrar un subconjunto A 1 de A y B1 de B de modo que:

1. f :A1 B1 sea funcin.


2. f :A1 B1 sea funcin inyectiva.
3. f :A1 B1 sea funcin epiyectiva.
4. f :A1 B1 sea funcin biyectiva.
Funciones Inversas.
Sea f: A B funcin, luego es una relacin de A en B y por lo tanto existe la
relacin inversa:
-1
f ={(b, a) B x A / (a, b) f } ={(b, a) B x A / f (a) = b }
Si f -1 : B A es funcin se tendr de la definicin de f -1 que f -1 (b) = a f
(a) = b En el siguiente teorema veremos condiciones para que f -1 sea funcin.
Teorema 11. Si f : A B es funcin entonces: f -1: B A es funcin f
es biyectiva.
Observacin 12. Cuando la inversa de una funcin f es funcin, diremos que
existe su inversa o que existe f -1 , tambin diremos que f es invertible .

Observacin 13. Sea f : A B funcin, si f -1: B A es una funcin entonces


se tiene f -1f es una funcin de A en A y f f -1 es una de B en B .
Proposicin 14. Si f: A B es funcin entonces
14.1) f es inyectiva,si y slo si, f -1 f = IA
-1
14.2) f es epiyectiva,si y slo si f f =IB
-1 -1
14.3) f es biyectiva, si y slo si, ff = IB y f f = IA
Proposicin 15. Si f y g son funciones invertibles de A en A, entonces
existe la funcin (g f)-1 y es igual a la funcin f -1 g -1
Funcin Exponencial y Logartmica
Definicin 16. Sea a R+-{1}, la funcin expa:IRIR definida por expa(x) =
ax se llama funcin exponencial en la base a.
Observacin 17. Propiedades

1. Rec(expa) = IR+ , a R+- {1}


2. expa es creciente si a >1 y decreciente si a < 1.

3. expa es inyectiva, esto es ax = ay x=y. Luego se tiene expa:IRIR+


es biyectiva.

4. expa(x)expa(y) = expa(x+y)
5. expa(x):expa(y) = expa(x-y)
6. [expa(x)] = expa(nx)

Definicin 18. La funcin inversa de expa se llama funcin logaritmo en la


base a y se denota loga.
Observacin 19.

1. Como expa: IR IR+ entonces:


loga: IR+ IR adems expa-1 = loga. Luego y = ax loga(y) = x
2. Como loga es la funcin inversa de expa su grfico se obtiene del grfico
de expa haciendo el simtrico respecto a la recta y=x
Proposicin 20 (Prop. de los logaritmos).
1.Loga 1 = 0
3.Loga a = 1
5.Loga(xy) = Loga(x) + Loga(y)
7. Loga(x/y) = Logax Loga(y)
8. Logaxn = n Logax, n R
6. Logax = (Logbx)/(Logba) (cambio de base de un logaritmo)

Induccin Matemtica
Principio de induccin matemtica: La siguiente es una definicin
formal del conjunto de los nmeros naturales, necesaria para introducir el
concepto de induccin, el que es fundamental para la introduccin al estudio
de las sucesiones.
La presentacin axiomtico-deductiva de los nmeros naturales se inicia
con tres elementos primitivos, a saber:
a) Un conjunto IN , cuyos elementos se llaman "nmeros naturales",
b) Un elemento llamado "uno", cuyo smbolo es "1",
c) Una relacin en IN, definida por "y es el sucesor de x" que denotaremos por
"y = suc(x)".
Los siguientes 5 axiomas (axiomas de Peano) determinan al conjunto IN:
Ax 1. 1 IN (es decir, 1 es un nmero natural).
Ax 2. x IN ! y IN : y = suc (x) (es decir, para cada nmero
natural existe un nico sucesor).
Ax 3. x IN : suc (x) 1 (es decir, 1 no es sucesor).
Ax 4. x, y IN : suc (x) = suc (y) x = y (es decir, un nmero
natural no puede ser sucesor de dos nmeros distintos).
Ax 5. Si un subconjunto A de IN satisface las propiedades:
1A y x A suc (x) A, entonces
A = IN (es decir, si un subconjunto de IN contiene al 1 y al sucesor de cada
uno de sus elementos entonces el subconjunto es igual a IN).
El Axioma 5 es llamado de axioma de induccin completa. Este axioma es
la base del mtodo que usaremos para demostrar la veracidad de algunas
propiedades de ciertos subconjuntos de IN.
Proposicin 1. Sea m IN un nmero natural fijo y sea p(n) una funcin
proposicional que depende del nmero natural n.
Si:
i) p(m) es verdadera y
ii) p(k) verdadera p (k+1) verdadera, para todo nmero natural k
m, entonces la proposicin es vlida para todo nmero natural
n m.

You might also like