Documentos de Académico
Documentos de Profesional
Documentos de Cultura
– En Ingeniería: para saber en qué medida un diseño es aerodinámico, para determinar cuánta fuerza se
necesita para mover un vehículo, ya sea un automóvil, un avión o un cohete.
– En Estadística: para determinar la probabilidad de que un hecho se repita, o para identificar patrones
recurrentes en una gran masa de datos.
– En Informática: para expresar los algoritmos, que son fórmulas matemáticas que le dicen a los
dispositivos informáticos cómo responder en diversas situaciones.
– En Química: para calcular las proporciones de las sustancias químicas que componen una solución.
– En Medicina: para el diseño y fabricación de equipos médicos complejos, como los de resonancia
magnética..
– En Astronomía: para medir la intensidad del brillo y la distancia que nos separa de las estrellas, para
predecir la trayectoria de cometas y asteroides.
Para que sirve el lenguaje matematico y para que se utiliza
Lógica proposicional
p p'
1 0
0 1
p q pq
1 1 1
1 0 0
0 1 0
0 0 0
p q pq
1 1 1
1 0 1
0 1 1
0 0 0
p q pq
1 1 0
1 0 1
0 1 1
0 0 0
p q pq
1 1 1
1 0 0
0 1 1
0 0 1
Bicondicional: es aquella proposición que es verdadera cuando p y q
tienen el mismo valor de verdad,
y falsa en caso contrario. Se escribe p q, y se lee "si y sólo
si p entonces q".
p q pq
1 1 1
1 0 0
0 1 0
0 0 1
pq
q' p'
son equivalentes. Esta ley se llama "ley del contrarrecíproco", y se usa en los
razonamientos por reducción al absurdo.
Se pueden obtener fácilmente más "resultados lógicos" a través de su relación
con la teoría de conjuntos.
N = { 1,2,3,4,5, ... }
mS
y que
n S n+1 S
mS
y que
Teoría de Conjuntos
o '=U.
o U ' = .
o (A')' = A .
o A B B' A' .
o Si A = { x U | p(x) es una proposición verdadera} entonces A' = { x U
| p(x) es una proposición falsa}.
o A = A , A = ( elemento nulo ).
o A U = U , A U = A ( elemento universal ).
o ( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan ).
A B := { (a,b) : a A b B}
Dos pares (a,b) y (c,d) de A B son iguales si a = c y b = d; análogamente,
dados cuatro conjuntos A,B,C,D se verifica
AB=CD(A=CB=D)
ProyAG := { a A : (a,b) G, b B}
o i I Ai := { a : a Ai , i I }
o i I Ai := { a : a Ai , i I }
o i I Ai := { (ai) : ai Ai , i I }
DIAGRAMAS DE VENN
Los conjuntos de suelen representar gráficamente mediante "diagramas de
Venn", con una línea que encierra a sus elementos.
Así, todas las operaciones entre conjuntos se pueden representar gráficamente
con el fin de obtener una idea más intuitiva.
AB
AB
AB
AB
AB
A(AB)=A a(bc)a
A(BC)=(AB)(AC) a(bc)(ab)(ac)
x A p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la
proposición
{ x A : p(x) } = A
x A | p(x)
{ x A : p(x) }
n! = n · (n-1)!
(a)
(b)
Como aplicación de los números combinatorios y del Binomio de Newton,
podemos contar el número total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el
cardinal de partes de A; para ello, notemos
que el número de tales subconjuntos se obtiene sumando el número de
subconjuntos de 0 elementos más los de
1 elemento, más los de 2 elementos, y así hasta los de n elementos, es
decir:
(1+1)n = 2n