0% encontró este documento útil (0 votos)
5 vistas23 páginas

Lenguaje Matemático y Conjuntos UNED

Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
5 vistas23 páginas

Lenguaje Matemático y Conjuntos UNED

Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Universidad Nacional de Educación a Distancia

Lenguaje matemático, conjuntos y números

[Link] Tello

Centro asociado de las Rozas. Av. de Esparta, s/n, 28232

e-mail: jtello@[Link]
Bienvenidos a la UNED
Asignatura del primer semestre de primero
Herramientas a disposición del alumno

• Clases presenciales en el centro asociado: Profesor tutor


• Campus virtual: Foro, P.E.C.,
• Tutorias
• Material didáctico: Libros de la asignatura, problemas, videos, etc
• Exámenes de cursos anteriores: Centro asociado de Calatayud
[Link]

La educación a distancia requiere un esfuerzo importante del alumno


CALENDARIO: 12 sesiones de 1h 30 min.

• Octubre de 2023: 7, 14, 21, y 28;


• Noviembre de 2023: 4,11, 18, 25;
• Diciembre de 2023: 2, 9 y 16;
• Enero de 2024: 13.
Contenidos de la asignatura

1. Nociones de lógica
2. Conjuntos
3. Relaciones y aplicaciones entre conjuntos
4. Operaciones internas. Estructuras algebraicas
5. Los números naturales y los números enteros
6. Los números racionales y los números reales
7. Los números complejos
Contenidos de la asignatura

Nociones de lógica

1.1 Expresiones matemáticas: Proposiciones


1.2 Conectors lógicos básicos
1.3 Construcción de nuevas proposiciones
1.4 Leyes lógicas condicionadas
1.5 Validación de proposiciones
1.6 Fórmula clausulada de proposiciones
1.1 Expresiones matemáticas: Proposiciones

Proposición lógica simple


Una proposición simple describe una propiedad de un
objeto concreto y se puede atribuir sin ambigüedad al valor de
verdadero o falso. No puede descomponerse en proposiciones
más simples.

Ejemplo:
1. Marte es un planeta
2. 4 es un número par
3. π es un número real
4. La manzana es una fruta
También pueden ser falsas:
1. La luna es un planeta
2. 4 es un número primo
3. El triangulo tiene 4 lados iguales

Proposición lógica compuesta


Decimos que una proposición es una proposición lógica
compuesta si está formada por varias proposiciones simples
enlazadas por conectores lógicos.

Pero...... ¿que es un conector lógico?


Conector lógico
Un Conector lógico es una regla / operación que nos per-
mite tomar una o varias proposiciones y construir una nueva
proposición.

Ejemplo de conector es la negación:

La luna es un planeta −→ La luna NO es un planeta


Ejemplo de conector es la disyunción (O):

El 2 es un número par O un número impar.


En este ejemplo hemos unido dos proposiciones:
El 2 es un número par - - - - - El 2 es un número impar
¿que entendemos por lógica proposicional?
Entendemos por lógica proposicional al sistema formal de proposi-
ciones y conectores.
La proposción solo puede tomar 2 valores: verdadero o falso;
tanto si son proposiciones simples como si son compuestas.
1.2 Conectores lógicos
1. Negación. Sı́mbolo que se utiliza es ¬
Ejemplo:
p = La pelota es roja, ¬p = La pelota no es roja.
Otros sı́mbolos que se utilizan:
−p, que p, p′.
2. Disyunción (o). Sı́mbolo que se utiliza es ∨
Ejemplo:
p= n es un número par, q= n es un número impar.
p ∨ q = n es un número par o impar.
Otros sı́mbolos que se utilizan:
p + q, p ∪ q.
3. Conjunción (y): Sı́mbolo que se utiliza es ∧
Ejemplo:
p=12 es un multiplo de 3, q= 12 es un multiplo de 4.
p ∧ q = 12 es un multipo de 3 y de 4.
Otros sı́mbolos que se utilizan:
p × q, p ∩ q.
4. Condicional (si . . . entonces . . . ): Se utilizan los sı́mbolos
→o⇒
Ejemplo:
p= x es un número positivo, q= x es mayor que -2.
p → q = Si x es un número positivo, entonces es mayor que
-2.
5. Bicondicional (si y solo si): Se utiliza el sı́mbolo ⇔
Ejemplo:
p= n es un número par, q= n es divisible por 2.
p ⇔ q = x es un número par, si y solo si, x es divisible por 2.
1.3 Construcción de nuevas proposiciones
Ejemplo: Consideramos las siguientes proposiciones
p = n es un multiplo de 2;
q = n es un multiplo de 3
r = n es un multiplo de 6;
s = n es un multiplo de 36.
Escribir las proposiciones y estudiar si son verdaderas o falsas:
• ¬p; • s → r; • s → p ∧ q;
• p ∧ q ⇔ r; • r ∨ s → p ∧ q; • ¬r → ¬(p ∧ q);
• r → s; • ¬p → ¬r; • ¬r → (¬p ∨ ¬q);
• p ∨ q → s; • s → p ∨ q; • ¬r → ¬s;
Sean p y q dos proposiciones simples que pueden ser verdaderas,
falsas o una verdadera y otra falsa Estudiar en los cuatro casos
posibles como son las proposiciones ¬p, ¬q, p ∨ q, p ∧ q, ¬p ∨ q,
¬p ∧ q , p ∨ ¬q, p ∧ ¬q, ¬p ∨ ¬q, ¬p ∧ ¬q.
p q ¬p ¬q p ∨ q p ∧ q ¬p ∨ q ¬p ∧ q p ∨ ¬q p ∧ ¬q ¬p ∨ ¬q ¬p ∧ ¬q
0 0
0 1
1 0
1 1

