0% encontró este documento útil (0 votos)
39 vistas55 páginas

Introducción a la Lógica Matemática

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 PPTX, PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
39 vistas55 páginas

Introducción a la Lógica Matemática

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 PPTX, PDF, TXT o lee en línea desde Scribd

N IV E LA C IÓ N

LÓGICA
MATEMÁTICA
Introducción a la lógica

La matemática estudia las propiedades de ciertos


objetos, tales como números, operaciones,
conjuntos, etc.
Es necesario por lo tanto contar con un lenguaje
apropiado para expresar estas propiedades de
manera precisa.
Desarrollaremos aquí un lenguaje que cumpla
estos requisitos, al cual llamaremos lenguaje
matemático.
LENGUAJE
MATEMÁTICO

El lenguaje matemático está formado por una parte del lenguaje


natural, al cual se le agregan variables y símbolos lógicos que
permiten una interpretación precisa de cada frase.
Introducción a la lógica

Coherente

Estructurado

Tiene sentido

Estudio del razonamiento

Lógica proposicional, simbólica o


matemática

PROPOSICIONES O AFIRMACIONES
Proposiciones.

Llamaremos proposiciones a aquellas frases del lenguaje


natural, las cuales podamos afirmar que son verdaderas
o falsas.

Ejemplos de proposiciones:

Dos es par
Tres es mayor que diez
Tres más cuatro es nueve
Proposiciones o afirmaciones
El día esta soleado

Verdadero México esta en Europa 3+3=7


Enunciado
Bogotá es la capital de Colombia
Falso
Comprame una hamburguesa

2+3=5 Te deseo lo mejor ¿Cuantos años tienes?

RELACIÓN

Pablo es ingeniero
Los ingenieros son aburridos

PABLO ES ABURRIDO
Proposiciones simples

𝑝 ,𝑞 ,𝑟 , 𝑠, 𝑡
Juan es arquitecto

Mi zapato es rojo

el día esta soleado


Una proposición es simple o atómica, si ninguna
parte de ella es a su vez una proposición.

Ejemplos de proposiciones simples o atómicas:

“Dos es un número par".


"Tres es mayor que cuatro".
"Tres más cinco es mayor que cuatro".

Se usan letras minúsculas p, q, r,


s,...etc., para denotar
proposiciones simples o atómicas.
La propiedad fundamental de una proposición, es que
ella puede ser verdadera o falsa, pero no ambas cosas a
la vez.

El valor de verdad de una proposición simple depende


exclusivamente del enunciado de la proposición.

“Dos es un número par". Es verdadero.


"Tres es mayor que cuatro". Es Falso.
"Tres más cinco es mayor que cuatro". Es verdadero.
Algunos enunciados o proposiciones son
compuestos, es decir, están formados de
proposiciones simples y de conectivos que
los unen.

2 es un número entero y es positivo

Si llueve, el piso se moja

Si es un entero, entonces es real

Si estudio y hago los ejercicios,


entonces apruebo y paso de curso
El valor de verdad de una proposición compuesta
depende completamente del valor de verdad de
cada proposición simple y del modo como se les
reúne o conecta para formar la proposición
compuesta.
Conectivos
Negación. Es aquel conectivo que niega la
proposición, y normalmente se utiliza
anteponiendo “no”, o anteponiendo la frase es
falso que.
Simbólicamente la negación se puede representar en lenguaje
matemático, de tres formas diferentes:

I.- Anteponiendo el símbolo “” . “ p” significa “no p”.

II.- Sobreponiéndole una barra “ p “

III.- Anteponiendo el símbolo “” . “ p” significa “no p”.


Conjunción. Es aquel conectivo que une dos
proposiciones, incluyéndolas obligatoriamente a ambas.

Se utiliza “y” como conectivo de conjunción.

"dos es par y tres es impar

Simbólicamente la conjunción “y” se representa en


lenguaje matemático con el símbolo 

y  
Disyunción. Es aquel conectivo que une dos
proposiciones ofreciendo una alternativa entre una
proposición o la otra, así como también ofrece la
posibilidad que sean ambas.

"dos es mayor que siete o siete es mayor que dos".


La proposición está compuesta por las
proposiciones simples
"dos es mayor que siete"
junto con
" siete es mayor que dos",
conectadas por la palabra "o“, que
constituye el conectivo de disyunción, y su
símbolo es “”
DISYUNCIÓN EXCLUYENTE
• Es la disyunción pero que su valor de verdad acepta una sola
proposición como verdadera.
• No pueden ocurrir las dos proposiciones al mismo tiempo.
• Ejemplo: Me caso con Rosita o con Doris
• Hoy a las 3 voy al Parque Cevallos o al parque Montalvo.

