Está en la página 1de 26

EL METODO MATEMATICO

• Estructuración de un sistema matemático


• Conjuntos
• Preposiciones cerradas y abiertas
• Operaciones con conjuntos y con proposiciones
• Propiedades de las operaciones entre conjuntos
• Propiedades de las operaciones entre preposiciones
• Formas de la implicación
• Leyes del algebra de conjuntos y de preposiciones
ESTRUCTURACIÓN DE UN SISTEMA MATEMÁTICO
 Términos no definidos:
Punto / Recta / Conjunto

 Términos definidos:
Segmento rectilíneo: rectas comprendidas entre puntos

 Conjunto de preposiciones:

Axiomas (Se aceptan como verdaderas)


“Toda cantidad puede reemplazarse con su igual”

Teoremas (Son necesarias de demostrar mediante axiomas)


ESTRUCTURACIÓN DE UN SISTEMA MATEMÁTICO
TODA CANTIDAD PUEDE
REEMPLAZARCE CON SU IGUAL ANGULO
PLANO

PUNTOS COLINEALES ESPACIO

 Términos no definidos
 Términos definidos
ZxY=YxZ CURVA
 Axiomas
 Teoremas
CONJUNTOS
Un conjunto es una colección de objetos que llamaremos elementos
Notación: ELEMENTOS (los elementos pueden ser nombrados por extensión o compresión)
NOMBRE

Conjunto: A, L, K, N
A= 1,2,9,a,4,f,h,$,%

LLAVES

Extensión: Consiste en listar todos los elementos Compresión: Consiste identificar la característica común
considerándolos solo una vez y sin importar su orden de los elementos, cualquier elemento que cumpla esta
propiedad será parte del conjunto.
𝐵 = 0,2,4,6,8,10, … 𝐵 = 𝑥, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 𝑒𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙 𝑝𝑎𝑟
𝐵 = 𝑥/𝑥 𝑒𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙 𝑝𝑎𝑟
CLASES DE CONJUNTOS
 Conjunto Vacío o nulo: carece de elementos
𝐵 = 𝑥, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 2 = −4, ∈ 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑒𝑛𝑡𝑒𝑟𝑜𝑠 𝑑𝑖𝑓𝑒𝑟𝑒𝑛𝑡𝑒𝑠 𝑑𝑒 0 = ∅

𝐵= =∅

 Conjunto finito: tiene un numero determinado de elementos


C = 𝑥, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 𝑠𝑒𝑎 𝑢𝑛 𝑚𝑢𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜 𝑚𝑒𝑛𝑜𝑟 𝑎 15

𝐶 = 2,3,5,7,11,13

𝑛(𝐶) = 6

 Conjunto infinito: no se conoce el numero de elementos que lo compone


𝐷 = 𝑥, 𝑡𝑎𝑙 𝑞𝑢𝑒 0 < 𝑥 < 1, 𝑥 ∈ 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑟𝑒𝑎𝑙𝑒𝑠

𝑛(𝐷) =infinito
RELACIONES ENTRE CONJUNTOS
 Conjuntos iguales y diferentes: dados los conjuntos A y B, estos son iguales si todos los
elementos de A son elementos de B y viceversa.
A= 0,2,4,6,8,10
B= 10,2,6,0,4,8 𝐴=𝐵 𝐴≠𝐶 𝐵≠𝐶
C= 10,2,6,4,8

 Conjuntos equivalentes o coordinables: si existe una correspondencia biunívoca entre


sus elementos (cada elementos del conjunto A se asocia a uno y solo uno de los
elementos del conjunto B )
A= 1,2,3,4 𝑛 𝐴 =4 Cardinalidad 4
B= 𝐴𝑏𝑎𝑑, 𝐺𝑜𝑛𝑧𝑎𝑙𝑒𝑠, 𝐽𝑢𝑟𝑎𝑑𝑜, 𝑅𝑜𝑚𝑒𝑟𝑜 𝑛 𝐵 =4

𝐴 ≈B

𝐴 ≈A equivalente consigo mismo 𝐴 ≈ B entonces 𝐵 ≈ A 𝑆𝑖 𝐴 ≈ B y B ≈ C entonces 𝐴 ≈ C


RELACIONES ENTRE CONJUNTOS
 Subconjunto: dados los conjuntos A y B, el conjunto A es subconjunto de B si todos los
elementos de A se encuentran en B.
A= 2,4,8
𝐴⊆𝐵
B= 2,6,0,4,8

 Subconjunto propio: si A es subconjunto de B y tienen diferente cardinalidad


A= 2,4,8
𝐴⊂𝐵 𝐵 ⊃ 𝐴 (B superconjunto de A)
B= 2,6,0,4,8

 Subconjunto impropio: si A es subconjunto de B y tienen igual cardinalidad


A= 2,4,8,6,0
𝐴⊆𝐵 𝐵⊆𝐴 𝐴=𝐵
B= 2,6,0,4,8
RELACIONES ENTRE CONJUNTOS
 Intersecantes: dos conjuntos son intersecantes si almenos tienen un elemento en
