Pensamiento Lógico Matemático

Presentación del curso

Apuntes de clases

Formación Inicial.
Universidad Viña del Mar.

12 de junio de 2018

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 1 / 23

 Outlines

Contenidos
1 Lógica proposicional
Definición
Proposiciones
Ejercicios
Conectores lógicos
Proposiciones simples y compuestas
Ejercicios
Tablas de verdad
Tablas de conectores
Ejercicios
Tautología, contradicción y contingencia
Ejercicios

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 2 / 23

 Lógica proposicional Definición

¿Qué es la lógica proposicional?

Lógica Proposicional[Wikipedia (2016)]

La lógica proposicional es un sistema formal cuyos elementos más simples
representan proposiciones, y cuyas constantes lógicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad.

Aquí es importante distinguir que la unidad fundamental son las proposiciones. Se

puede identificar proposiciones simples y compuestas.

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 3 / 23

 Lógica proposicional Definición

George Boole [Solis y Torres (1995)]

Investigar las leyes fundamentales de las operaciones de la mente mediante las

cuales el razonamiento es desempeñado, dar expresión de ellas en el lenguaje
simbólico de un cálculo, y bajo este fundamento establecer la ciencia de la lógica y
construir su método.

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 4 / 23

 Lógica proposicional Proposiciones

Proposición

Proposición
Una proposición es un enunciado que puede ser aceptado como verdadero (V) o
falso (F). El valor que asume la proposición se llama valor de verdad de la
proposición.

Las proposiciones se denotan por letras minúsculas p, q, r , . . .

Por ejemplo:
p: «La UVM está acreditada por 4 años»
q : «La capital de Chile es Valparaíso»

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 5 / 23

 Lógica proposicional Proposiciones

No son proposiciones

Las oraciones exclamativas: ¡Socorro!, ¡auxilio!, ¡te quiero!

Las oraciones imperativas (Ordenes): Cierra la puerta, te quedas fuera.
Las desiderativas (Deseos, súplicas): Ojalá que llueva
Las oraciones interrogativas (Preguntas): ¿Qué hora es?

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 6 / 23

 Lógica proposicional Ejercicios

Ejercicios

¿Cuál de las siguientes es proposición? ¿Cuál es su valor de verdad?

1 Hoy es Jueves
2 Pensamiento lógico matemático es fácil
3 ¿Qué hora es?
4 ¡Tengo calor!
5 La UVM tiene 8000 alumnos(as)
6 x + 1 = 10
7 3+1=4

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 7 / 23

 Lógica proposicional Conectores lógicos

Conectores lógicos

Las proposiciones pueden ser combinadas entre sí para obtener nuevas

proposiciones. La combinación de proposiciones se realiza mediante conectores
lógicos.
El significado de los conectivos lógicos es el siguiente:

Símbolo Expresión
¬ NO
∧ Y
∨ O
→ Si . . . entonces . . .
↔ . . . si y s ólo si . . .

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 8 / 23

 Lógica proposicional Conectores lógicos

Conectores lógicos

Sea p y q dos proposiciones, entonces la lectura de los conectores y proposiciones

es:

Expresión Se lee
¬q No q
p∧q pyq
p∨q poq
p→q Si p entonces q
p↔q p si y sólo si q

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 9 / 23

 Lógica proposicional Proposiciones simples y compuestas

Proposiciones simples y compuestas

Las proposiciones que no contienen conectores le llaman proposiciones simples

(atómicas). A las formadas a partir de los conectores se llaman proposiciones
compuestas.
Por ejemplo:
1 7 es un número par
Es una proposición simple.
p: «7 es un número par»
2 2 es un número par y 25 es un número impar.
Es una proposición compuesta.
p: «2 es un número par»
q: «25 es un número impar»
En símbolo la proposición original sería: p ∧ q

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 10 / 23

 Lógica proposicional Ejercicios

Ejercicio

Simbolizar las siguientes proposiciones

1 Para eximirse de PLM hay que tener promedio igual o mayor a 5,5 y tener
notas parciales mayores o igual a 4. Además de cumplir con el mínimo de
asistencia.
2 Si 2 es par y 3 es impar entonces 45 es par.
3 Si 2 divide a r y 3 divide a r entonces 6 divide a r .
4 Para identificarme puedo presentar mi cédula de identidad o bien mi licencia
de conducir.
5 Carmen viajará a EEUU si y sólo si aprueba todos sus asignaturas este
semestre.

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 11 / 23

 Lógica proposicional Tablas de verdad

Tablas de verdad

Definición
Las tablas de verdad permiten determinar el valor de verdad de una proposición
compuesta y dependen de las proposiciones simples y de los operadores que
contengan.

En general se tiene lo siguiente respecto del número de proposiciones simples y

combinaciones en tablas de verdad.

Para una proposición (n = 1), tenemos 21 = 2 combinaciones

Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones
Para tres proposición (n = 3), tenemos 23 = 8 combinaciones.
..
.
Para k proposiciones (n = k), tenemos 2k combinaciones

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 12 / 23

 Lógica proposicional Tablas de verdad