• Su notación es:


p  q
Implicación o Condicional

Es aquél conectivo en el que se establece una


condición para que se cumpla la otra proposición.

Normalmente se establece como:


“Si se cumple p, entonces se cumple q”

p q
Bicondicional o doble implicancia.

Es aquel conectivo de la forma:


“se cumple p si y solamente si se cumple q”.
p  q”.

Esto significa que también se cumple la situación


inversa, es decir que como se cumple q, también se
cumple p
Conectores lógicos

𝑆𝑒𝑟𝑔𝑖𝑜 𝑒𝑠 𝑑𝑒𝑝𝑜𝑟𝑡𝑖𝑠𝑡𝑎 𝑦 𝐽𝑎𝑣𝑖𝑒𝑟 𝑒𝑠 𝐼𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑜


𝑝 𝑞
Proposiciones compuestas

𝑝 𝑆𝑒𝑟𝑔𝑖𝑜𝑒𝑠 𝑑𝑒𝑝𝑜𝑟𝑡𝑖𝑠𝑡𝑎 𝑞 𝐽𝑎𝑣𝑖𝑒𝑟 𝑒𝑠 𝑖𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑜

𝑟 𝑆𝑒𝑟𝑔𝑖𝑜 𝑒𝑠 𝑑𝑒𝑝𝑜𝑟𝑡𝑖𝑠𝑡𝑎 𝑦 𝐽𝑎𝑣𝑖𝑒𝑟 𝑒𝑠 𝐼𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑜


𝑝 ? 𝑞
Conectores Lógicos
𝑌
𝑆𝑒𝑟𝑔𝑖𝑜 𝑒𝑠 𝑑𝑒𝑝𝑜𝑟𝑡𝑖𝑠𝑡𝑎𝑂 𝐽𝑎𝑣𝑖𝑒𝑟 𝑒𝑠 𝑖𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑜
𝑆𝑖 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠
Valor de verdad

𝑆𝑒𝑟𝑔𝑖𝑜 𝑒𝑠 𝑑𝑒𝑝𝑜𝑟𝑡𝑖𝑠𝑡𝑎 𝑦 𝐽𝑎𝑣𝑖𝑒𝑟 𝑒𝑠 𝐼𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑜


𝑝 𝑞
V
F
V
F
𝑝𝑞𝑟
V V V
V V F
𝑝 𝑞 V F V
V V V F F 𝑛
V F F V V 2
F V F V F
F F F F V
F F F
TABLAS DE VERDAD
Conjunción

𝐸𝑠𝑡𝑎 𝑙𝑙𝑜𝑣𝑖𝑒𝑛𝑑𝑜 𝑦 𝐻𝑎𝑐𝑒 𝑓𝑟 í 𝑜


𝑝 𝑞

𝑝 𝑞 𝑝 ⋀𝑞
V V V
V F F
F V F
F F F
Disyunción débil

𝐸𝑠𝑡𝑎 𝑙𝑙𝑜𝑣𝑖𝑒𝑛𝑑𝑜𝑜 𝐻𝑎𝑐𝑒 𝑓𝑟 í 𝑜


𝑝 𝑞

𝑝 𝑞 𝑝 ⋁𝑞
V V V
V F V
F V V
F F F
Disyunción fuerte

o 𝐸𝑠𝑡𝑎 𝑙𝑙𝑜𝑣𝑖𝑒𝑛𝑑𝑜𝑜 𝐻𝑎𝑐𝑒 𝑓𝑟 í 𝑜


𝑝 𝑞

𝑝 𝑞 𝑝△𝑞
V V F
V F V
F V V
F F F
Condicional

Si 𝐸𝑠𝑡𝑎 𝑙𝑙𝑜𝑣𝑖𝑒𝑛𝑑𝑜 Entonces Hace frío


𝑝 𝑞
Antecedente Consecuente

𝑝 𝑞 𝑝→𝑞
V V V
V F F
F V V
F F V
Bicondicional

𝐸𝑠𝑡𝑎 𝑙𝑙𝑜𝑣𝑖𝑒𝑛𝑑𝑜 Si y solo si Hace frío


𝑝 𝑞

𝑝 𝑞 𝑝↔𝑞
V V V
V F F
F V F
F F V
Negación

Esta lloviendo Esta lloviendo y hace frio


𝑝 (𝑝 ⋀ 𝑞 )
No esta lloviendo No es verdad que Esta lloviendo y hace frio
𝑝 ( 𝑝 ⋀ 𝑞)

𝑝 𝑝
V F
F V
EJEMPLOS

Efectúa las operaciones indicadas con las siguientes proposiciones.

