Lgica Simblica: Es la rama de la lgica que trata de los mtodos de razonamiento mediante las

reglas tcnicas con el fin de determinar si un argumento es vlido.

Proposicin: Es una expresin que tiene sentido y de la cual se puede afirmar si es falsa o
verdadera pero no ambas.

Axioma: Es tambin llamado postulado y es una proposicin inicial el cual se asume como
verdadero.

Teorema: es cualquier proposicin que se desprende de otra proposicin o proposiciones dadas

por supuestas o previamente demostradas dentro del sistema, un teorema es una proposicin
cuya veracidad requiere ser demostrada a partir de otra.

Proposicin Compuesta: Es la proposicin que est formada por 2 o ms proposiciones simples

unidas por conectores lgicos.

Implicacin
Doble Implicacin

Negacin: Es una nueva proposicin que contiene el valor de verdad opuesto a la proposicin
inicial.

P q P^q Pvq Pvq pq Pq

(conjuncin) Disyuncin Disyuncin implicacin doble
inclusiva exclusiva implicacin
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

http://www.youtube.com/watch?v=9eOA7bKjkOI

http://www.youtube.com/watch?v=pxXp1uErUAw
Conjuntos: Coleccin de elementos con caractersticas en comn, existen 3 formas de
represntalos:

Numerativa
Descriptiva
Grafica

Numerativa: A={3,4,5,6,7,8}
Descriptiva= A={x/x E N, 3 y 8}
Grfica: A=
3,4,5,
6,7,8

Cordialidad: Nmeros de elementos del conjunto.

B={a,e,i,o,u}
C(B)=5

Familia de Conjuntos
Conjunto Potencia, se denomina de esta manera P(a)

Ej. Potencia de A={3,4,5}

P(A)=23 = 8 subconjuntos
A1={ } ; A2={3} ; A3={4} ; A4={5} ; A5={3,4} ; A6={3,5} ; A7={4,5} ; A8={3,4,5}
P(A)={A1A8}

http://www.youtube.com/watch?v=MJIx6mD60DI

Conjunto Unin U
AUB={x/x E A o X EB}
http://www.youtube.com/watch?v=SD198qn58BU

Conjunto Interseccin
AB={x/x E A y X EB}
http://www.youtube.com/watch?v=vg9telumPxo

Diferencia de Conjuntos
A-B={ x/x E A y x B}
http://www.youtube.com/watch?v=nddkdNO-78c

Diferencia Simetrica
http://www.youtube.com/watch?v=GD5hry9oNis

Complemento de Conjuntos Ac=A1

http://www.youtube.com/watch?v=alRyOc1bwFg

Combinacin de operaciones de conjuntos: http://www.youtube.com/watch?v=oRZTYh-nRhw

Propiedad de Igualdad.
Dos pares ordenados (a,b) y (c,d) son idnticos si y solo si coinciden sus primeros y segundos
elemento respectivamente. (a,b)=(c,d) a=c y b=d

Ej.
(2x + 5, 8) (7, y + 10)
a b c d
2x+5=7 8= y+10
2x= 7-5 8-10= y
X= 2/2 -2 = y
X= 1
Sustituimos
2(1) + 5,8 7, -2+ 10
(7,8) (7,8)

Producto Cartesiano
http://www.youtube.com/watch?v=iZ8yZANNRDA

Distancia entre 2 puntos

http://www.youtube.com/watch?v=K8noMEH5FAM

Propiedades de los nmeros reales

Propiedad Conmutativa de la suma: cuando sumamos 2 nmeros el orden no tiene
importancia.
Propiedad conmutativa de la multiplicacin: Cuando multiplicamos 2 nmeros el orden no
tiene importancia.
Propiedad asociativa de la suma: cuando sumamos 3 nmeros o mas no importa cuales
sumemos primero.
Propiedad asociativa de la multiplicacin: cuando multiplicamos 3 o ms nmeros no
importa cual multiplicamos primero.
Propiedad distributiva: Cuando multiplicamos un nmero por la suma de otros 2 nmeros
obtenemos el mismo resultado, si multiplicamos el nmero por cada uno de los trminos y
a continuacin sumamos los resultados.
a(b+c)=ab + ac

Propiedad de los nmeros negativos

(-1)a= -a
-(-a)=a
(-a)b o a(-b)= -(ab)
(-a)(-b)=ab
-(a+b)= -a-b
-(a-b)= -a+b