Sem-1-Logica-proposicional 424 0

EESTP PNP HUÁNUCO LÓGICO MATEMÁTICA
SEMANA 1
Lógica proposicional
Presentación
Un propósito a lograr en el área de matemática, es que los alumnos aprendan a razonar matemáticamente.
Tal propósito no se lograría, si es que no pasa del mundo de las opiniones empíricas al mundo del
pensamiento formal. Pero, un pensamiento sistemático, auténtico y coherente no puede surgir sin la base
de un método crítico correcto. En este sentido, el conocimiento de la lógica (ciencia que se ocupa del
estudio de los métodos y principios para distinguir el buen razonamiento del malo), se hace indispensable.
Unidad 01
Nociones fundamentales
Objetivos
- Identificar el lenguaje simbólico de las proposiciones.
- Conocer los usos propios de cada símbolo
- Usar correctamente los conectivos lógicos para simbolizar las proposiciones compuestas que se
indican
- Traducir al lenguaje simbólico razonamientos expresados en lenguaje ordinario
Introducción
En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada conclusión que
obtenemos se deduce de algo. Este algo o punto de partida se llama premisa. Por ejemplo, si
exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o cuando un campesino ve una
densa nube en el cielo, deduce que va a llover, o también de "todos los mamíferos son vertebrados" se
puede concluir en "algunos mamíferos son vertebrados". Este proceso de pasar de un conjunto de premisas
a la conclusión se llama inferencia o deducción.
Cuando la conclusión se deduce correctamente del conjunto de premisas se dice que la inferencia
es válida, en caso contrario la inferencia no es válida. Sabemos que la conclusión se deriva correctamente
de sus premisas porque hay un conjunto de leyes lógicas que garantizan dicha corrección. Justamente la
lógica estudia el modo de usar estas leyes, con las cuales podemos saber si una inferencia es válida o no.
De ahí que, la lógica es una ciencia que estudia los métodos y las leyes que determinan la validez de la
inferencia.
Así como existe una teoría para realizar cálculos con números (la aritmética) o con objetos más
complejos como diferencial e integral, también existen reglas precisas para manejar proposiciones. Esto
último corresponde al estudio de la lógica proposicional.
1 Enunciado
Un enunciado es toda frase u oración que se emite
Algunos enunciados indican expresiones imperativas, exclamativas, interrogativas, otros en cambio, pueden
ser verdaderos o falsos.
Ejemplo 1. Son enunciados:
 ¿Qué hora es?
 ¡Arriba Perú!
 2+5=7
 La cordillera del Cóndor es peruano
 2x + 3 = 5
1
2 Proposición
Es un enunciado o afirmación al que se le puede asignar el valor de verdad

verdadero o el valor de verdad falso, pero no ambos.
Ejemplos 2: Las siguientes afirmaciones son proposiciones:

 Omate es nombre de una ciudad andina.
 Horacio Zevallos Gámez nació en Carúmas
 1+1=3
 1+6=7
 El cuadrado de todo número par también es par.
Las proposiciones pueden ser simples (o atómicas) y compuestas, cuando está compuesta por varias
proposiciones simples
Ejemplos 3: Las dos primeras afirmaciones son proposiciones simples y los restantes, compuestas
 El triángulo es un polígono
 1+7=5
 Si Juan va al cine, entonces tiene dinero
 Un triángulo es equiángulo si, y solo si es equilátero
 Marcos en ingeniero o Beatriz es profesora
3 Enunciado abierto
Son aquellas oraciones que contienen variables sin especificar un valor

determinado; no tienen la propiedad de verdadero o falso.
Ejemplo. Son enunciados abiertos:
Los enunciados que usan las palabras “él”, “ella” son enunciados abiertos.
A los enunciados abiertos que contienen variables algebraicas se les denomina función proposicional,
que tienen la propiedad de convertirse en proposiciones, al sustituirse la variable por una constante
específica.
Ejemplo:
El enunciado abierto
x2 + 1 = 5
Es una función proposicional, el cual se convierte en proposición cuando:

i. Para x = -3 (por ejemplo), se convierte en la proposición
(-3)2 + 1 = 5……………………… (F)
el cual tiene valor de verdad Falsa
ii. Para x = 2, entonces, será la proposición

(2)2 + 1 = 5 ……………………… (V)
el cual tiene valor de verdad Verdadera
2
4 Notación
Usaremos las letras minúsculas p, q, r, para simbolizar las proposiciones. Las proposiciones se pueden
combinar para obtener proposiciones compuestas utilizando conectivos lógicos que veremos a continuación:
Actividades
1. Sean p, q y r las proposiciones siguientes:

p: “está lloviendo”
q: “el sol está brillando”
r: “hay nubes en el cielo”
Traduciremos las siguientes oraciones a notación simbólica utilizando las letras asignadas y los conectivos
lógicos:
1 Está lloviendo y el Sol brillando

2 Si está lloviendo, entonces hay nubes en el cielo
3 Si no está lloviendo, entonces el Sol no está brillando
y hay nubes en el cielo
4 El Sol está brillando si, y sólo si, no está lloviendo
5 Si no hay nubes en el cielo, entonces el Sol está
brillando
5 O está lloviendo o el sol está brillando
3
2. Sean p, q y r del ejercicio 1. Traducir las siguientes proposiciones simbólicas a oraciones en español:
3. Selecciona un artículo de periódico o de una revista: identifica, proposiciones simples, conjunciones,

disyunciones e implicaciones.
4. Construye funciones proposicionales.
La proposición: “si está lloviendo, entonces hay nubes en el cielo” se simboliza:
Ejercicio: Simbolice y redacte la recíproca, inversa y contrarecíproca
Lenguaje
Lenguaje español
lógico
Recíproca
Inversa
Contrarecíproca
5 Negación de proposiciones
a) Negación de una conjunción:

 (p  q) equivale a  p   q