comun.

 Disjuntos: si no tienen elementos en comun

 Comparables: si A ⊆ B ó A⊆B

 Conjunto de conjuntos: conjunto que tiene como elementos solo a conjuntos

A= 𝑎, 𝑏, 𝑐, 𝑑 , ∅, 1,2,3 , $, % n(A)=4
RELACIONES ENTRE CONJUNTOS
 Potencia: dado el conjunto A, el conjunto potencia es aquel conformado por todos los
posibles subconjuntos del conjunto A.
A= 𝑎, 𝑏, 𝑐 n(A)=3

2𝐴= 𝑎, 𝑏, 𝑐 , 𝑎, 𝑏 , 𝑎, 𝑐 , 𝑏, 𝑐 , 𝑎 , 𝑏 , 𝑐 , ∅ 𝑛 2𝐴 = 2𝑛(𝐴)

 Universo: se representa con U, el conjunto universo tiene todos los elementos de los
conjuntos que se estén analizando, siendo el conjunto universo variable según el
problema
REPRESENTACION GRAFICA
Los conjuntos se pueden representar mediante formas geométricas, los diagramas
formados de esta forma son los Diagramas de Venn Euler.

2 regiones
𝟐𝟏
4 regiones
𝟐𝟐

# 𝑟𝑒𝑔𝑖𝑜𝑛𝑒𝑠 = 2# 𝑑𝑒 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 16 regiones


𝟐𝟒
PREPOSICIONES CERRADAS
Es una oración que se sabe con certeza si es verdadera o falsa

p: 4 es un número par; p es verdad


q: d es una vocal; q es falso Valores de verdad
P,q,r,s,t,… V - F

Negación de una preposición cerrada:


no p: 4 no es un número par; p es falso
FUNCIONES PREPOSICIONALES

Es una oración con varias variables, donde cada variable debe estar bien definida

px,qy,…
px: 2<x<10, x elemento par de los números enteros
No tiene un solo
valor de verdad

p=2<12<10; falso X=12

Conjunto de verdad: 𝑝 = 4,6,8 p=2<6<10; verdad X=6


OPERACIONES - Complemento

Decimos que el complemento de N es el conjunto 𝑁′ = 𝑥 / 𝑥 ∈ 𝑼 𝑦 𝑥 ∈ 𝑵


conformado por todos los elementos del conjunto
universal U que no pertenecen al conjunto N

Para una preposición cualquiera los valores de verdad Su complemento o negación seria:
serian:

p ~p
~p
p V F
F V

Para una función preposicional serian:


U= 1,2,3,4,5,6,7,8,9,10,11,12
px: 2<x<10, x elemento par de los números enteros 𝑝 = 4,6,8 ~𝑝𝑥 = 𝑃′ = 1,2,3,5,7,9,10,11,12
OPERACIONES - Intersección
El resultado de la operación es un
𝑀∩𝑁 = 𝑥/𝑥 ∈𝑴𝑦𝑥 ∈𝑵
conjunto que tiene los elementos de
ambos conjuntos

p q 𝒑⋀𝒒
V V V
Se define la preposición compuesta p conjunción Su valor de verdad es V si las dos
V F F
q como p y q y se representa como (𝒑⋀𝒒) preposiciones son verdaderas:
F V F
F F F

Para una función preposicional serian:

𝑥/ 𝑝𝑥 ⋀𝑞𝑥 = 𝑥/𝑝𝑥 𝑦 𝑞𝑥 = 𝑃 ∩ 𝑄
OPERACIONES - Diferencia
Dados A-B (A menos B), el resultado
𝐴−𝐵 = 𝑥/𝑥 ∈𝐴𝑦𝑥 ∈𝐵
de la operación es un conjunto que
tiene los elementos de A que no
pertenecen a B

p q 𝒑 𝒒
V V F
Se define la conjunción negativa p conjunción Su valor de verdad es V si las dos
V F F
negativa q como p q y se representa como “no preposiciones son falsas:
p” y “no q” F V F
F F V
Es igual a: (~ 𝒑⋀~𝒒)
Para una función preposicional serian: Realizar demostración

𝑥/𝑝𝑥 𝑞𝑥 = 𝑥/~𝑝𝑥 𝑦~𝑞𝑥 = 𝑃′ ∩ 𝑄’


OPERACIONES - Union
El resultado de la operación es un
𝐴𝑈𝐵 = 𝑥/𝑥 ∈𝐴ó𝑥 ∈𝐵
conjunto que tiene los elementos de
ambos conjuntos

p q 𝒑 𝑽𝒒
V V V
Su valor de verdad es V si cualquiera
Se define la disyunción inclusiva p o q como p V q V F V
de las dos preposiciones son verdad:
F V V
F F F

Para una función preposicional serian: Leyes de los conjuntos