Notación:
“0” indica que la proposición es falsa
“1” que es verdadera.
Tautologı́a es aquella proposición que siempre es cierta: p ∨ ¬p
1.4 Leyes lógicas
1. Doble negación
Negar dos veces una proposción es equivalente a dicha proposición:

¬¬p ⇔ p.
2. Contradicción
Una proposición y su negación no suceden a la vez.

p ∧ ¬p ⇔ 0 (la proposición es falsa).


3. Leyes conmutativas:
El orden de las proposiciones no varia el valor

p ∧ q ⇔ q ∧ p;
p ∨ q ⇔ q ∨ p;
(p ⇔ q) ⇔ (q ⇔ p) ;
4. Leyes de De Morgan
¬(p ∨ q) ⇔ ¬p ∧ ¬q;
¬(p ∧ q) ⇔ ¬p ∨ ¬q.
5. Leyes del condicional
p → q ⇔ ¬p ∨ q;
p → q ⇔ ¬(p ∧ ¬q);
p → q ⇔ [p ⇔ (p ∧ q)] ;
p → q ⇔ [q ⇔ (p ∨ q)] ;
6. Leyes del bicondicional
(p ⇔ q) ⇔ (p ← q) ∧ (q → p);

7. Leyes de transposición
p → q ⇔ ¬q → ¬p;
p ⇔ q ⇔ ¬p ⇔ ¬q;
Leyes lógicas para tres proposiciones
• Leyes asociativas
1. (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
2. (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
3. (p ↔ q) ↔ r ⇔ p ↔ (q ↔ r)

• Leyes distributivas
1. p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r);
2. p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r);
3. p → (q ∨ r) ⇔ (p → q) ∨ (p → r);
4. p → (q ∧ r) ⇔ (p → q) ∧ (p → r);
p q r ¬p ¬q ¬r (p ∨ q) ∧ r (p ∧ q) ∨ r p ∨ (¬q ∧ ¬r) p ∧ (¬q ∨ ¬r) ¬p ∨ (¬q ∧ r) [¬(p ∧ ¬q)] ∨ r
0 0 0
0 0 1
0 1 0
1 0 0
0 1 1
1 1 0
1 0 1
1 1 1

p q r ¬p ¬q ¬r (p ∧ q) ∨ ¬r (p ∧ q) ∨ ¬r [¬(p ∨ ¬q)] ∧ r) ¬p ∧ (q ∨ r) ¬p ∨ (q ∨ r) [¬(p ∨ q)] ∨ ¬r


0 0 0
0 0 1
0 1 0
1 0 0
0 1 1
1 1 0
1 0 1
1 1 1
1.5 Validación de proposiciones
• Validación mediante una tabla de verdad
• Por reducción al absurdo. Se busca una proposción equivalente
a la proposición que sea del tipo
p ∧ ¬p.

Ejemplo: Estudiar si la proposición


[(p ∧ q) ∨ (p ∧ ¬q)] ⇔ p
es cierta. Construimos una tabla de verdad:
p q ¬q (p ∧ q) (p ∧ ¬q) (p ∧ q) ∨ (p ∧ ¬q)
0 0
0 1
1 0
1 1
1.6 Forma clausulada de proposiciones
Dada una proposición compuesta formada por una serie de
proposiciones simples, su forma clausulada es una propossción
equivalente formada por conjunciones (∧) de proposciones disyun-
tivas (∨).
Ejemplo: Obtener la forma clausulada de la proposción
p → p ∧ q.
Solución: p → p ∧ q es equivalente a
¬p ∨ (p ∧ q).
Aplicamos la ley distributiva a la última proposición y se obtiene
(¬p ∨ p) ∧ (¬p ∨ q).
Dado que ¬p ∨ p es siempre cierto, resulta
(¬p ∨ p) ∧ (¬p ∨ q) ⇔ 1 ∧ (¬p ∨ q)
que es equivalente a
¬p ∧ q.

También podría gustarte