Introducción Conocimientos previos Conceptos Básicos

Lógica y Teorı́a de Conjuntos

BAIN065 Álgebra para Ingenierı́a

Centro de Docencia de Ciencias Básicas para Ingenierı́a

Facultad de Ciencias de la Ingenierı́a
Universidad Austral de Chile

Primer Semestre 2020

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Introducción

• La Lógica y Teorı́a de conjuntos es el punto de partida del

curso de Álgebra para Ingenierı́a.
• En esta unidad construiremos un lenguaje basado en
simbologı́a y reglas claras, definidas sin ambiguedades.
• Este lenguaje está presente de manera transversal en todos los
procesos que involucran extraer información, razonar y
comunicar.
Resultados de Aprendizaje
1.1 Argumentar la veracidad o falsedad de un enunciado, en un
contexto dado, utilizando conceptos lógicos.
1.2 Obtener la información de una situación dada, representándola
por medio del lenguaje conjuntista.

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

Introducción Conocimientos previos Conceptos Básicos

Para abordar este capı́tulo, son necesarios algunos conocimientos

previos tales como conjuntos numéricos, operatoria básica de núme-
ros enteros, fracciones, raı́ces y manipulación de expresiones alge-
braicas.
Conjuntos numéricos infinitos
• N: Números naturales,
• N0 : Números naturales y el cero,
• Z: Números enteros,
• Q: Números racionales,
• I: Números irracionales,
• R: Números reales.

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Nociones básicas de conjuntos

Un conjunto es una colección de objetos que se denominan elemen-

tos del conjunto.
A = {2, 4, 6, 8, 10}

Pertenencia
La relación entre los elementos de un conjunto y el conjunto es la
pertenencia. Ası́, la expresión a ∈ A simboliza que a es un
elemento del conjunto A mientras que a ∈ / A simboliza que a no es
un elemento del conjunto A

2∈A 3∈
/A

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Nociones básicas de conjuntos

Un conjunto es una colección de objetos que se denominan elemen-

tos del conjunto.
A = {2, 4, 6, 8, 10}

Pertenencia
La relación entre los elementos de un conjunto y el conjunto es la
pertenencia. Ası́, la expresión a ∈ A simboliza que a es un
elemento del conjunto A mientras que a ∈ / A simboliza que a no es
un elemento del conjunto A

2∈A 3∈
/A

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Nociones básicas de conjuntos

Un conjunto es una colección de objetos que se denominan elemen-

tos del conjunto.
A = {2, 4, 6, 8, 10}

Pertenencia
La relación entre los elementos de un conjunto y el conjunto es la
pertenencia. Ası́, la expresión a ∈ A simboliza que a es un
elemento del conjunto A mientras que a ∈ / A simboliza que a no es
un elemento del conjunto A

2∈A 3∈
/A

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Nociones básicas de conjuntos

Un conjunto es una colección de objetos que se denominan elemen-

tos del conjunto.
A = {2, 4, 6, 8, 10}

Pertenencia
La relación entre los elementos de un conjunto y el conjunto es la
pertenencia. Ası́, la expresión a ∈ A simboliza que a es un
elemento del conjunto A mientras que a ∈ / A simboliza que a no es
un elemento del conjunto A

2∈A 3∈
/A

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Nociones básicas de conjuntos

Subconjunto
A es un subconjunto de B, lo cual denotaremos por A ⊆ B, si
todo elemento de A es un elemento de B. Mientras que si al
menos un elemento de A no está en B, se tiene que A no es
subconjunto de B, A 6⊆ B.

Ejemplo
Sean,
A = {2, 4, 6, 8, 10} B = {3, 6, 9, 12}

• A⊆N • B⊆Z • A 6⊆ B

Igualdad
Los conjuntos A y B son iguales, A = B, si todo elemento de A es
un elemento de B y todo elemento de B es un elemento de A. En
caso contrario, diremos que A y B son distintos, A 6= B.
BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos
 Introducción Conocimientos previos Conceptos Básicos

Universo y vacı́o

Conjunto Universo
Se denota U y se entiende como el conjunto referencia o sobre el
cual se está trabajando.

Conjunto Vacı́o
Se denota φ o { }, y es el conjunto que no tiene elementos.

Si A es un conjunto cualquiera, se tienen las siguientes contenciones

triviales:

• ∅⊆A • A⊆A • A⊆U

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Representaciones Conjuntistas

Diagrama de Venn

A⊆N

Extensión
A = {2, 4, 6, 8, 10}

Comprensión

A = {n ∈ N : n es par y es menor o igual a 10}

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Representaciones Conjuntistas

Diagrama de Venn

A⊆N

Extensión
A = {2, 4, 6, 8, 10}

Comprensión

A = {n ∈ N : n es par y es menor o igual a 10}

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Representaciones Conjuntistas

Diagrama de Venn

A⊆N

Extensión
A = {2, 4, 6, 8, 10}

Comprensión

A = {n ∈ N : n es par y es menor o igual a 10}

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

¿Verdadero o Falso?

• 17 es un número primo
√
• 3∈Q
• (a + b)(a − b) = a2 − b2
1 1 1
• + =
3 2 5
• x2 > 0
• x2 + x + 1

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

¿Verdadero o Falso?

• 17 es un número primo Verdadero

√
• 3∈Q
• (a + b)(a − b) = a2 − b2
1 1 1
• + =
3 2 5
• x2 > 0
• x2 + x + 1

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

¿Verdadero o Falso?

• 17 es un número primo Verdadero

√
• 3 ∈ Q Falso
• (a + b)(a − b) = a2 − b2
1 1 1
• + =
3 2 5
• x2 > 0
• x2 + x + 1

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

¿Verdadero o Falso?