Ejemplo
La negación de
Está lloviendo y el sol está brillando
es
No está lloviendo o el sol no está brillando
Es decir, la negación de una conjunción es la disyunción

Observe que la última proposición es diferente a la cual corresponde, en nuestro ejemplo, a No
está lloviendo y el sol no está brillando. Que usualmente se dice: ni está lloviendo ni el sol está brillando
4
b) Negación de una disyunción.
 (p  q) equivale a  p   q
Ejemplo: La negación de:
Está lloviendo o el sol está brillando

es
No está lloviendo y el sol no está brillando
Es decir, la negación de una disyunción p  q, es la conjunción

Observe que la última proposición es diferente a
c) Negación de una condicional
 (p → q) equivale a p   q
Ejemplo. La negación de
Si está lloviendo, entonces hay nubes en el cielo

es
Está lloviendo y no hay nubes en el cielo
IMPORTANTE
En matemática, con frecuencia trabajamos con funciones

proposicionales, pues contiene variables no especificadas. Esto ocurre con
las fórmulas, por ejemplo:
x2 + y2 = z2; x3 + z4  y2+ x
aún cuando no son proposiciones podemos negarlas y obtener
x2 + y2  z2; x3 + z4 < y2+ x
Podemos también formar expresiones más complejas, por ejemplo
Si x  5 y y  8, entonces y2 - x2  39
Y así podemos hablar de la recíproca, inversa o contrarecíproca. En este
ejemplo tenemos.
Si y2- x2  39, entonces x  5 y y 8
5
Lectura
“Caía una espesa lluvia. Juan se despertó y lanzó un gemido ¡Aj, aj, el colegio! Se levantó de la
cama y se sentó en una silla. Oyó la bocina de un auto o el silbato de un policía. Entonces se estremeció.
Por causa del frío o del miedo. Estaban haciendo tanto ruido. Repentinamente se le iluminó la cara. ¡Qué
bien! Se habían acordado de algo. Las clases no empiezan hoy, sino mañana”
Actividades
1. Redacta una lista de las proposiciones simples de la lectura leída
p: ____________________________________________
q: ____________________________________________
r: ____________________________________________
s: ____________________________________________
t: ____________________________________________
2. En base a las proposiciones anteriores haz una lista de proposiciones compuestas

____________________________________________
____________________________________________
____________________________________________
____________________________________________
____________________________________________
AUTOEVALUACIÓN
1. De los siguientes enunciados cuales son de proposiciones y no proposiciones:
a) Todos los planetas giran alrededor del sol

b) Si un número es divisible por 4 también lo es por 2
c) a + b + 10 = 20
d) a + b + 10 = 20; donde a = 4, b= 7
e) Batman es el hombre murciélago
f) ¡Socorro!
g) Todo organismo viviente se adapta a su medio físico
h) ¿Habrá juicio final?
2. Identifica las premisas y conclusiones en el siguiente texto:
La luz que vemos provenientes de las galaxias distantes salió de ellas hace millones de años, y en
el caso del objeto más distante que hemos visto, la luz surgió desde hace ocho millones de años.
Así pues, cuando observamos el universo, lo estamos viendo como fue en el pasado.
3. Un profesor dice a sus estudiantes lo siguiente: estoy pensando en dos números de los tres
números 1, 2 y 3. Luego los alumnos formularon las siguientes proposiciones:
a) Por los menos uno de los números es impar

b) El promedio de sus dos números es mayor que 5/4
c) Uno de sus números es tres
d) La diferencia entre sus números es 1
e) El primero de los números en que está pensando es es mayor que el segundo
f) La suma de los cuadrados de sus números es menor que 14

Sem-1-Logica-proposicional 424 0

Cargado por

Copyright:

Formatos disponibles

Sem-1-Logica-proposicional 424 0

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sem-1-Logica-proposicional 424 0

Cargado por

Copyright:

Formatos disponibles

EESTP PNP HUÁNUCO LÓGICO MATEMÁTICA

Es un enunciado o afirmación al que se le puede asignar el valor de verdad

Ejemplos 2: Las siguientes afirmaciones son proposiciones:

Son aquellas oraciones que contienen variables sin especificar un valor

Ejemplo. Son enunciados abiertos:

Es una función proposicional, el cual se convierte en proposición cuando:

ii. Para x = 2, entonces, será la proposición

1. Sean p, q y r las proposiciones siguientes:

1 Está lloviendo y el Sol brillando

3. Selecciona un artículo de periódico o de una revista: identifica, proposiciones simples, conjunciones,

4. Construye funciones proposicionales.

La proposición: “si está lloviendo, entonces hay nubes en el cielo” se simboliza:

Ejercicio: Simbolice y redacte la recíproca, inversa y contrarecíproca

a) Negación de una conjunción:

Es decir, la negación de una conjunción es la disyunción

b) Negación de una disyunción.

Ejemplo: La negación de:

Está lloviendo o el sol está brillando

Es decir, la negación de una disyunción p  q, es la conjunción

c) Negación de una condicional

Si está lloviendo, entonces hay nubes en el cielo

En matemática, con frecuencia trabajamos con funciones

x2 + y2  z2; x3 + z4 < y2+ x

Podemos también formar expresiones más complejas, por ejemplo

Si y2- x2  39, entonces x  5 y y 8

2. En base a las proposiciones anteriores haz una lista de proposiciones compuestas

1. De los siguientes enunciados cuales son de proposiciones y no proposiciones:

a) Todos los planetas giran alrededor del sol

2. Identifica las premisas y conclusiones en el siguiente texto:

a) Por los menos uno de los números es impar

También podría gustarte