Tablas de verdad

Sea p, q y r proposiciones simples, entonces:

Cuadro: Combinaciones de valores de verdad.

p q r
V V V
p q V V F
p V V V F V
V V F V F F
F F V F V V
(a) n=1 F F F V F
(b) n = 2 F F V
F F F
(c) n = 3

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 13 / 23

 Lógica proposicional Tablas de conectores

Negación

Definición
Dada una proposición p, se define la negación de p a la proposición no p y la
denotaremos por ¬p. Será verdad cuando p sea falsa y será falsa cuando p sea
verdadera.

La tabla de verdad asociada es:

p ¬p
V F
F V

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 14 / 23

 Lógica proposicional Tablas de conectores

Conjunción

Definición
Sea p y q dos proposiciones, llamaremos conjunción de ambas a la proposición
compuesta p y q y la denotaremos por p ∧ q.
Esta proposición será verdadera únicamente en el caso de que ambas
proposiciones sean verdaderas.

La tabla de verdad asociada es:

p q p∧q
V V V
V F F
F V F
F F F

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 15 / 23

 Lógica proposicional Tablas de conectores

Disyunción

Definición
Sea p y q dos proposiciones, llamaremos disyunción de ambas a la proposición
compuesta p o q y la denotaremos por p ∨ q.
Esta proposición será falsa únicamente en el caso de que ambas proposiciones
sean falsas.

La tabla de verdad asociada es:

p q p∨q
V V V
V F V
F V V
F F F

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 16 / 23

 Lógica proposicional Tablas de conectores

Condicional

Definición
Sea p y q dos proposiciones a la proposición compuesta si p entonces q se le
llama condicional y la denotaremos por p → q. A la proposición p se le llama
antecedente y a q se llama consecuente.
Esta proposición será falsa únicamente en el caso de que el antecedente sea
verdadero y el consecuente sea falso.

La tabla de verdad asociada es:

p q p→q
V V V
V F F
F V V
F F V

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 17 / 23

 Lógica proposicional Tablas de conectores

Bicondicional

Definición
Sea p y q dos proposiciones a la proposición compuesta p si y sólo si q la
llamaremos bicondicional y la denotaremos por p ↔ q.
Esta proposición será falsa únicamente en el caso de las proposiciones tengan
diferente valor de verdad.

La tabla de verdad asociada es:

p q p↔q
V V V
V F F
F V F
F F V

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 18 / 23

 Lógica proposicional Ejercicios

Ejercicios

Sea p y q proposiciones simples. Determinar el valor de verdad de:

1 El valor de verdad de p ∧ p siempre es falso.
2 El valor de verdad de p ∧ ¬p siempre es falso
3 q ∨ ¬q siempre es verdad
4 si p ≡ F y q ≡ V entonces ¬p ∧ q ≡ V
5 ¬(p ∧ q) tiene la misma tabla de verdad que la proposición ¬p ∨ ¬q
6 La negación de ¬q es q.
7 Si p ≡ F y ¬q ≡ F luego el valor de verdad de [¬p ∧ q] → p es falso.

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 19 / 23

 Lógica proposicional Ejercicios

Ejercicios

Sea p, q y r proposiciones simples. Determinar el valor de r

1 p∧r ≡V
2 ¬r → p ≡ F
3 r ∨F ≡V
4 q → (q ∧ ¬r ) ≡ F
5 r → (¬r ∧ q) ≡ V y p ∧ r ≡ V

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 20 / 23

 Lógica proposicional Ejercicios

Ejercicios

Sea p, q y r proposiciones simples. Construir la tabla de verdad

1 p → ¬q
2 ¬(p ∨ q) → q
3 (p → q) ∨ ¬r
4 ¬p ∨ q
5 [(¬p ∧ q) → q] ↔ r

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 21 / 23

 Lógica proposicional Tautología, contradicción y contingencia

Tautología, contradicción y contingencia

Las proposiciones compuestas se pueden clasificar según su valor de verdad.

Tautología: Es una proposición siempre verdadera.

Contradicción: Es una proposición siempre falsa.
Contingencia: Es una proposición que no es tautología ni contradicción

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 22 / 23

 Lógica proposicional Ejercicios

Ejercicios

Determinar si las siguientes proposiciones son tautologías, contradicción o

contingencia
1 (p ∧ q) → p
2 p ↔ ¬p
3 (p ∨ ¬q) ∨ p

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 23 / 23

 Lógica proposicional Ejercicios

Wikipedia.org. Lógica proposicional. Recuperado el 07 de Agosto de 2016 de

https://es.wikipedia.org/wiki/Lógica_proposicional
Solis J, Torres Y. (1995). Lógica Matemática (1º ed.). México. Universidad
autónoma metropolitana.

Apuntes de clases Unidad1 (Clase 0 ) 12 de junio de 2018 23 / 23