p: La suma es cerrada en los enteros.


q: El producto es cerrado en los enteros

a) p ∨ q:
b) p ∧ q:

c) ∼p ∧ q:

d) ∼p ∨ ∼q:

e) p ∧ p:

f) p ∨ ∼q
Tautología, contradicción y contingencia
Las proposiciones que surgen en las ciencias, la lógica proposicional las
clasifica como tautologías, contradicciones o ambivalencias.

Tautología: es una proposición compuesta en la que para cualquier


combinación de valores de verdad de las proposiciones simples
siempre se obtiene como valor de verdad: verdadero (V). Por ejemplo,
la proposición (p∧q)←→ ¬(¬p∨¬q) es una tautología (comprobarlo
construyendo la tabla de verdad).
Contradicción: es una proposición compuesta en la que para
cualquier combinación de valores de verdad de las proposiciones
simples se obtiene como valor de verdad falso (F). Por ejemplo, la
proposición ¬[(¬p∨q) ←→ (p → q)] es una contradicción
(comprobarlo construyendo la tabla de verdad).

Contigencia: es una proposición compuesta en la que dependiendo


de la combinación de valores de verdad de las proposiciones simples
se obtienen valores de verdad que pueden ser verdaderos (V) en unos
casos y falsos (F) en otros. Compruebe que la proposición
(p → q) ←→ ((p∨q) → q) es una ambivalencia
Tablas de verdad

Tautología Contradicción Contingencia

𝑝 𝑞 𝐹 ó𝑟𝑚𝑢𝑙𝑎 𝑝 𝑞 𝐹 ó𝑟𝑚𝑢𝑙𝑎 𝑝 𝑞 𝐹 ó𝑟𝑚𝑢𝑙𝑎


V V V V V F V V V
V F V V F F V F F
F V V F V F F V V
F F V F F F F F F
Construcción tabla de verdad
𝑝 𝑞 𝑝 ⋀𝑞
𝑝 → (𝑝 ⋀ 𝑝 ) V V V
V F F
F V F
F F F

𝑝 𝑝 𝑝 ⋀ 𝑝 𝑝→𝑝 ⋀ 𝑝
V F F F
F V F V
𝑝 𝑞 𝑝→𝑞
V V V
V F F
F V V
Contingencia
F F V
(𝑝 ∨𝑞) ∨ 𝑞

𝑛
2
𝑝 𝑞 𝑝∨𝑞 𝑞 (𝑝 ∨𝑞)∨ 𝑞
V V V F V
V F V V V
F V V F V
F F F V V

Tautología
𝑝 𝑞 𝑝 ⋁𝑞
V V V
V F V
F V V
F F F
Ejemplo
Determinar si es tautología, contradicción o contingencia

𝑎 ¿ (𝑟 ⋀ 𝑝 )∨ (𝑞 ∨𝑝 )
b)
c)
d) (p∨q)∨∼ q
e) (p∨q)∧(∼ p∧∼ q)
Leyes del álgebra proposicional
Dos proposiciones p, q son equivalentes cuando sus columnas
resultado son idénticas. Se escribe p ≡ q.
REGLAS DE INFERENCIA
EJEMPLOS
Actividad

a) [(p ⇒ ∼q) ⇒ ∼p ] ⇒ q ≡ ∼ p ∨ q
b) ∼(p ⇒ q) ≡ p ∧ ∼q

c) (p ⇒ q) ≡ (∼q ⇒ ∼p)
d) ∼q ∨ (r ∧ q) ≡ q ∨ r

e) p ∨ (∼p ∧ q)≡ p ∨ q
TEORIA DE CONJUNTOS
Introducción a los conjuntos

Grupo de objetos o elementos Números pares Vocales

𝐴 ,𝐵 ,𝐶 , 𝐷 ,𝐸
𝐴= { 1, 2 , 3 , 4 } 𝐴= { 1, 3 , 4 , 2 }
𝐴= { 1, 2 , 2 , 3 , 4 }

Relación de pertenencia
∈ ∉
A A A 4.5 A
A A
Determinación de un conjunto y cardinalidad

Por extensión Por compresión

𝐴= { 2 , 4 , 6 ,8 } 𝐴= { 𝑥∨𝑥 𝑒𝑠𝑢𝑛𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑎𝑟 , 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜 ∧1< 𝑥 <9 }

𝐵={ 𝑎 ,𝑒 , 𝑖 ,𝑜 , 𝑢 } 𝐵={ 𝑥∨𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙 }

C 𝐷={ 𝑥∨𝑥 𝑒𝑠 𝑢𝑛𝑎𝑛𝑖𝑚𝑎𝑙 𝑑𝑜𝑚é 𝑠𝑡𝑖𝑐𝑜 }