• 17 es un número primo Verdadero

√
• 3 ∈ Q Falso
• (a + b)(a − b) = a2 − b2 Depende de qué representen a y b
1 1 1
• + =
3 2 5
• x2 > 0
• x2 + x + 1

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

¿Verdadero o Falso?

• 17 es un número primo Verdadero

√
• 3 ∈ Q Falso
• (a + b)(a − b) = a2 − b2 Depende de qué representen a y b
1 1 1
• + = Falso
3 2 5
• x2 > 0
• x2 + x + 1

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

¿Verdadero o Falso?

• 17 es un número primo Verdadero

√
• 3 ∈ Q Falso
• (a + b)(a − b) = a2 − b2 Depende de qué representen a y b
1 1 1
• + = Falso
3 2 5
• x2 > 0 Depende de qué represente x
• x2 + x + 1

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

¿Verdadero o Falso?

• 17 es un número primo Verdadero

√
• 3 ∈ Q Falso
• (a + b)(a − b) = a2 − b2 Depende de qué representen a y b
1 1 1
• + = Falso
3 2 5
• x2 > 0 Depende de qué represente x
• x2 + x + 1 No se puede decidir

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Proposiciones y valor de verdad

Proposición
Una proposición es una aseveración o afirmación, de la cual
podemos decir si es verdadera (V) o falsa (F), lo cual llamaremos
valor de verdad de la proposición. Simbolizaremos a las
proposiciones mediante letras minúsculas, esto es: p, q, r, s, etc.

Son proposiciones No son proposiciones

• p : 17 es un número primo • (a + b)(a − b) = a2 − b2
√
• q: 3∈Q • x2 > 0
1 1 1 • x2 + x + 1
• r: + =
3 2 5

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Proposiciones y valor de verdad

Proposición
Una proposición es una aseveración o afirmación, de la cual
podemos decir si es verdadera (V) o falsa (F), lo cual llamaremos
valor de verdad de la proposición. Simbolizaremos a las
proposiciones mediante letras minúsculas, esto es: p, q, r, s, etc.

Son proposiciones No son proposiciones

• p : 17 es un número primo • (a + b)(a − b) = a2 − b2
√
• q: 3∈Q • x2 > 0
1 1 1 • x2 + x + 1
• r: + =
3 2 5

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Proposiciones y valor de verdad

Proposición
Una proposición es una aseveración o afirmación, de la cual
podemos decir si es verdadera (V) o falsa (F), lo cual llamaremos
valor de verdad de la proposición. Simbolizaremos a las
proposiciones mediante letras minúsculas, esto es: p, q, r, s, etc.

Son proposiciones No son proposiciones

• p : 17 es un número primo • (a + b)(a − b) = a2 − b2
√
• q: 3∈Q • x2 > 0
1 1 1 • x2 + x + 1
• r: + =
3 2 5

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Proposiciones y valor de verdad

Función proposicional
Una función proposicional es un enunciado que contiene una o
más variables, de modo que al especificar el valor de dichas
variables se obtiene una proposición.

Son funciones proposicionales

• p(a, b) : (a + b)(a − b) = a2 − b2 . Esta proposición es
verdadera para cualquier par de números reales a y b.

p(1, 5) : (1 + 5)(1 − 5) = (1 − 25)

• q(x) : x2 > 0. Esta proposición es verdadera para cualquier

número real x diferente de cero y es falsa si x = 0:

√ √
q(−1) = (−1)2 > 0 q( 2) : ( 2)2 > 0 q(0) : 02 > 0
BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos
 Introducción Conocimientos previos Conceptos Básicos

Proposiciones y valor de verdad

Función proposicional
Una función proposicional es un enunciado que contiene una o
más variables, de modo que al especificar el valor de dichas
variables se obtiene una proposición.

Son funciones proposicionales

• p(a, b) : (a + b)(a − b) = a2 − b2 . Esta proposición es
verdadera para cualquier par de números reales a y b.

p(1, 5) : (1 + 5)(1 − 5) = (1 − 25)

• q(x) : x2 > 0. Esta proposición es verdadera para cualquier

número real x diferente de cero y es falsa si x = 0:

√ √
q(−1) = (−1)2 > 0 q( 2) : ( 2)2 > 0 q(0) : 02 > 0
BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos
 Introducción Conocimientos previos Conceptos Básicos

Conectivos Lógicos

Consideremos la proposición

s : 6 es divisible por 2 y por 3 a la vez.

Esta proposición se compone de dos proposiciones conectadas por

el término de enlace y:

”6 es divisible por 2”y ”6 es divisible por 3”.

Conectivo Lógico
Un conectivo lógico es un término de enlace, con un sı́mbolo
especı́fico, utilizado para formar nuevas proposiciones a partir de
una o más proposiciones. Estudiaremos los conectivos asociados a
los términos de enlace no, y , o , si ... entonces y si y solo si.

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

 Introducción Conocimientos previos Conceptos Básicos

Conectivos Lógicos

Proposiciones simples y compuestas

Una proposición que no posee términos de enlace se denomina
proposición simple y una proposición que posee términos de
enlace se denomina proposición compuesta.

Identifique las proposiciones simples y las compuestas

• p : 13 es un número impar menor que 15.
• q : Si 12 es divisible por 4, entonces es divisible por 2.
√
• r : −2 6= 4.
• s : 32 es impar si y solo si 3 es impar.
• t : 32 + 42 = 52 .

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos

Introducción Conocimientos previos Conceptos Básicos

• ¿Cómo determinar el valor de verdad de una proposición

compuesta?
• ¿Qué reglas rigen a los conectivos lógicos?

BAIN065 Álgebra para Ingenierı́a Lógica y Conjuntos