𝑥/𝑝𝑥 𝑉 𝑞𝑥 = 𝑥/𝑝𝑥 𝒐 𝑞𝑥 = 𝑃 𝑈 𝑄 = (𝑃 ∩ Q) U (𝑃 ∩ Q’) U (𝑃′ ∩ Q)


OPERACIONES - Diferencia simétrica, Disyunción exclusiva
El resultado de la operación es un
𝐴∆𝐵 = 𝑥/𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵, 𝑥 ∈ (𝐴 ∩ 𝐵)
conjunto que tiene los elementos del
conjunto A y B pero no los dos a la vez

p q 𝒑 𝑽𝒒
V V F
Su valor de verdad es V p y q tienen
Se define como p V q V F V
valores de verdad diferentes:
F V V
F F F
Para una función preposicional serian:

𝑥/𝑝𝑥 𝑉 𝑞𝑥 = (𝑃 ∩ Q’) U (𝑃′ ∩ Q)


OPERACIONES - Condicional
Es un conector lógico (se basa en el razonamiento lógico) Conclusión
Hipótesis

p q 𝒑→𝒒 𝑝→𝑞
V V V p implica q
Su valor de verdad es F solamente si
la hipótesis es verdadera y la V F F
Si p entonces q
conclusión es falsa: F V V
p solo si q
F F V

Para una función preposicional serian:

𝑥/𝑝𝑥 → 𝑞𝑥 = (𝑃 ∩ Q) U (𝑃′ ∩ Q)U(𝑃′ ∩ Q’)=(𝑃′ U Q)=(𝑃 ∩ Q’)’


OPERACIONES - Bicondicional
Es un conector lógico (se basa en el razonamiento lógico)

p q 𝒑↔𝒒 𝑝↔𝑞
V V V p bicondicional q
Su valor de verdad es V solamente si
la p y q tienen el mismo valor de V F F
P si y solo si q
verdad F V F
p equivalente a q
F F V

Para una función preposicional serian:

𝑥/𝑝𝑥 ↔ 𝑞𝑥 = (𝑃 ∩ Q) U (𝑃′ ∩ Q’)


OPERACIONES
p q p⋀q p𝑽q p𝑽q p↓q p→q p↔q

V V V V F F V V

V F F V V F F F

F V F V V F V F

F F F F F V V V
FORMULAS
Una formula es una expresión algebraica en la cual intervienen un número finito de proposiciones relacionadas con un
número finito de conectores lógicos

Cuando las variables de una proposición desconocida se sustituye por sus valores de verdad se transforman en
proposiciones especificas.

Una formula no tiene valor de verdad ya que depende de los valores de verdad de las proposiciones que lo conforman

Si al reemplazar las variables de las preposiciones con cualquier valor de verdad la formula se convierte en una
proposición verdadera entonces la formula es una tautología

Si al reemplazar las variables de las preposiciones con cualquier valor de verdad la formula se convierte en una
proposición falsa entonces la formula es una falsedad
EQUIVALENCIA LOGICA
Dos formulas son equivalentes cuando su bidireccional es una tautología

𝑟 ⇐⇒ s

Las formulas son equivalentes


Por tanto se pueden reemplazar r por s o s por r

Como podemos saber que formula es tautología de (p ⩡ 𝒒)?

p q p⩡𝒒
V V F
? V F V (𝒑 ⋀~𝒒)
(𝒑 ⋀~𝒒) 𝑽 (~𝒑 ⋀𝒒)
F V V (~𝒑 ⋀𝒒)
F F F
IMPLICACION LOGICA
Se dice que una formula o preposición implica lógicamente a otra si se cumplen cualquiera de las condiciones

Este procedimiento es útil para demostrar que un razonamiento es valido para llegar a un conclusión dada

En general un razonamiento es válido si el condicional entre la conjunción de las premisas y la conclusión es


una tautología; o un razonamiento es válido si la conjunción de las premisas implica lógicamente a la
conclusión.

Dada la premisa: Y la conclusión:


Demostrar que el
razonamiento es valido
PROPIEDADES DE LOS CONJUNTOS
LEYES DEL ALGREBRA DE CONJUNTOS Y PROPOSICIONES
CUANTIFICADORES
Los cuantificadores son símbolos que permiten convertir las funciones proposicionales en proposiciones específicas,
por lo que conocemos su valor de Verdad.

Una preposición cuantificada es aquella en la que se sabe cuantos elementos la satisfacen.


CUANTIFICADOR UNIVERSAL ∀ Todos, para todo

∀ x, x ∈ 𝑍 Para todo x, x es un elemento del conjunto Z

CUANTIFICADOR EXISTENCIAL ∃ Existen algunos, para algún, existe al menos un

∃x/x + 3 = 8 Existe algún x tal que x+3=8

Por lo tanto podemos concluir que los cuantificadores significan cuántos elementos del conjunto Universo cumplen con
la condición dada; si son todos se utiliza el Universal y cumplen solamente para algunos utilizaremos el Existencial.

NEGACIONES EN CUANTIFICADORES