Finitos Infinitos

¿ 𝐴=4
cardinalidad
| 𝐴|=4
Subconjuntos


𝐵={ 𝑣𝑜𝑐𝑎𝑙𝑒𝑠 } 𝐴= { 𝑎𝑏𝑒𝑐𝑒𝑑𝑎𝑟𝑖𝑜 }

𝐵⊆ 𝐴

𝐶 ={ 1 , 2 ,3 , 4 , 5 } 𝐷={ 1 , 4 }

𝐷 ⊆𝐶
Conjuntos especiales

Conjunto nulo Conjunto unitario

𝐴= { 𝑁𝑢𝑚𝑒𝑟𝑜𝑠 𝑝𝑎𝑟𝑒𝑠 1< 𝑥 <1.5 } 𝐴= { 2 }


𝐴=𝜙 𝐴= { 𝑎𝑧𝑢𝑙 }

𝜙={ 𝑥∨𝑥 ≠ 𝑥 } 𝐴 𝐴= { 𝑏𝑎𝑙𝑙𝑒𝑛𝑎 }

𝜙 ≠ {𝜙 }
Conjunto Universal

𝐴= { 1, 3 } 𝐵={ 5 , 6 , 7 } 𝐶 ={ 1 , 3 ,5 ,7 , 9 }

𝑈 = { 𝑥 ∨𝑥 𝑒𝑠𝑢𝑛𝑛𝑢𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙<10 }
Operaciones entre conjuntos
𝐴= { 5 , 6 , 7 , 8 , 9 , 10 } 𝐵={ 2 , 4 ,6 , 8 , 10 } 𝑈= { 1 ,2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 }

Unión Intersección Resta -

𝐴∪ 𝐵= {2 , 4 , 5 , 6 , 7 , 8 , 9 , 10 } 𝐴∪ 𝐵= {6 , 8 , 10 } 𝐴− 𝐵= { 5 ,7 , 9 }
𝐵 − 𝐴= { 2 , 4 }
Complemento

𝐴 = 𝐴 = { 1, 2 , 3 , 4 }
𝑐 ′

𝐵′ = { 1 ,3 , 5 , 7 , 9 }

𝑈 = { 𝑥 ∨𝑥 𝑒𝑠𝑢𝑛𝑛𝑢𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙<10 }
Representación gráfica de conjuntos
𝐴= { 5 , 6 , 7 , 8 , 9 , 10 } 𝐵={ 2 , 4 ,6 , 8 , 10 } 𝑈= { 1 ,2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 }

𝑈
𝐴 𝐵
3
11
5 2
6

7 8
1 4
9 10
Unión

𝐴= { 5 , 6 , 7 , 8 , 9 , 10 } 𝐵={ 2 , 4 ,6 , 8 , 10 } 𝑈= { 1 ,2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 }
𝐴∪ 𝐵= {2 , 4 , 5 , 6 , 7 , 8 , 9 , 10 }

𝑈
𝐴 𝐵
3 11
2
5 6

7 8
1 4
9 10
Intersección

𝐴= { 5 , 6 , 7 , 8 , 9 , 10 } 𝐵={ 2 , 4 ,6 , 8 , 10 } 𝑈= { 1 ,2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 }

𝐴∩ 𝐵= { 6 , 8 , 10 }

𝑈
𝐴 𝐵
3 11
2
5 6

7 8
1 4
9 10
Resta

𝐴= { 5 , 6 , 7 , 8 , 9 , 10 } 𝐵={ 2 , 4 ,6 , 8 , 10 } 𝑈= { 1 ,2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 }

𝐴− 𝐵= { 5 ,7 , 9 } 𝐵 − 𝐴= { 2 , 4 }

𝑈 𝐴 𝐵 11 𝑈 𝐴 𝐵 11
3 3
5 6 2 5 6 2
7 8 7 8

1 9 10 4 1 9 10 4
Complemento

𝐴= { 5 , 6 , 7 , 8 , 9 , 10 } 𝐵={ 2 , 4 ,6 , 8 , 10 } 𝑈= { 1 ,2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 }

𝐴 = {1 , 2 , 3 , 4 ,11 } 𝐵 = { 1 ,3 , 5 , 7 , 9 , 11 }
′ ′

𝑈 𝐴 𝐵 11 𝑈 𝐴 𝐵 11
3 3
5 6 2 5 6 2
7 8 7 8

1 9 10 4 1 9 10 4



𝐴 =𝑈 − 𝐴 𝐵 =𝑈 − 𝐵

También podría gustarte