Documentos de Académico
Documentos de Profesional
Documentos de Cultura
com
Lgica proposicional
Rodolfo Huisa Sanizo magia_tz.15@hotmail.com
1. Presentacin
2. Nociones fundamentales
3. Introduccin
4. Clculo proposicional
5. Resumen
6. Ejercicios resueltos
7. Bibliografa
8. Taller de lgica proposicional
Presentacin
Un propsito a lograr en el rea de matemtica, es que los alumnos aprendan a razonar matemticamente.
Tal propsito no se lograra, si es que no pasa del mundo de las opiniones empricas al mundo del
pensamiento formal. Pero, un pensamiento sistemtico, autntico y coherente no puede surgir sin la base de
un mtodo crtico correcto. En este sentido, el conocimiento de la lgica (ciencia que se ocupa del estudio
de los mtodos y principios para distinguir el buen razonamiento del malo), se hace indispensable.
Unidad 01
Nociones fundamentales
Objetivos
- Identificar el lenguaje simblico de las proposiciones.
- Conocer los usos propios de cada smbolo
- Usar correctamente los conectivos lgicos para simbolizar las proposiciones compuestas que se
indican
- Traducir al lenguaje simblico razonamientos expresados en lenguaje ordinario
Introduccin
En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada conclusin 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 tambin de "todos los mamferos son vertebrados" se puede concluir en
"algunos mamferos son vertebrados". Este proceso de pasar de un conjunto de premisas a la conclusin se
llama inferencia o deduccin.
Cuando la conclusin se deduce correctamente del conjunto de premisas se dice que la inferencia
es vlida, en caso contrario la inferencia no es vlida. Sabemos que la conclusin se deriva correctamente
de sus premisas porque hay un conjunto de leyes lgicas que garantizan dicha correccin. Justamente la
lgica estudia el modo de usar estas leyes, con las cuales podemos saber si una inferencia es vlida o no.
De ah que, la lgica es una ciencia que estudia los mtodos y las leyes que determinan la validez de la
inferencia.
As como existe una teora para realizar clculos con nmeros (la aritmtica) o con objetos ms
complejos como diferencial e integral, tambin existen reglas precisas para manejar proposiciones. Esto
ltimo corresponde al estudio de la lgica proposicional
1 Enunciado
Un
Un enunciado
enunciado es
es toda
toda frase
frase uu oracin
oracin que
que se
se emite
emite
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Es
Es un
un enunciado
enunciado oo afirmacin
afirmacin al
al que
que se
se le
le puede
puede asignar
asignar el
el valor
valor de
de verdad
verdad
verdadero o el valor de verdad falso, pero no ambos.
verdadero o el valor de verdad falso, pero no ambos.
Los enunciados que usan las palabras l, ella son enunciados abiertos
A los enunciados abiertos que contienen variables algebraicas se les denomina funcin proposicional, que
tienen la propiedad de convertirse en proposiciones, al sustituirse la variable por una constante especfica.
Ejemplo:
El enunciado abierto
x2 + 1 = 5
4 Notacin
Usaremos las letras minsculas p, q, r, para simbolizar las proposiciones. Las proposiciones se pueden
combinar para obtener proposiciones compuestas utilizando conectivos lgicos que veremos a continuacin:
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Actividades
2. Sean p, q y r del ejercicio 1. Traducir las siguientes proposiciones simblicas a oraciones en espaol:
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Lenguaje
Lenguaje espaol
lgico
Recproca
Inversa
Contrarecproca
5 Negacin de proposiciones
a) Negacin de una conjuncin:
(p q) equivale a p q
Ejemplo
La negacin de
Est lloviendo y el sol est brillando
es
No est lloviendo o el sol no est brillando
Ejemplo: La negacin de
Est lloviendo o el sol est brillando
es
No est lloviendo y el sol no est brillando
(p q) equivale a p q
(p q) equivale a p q
Ejemplo. La negacin de
Si est lloviendo, entonces hay nubes en el cielo
es
Est lloviendo y no hay nubes en el cielo
IMPORTANTE
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
x2 + y2 = z2; x3 + z4 y2+ x
Si x 5 y y 8, entonces y2 - x2 39
Lectura
Caa 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 polica. Entonces se estremeci.
Por causa del fro o del miedo. Estaban haciendo tanto ruido. Repentinamente se le ilumin la cara. Qu
bien! Se haban acordado de algo. Las clases no empiezan hoy, sino maana
Actividades
1. Redacta una lista de las proposiciones simples de la lectura leda
p: ____________________________________________
q: ____________________________________________
r: ____________________________________________
s: ____________________________________________
t: ____________________________________________
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
AUTOEVALUACIN
1. De los siguientes enunciados cuales son de proposiciones y no proposiciones:
a) Todos los planetas giran alrededor del sol
b) Si un nmero es divisible por 4 tambin lo es por 2
c) a + b + 10 = 20
d) a + b + 10 = 20; donde a = 4, b= 7
e) Batman es el hombre murcilago
f) Socorro!
g) Todo organismo viviente se adapta a su medio fsico
h) Habr juicio final?
2. Identifica las premisas y conclusiones en el siguientes texto
La luz que vemos provenientes de las galaxias distantes sali de ellas hace millones de aos, y en
el caso del objeto ms distante que hemos visto, la luz surgi desde hace ocho millones de aos.
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 nmeros de los tres
nmeros 1, 2 y 3. Luego los alumnos formularon las siguientes proposiciones:
a) Por los menos uno de los nmeros es impar
b) El promedio de sus dos nmeros es mayor que 5/4
c) Uno de sus nmeros es tres
d) La diferencia entre sus nmeros es 1
e) El primero de los nmeros en que est pensando es es mayor que el segundo
f) La suma de los cuadrados de sus nmeros es menor que 14
Unidad 02
Clculo proposicional
Objetivos
- Calcular el valor de verdad de proposiciones compuestas
- Construir razonamientos vlidos en matemtica
La definicin de proposicin nos dice que debe ser una oracin a la cual se le puede asignar un
valor de verdad de manera precisa, sin ambigedades. Ahora bien, cmo le asignamos un valor de verdad
a las proposiciones compuestas?, es decir, a las proposiciones que contienen alguno de los conectivos
lgicos. Esto lo haremos a travs de tablas de verdad.
1. Tabla de la negacin
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
La disyuncin exclusiva es verdadera cuando slo una de las proposiciones que la compone es verdadera,
resultando falso en cualquier otro caso.
4. Tabla de la conjuncin
La disyuncin exclusiva es nicamente verdadera cuando los valores de las proposiciones que la compone
son ambas verdaderas, resultando falso en cualquier otro caso.
pyq
p con q
p sin embargo q
p incluso q
p tanto como q
p as mismo q
p tambin q
p al igual que q
No slo p tambin q
p no obstante q
5. Tabla de la condicional
En los problemas econmicos, la siguiente proposicin es una verdad: Si los precios de los artculos suben,
entonces, tienen menos demanda. Aqu
p: Los precios de los artculos suben
q: Los artculos tiene menos demanda
y se simboliza:
y se lee: Si p, entonces q
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Si analizamos la palabra entonces, la podemos entender como una deduccin (que se puede realizar en
base a la experiencia o por simple razonamiento mental). En nuestro ejemplo inicial: si los precios de los
artculos suben, se deduce que tienen menos demanda. Ahora, para realizar esta deduccin (pq) hemos
nos valemos de proposicin p.
Si trabajamos con funciones proposicionales este sera algunos ejemplos:
Actividad
Justificaremos las lneas 3 y 4 de la tabla condicional mediante ejemplos. (Los dos primeros quedaran como
ejercicios)
En
En general,
general, si
si el
el antecedente
antecedente pp es
es FF yy el
el consecuente
consecuente qq es
es V,
V,
aceptamos
aceptamos que
que (pq)
(pq) es
es V
V
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
En
En general,
general, si
si el
el antecedente
antecedente pp es
es FF yy el
el consecuente
consecuente qq es
es F,
F,
aceptamos que (pq)
aceptamos que (pq) es V es V
ii. Valor de p: V
iii. Valor de q: F
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Actividad
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Resumen
1. Una proposicin es toda expresin que tiene la propiedad de ser verdadero o falso
2. Las enunciado abiertos son expresiones que no tiene la propiedad de ser verdaderos o falsos, a menos
que especifiquemos un valor determinado como es el caso para las funciones proposicionales.
3. Los conectivos lgicos son aquellos smbolos que enlazan dos o ms proposiciones simples. Tenemos la
conjuncin, disyuncin, la condicional y la bicondicional.
4. Dado el condicional pq llamado directo, en conexin con el se presentan:
La proposicin recproca qp
La proposicin inversa p q
La proposicin contrarecproca q p
5. La bicondicional es la conjuncin de la proposicin condicional con su recproco
(pq) (qp) p q
6. dos proposiciones son equivalentes, cuando el resultados de sus tablas de verdad son iguales. El
bicondicional de dos esquemas equivalentes es una tautologa
7. Una expresin se llama tautologa, si los valores de verdad del operador principal son todos verdaderos.
Ejercicios resueltos
2. Sean las proposiciones p, q, r, cuyos valores de verdad es V, F y F. hallar el valor de verdad de las
siguiente proposiciones compuestas:
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Bibliografa
Didctica de la matemtica
* ALCALA, Manuel. La Construccin del Lenguaje Matemtico, Editorial GRAO, Espaa 2002.
* ALSINA, Claudi. Ensear Matemtica, Editorial GRAO, Espaa 1998.
* CABRERA, Mnica. Como aplicar Metodologa Activa en la Clase de Matemtica, Editorial PUCP,
Lima, 2002
* CISNEROS, Celia. JUEGOS EDUCATIVOS, Editorial Maestro Innovador, Huancayo, 2004
* CORBALAN, Fernando. La Matemtica Aplicada a la Vida Cotidiana, Editorial GRAO,
* COTO, Alberto, Entrenamiento Mental, Editorial EDAF, Chile, 2006
* DIENES, GOLDING. Lgica y juegos lgicos, Editorial Teide, Barcelona, 1970
* FERRERO, Luis. EL JUEGO Y LA MATEMATICA, Editorial LA MURALLA, Madrid 2004
* GASKINS, Irene. COMO ENSEAR ESTRATEGIAS COGNITIVAS EN LA ESCUELA, Editorial
Paids, buenos Aires, 1999.
* HERNNDEZ FERNNDEZ, Herminda. Cuestiones de Didctica de la Matemtica, Editorial Homo
Sapiens, Argentina 1998.
* MALBA TAHAN. EL HOMBRE QUE CALCULABA, Editorial San santiago, Lima, 2005
* MOLINA, Isabel, El Seor del Cero, Editorial ALFAGUARA, Madrid, 2000
* PALACIOS PEA, Joaqun. Didctica de la Matemtica, Editorial San Marcos, Lima 2003
* RICO, Luis. LA EDUCACION MATEMATICA EN LA ENSEANZA SECUNDARIA, Editorial
HORSORI, Barcelona, 2000
* SALET, Mara. MODELAGEN MATEMATICA NO ENSINO, Editorial Contexto, Sao Paulo, 2000
* SANTOS, Luz. PRINCIPIOS Y MTODOS DE LA RESOLUCION DE PROBLEMAS, Editorial
Iberoamericana, Mxico, 1997
* SEBASTIANI, Felipe. Didctica de la Matemtica, Editorial Escuela Nueva, Lima 1991.
* SOLIS, Csar. MATERIALES DIDCTICOS, Editorial CKEF, Huancayo, 2001
Matemtica
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
A. INSTITUCIN EDUCATIVA:
B. NOMBRES:.
Automvil deportivo
Libro
El automvil es Ferrari
El perro ladra al gato
Gato negro
Evo Morales usa corbata
Profesor
El profesor toma examen
Director de la UGEL Tacna
...
5. Dado:
Puesto que un hombre prudente huye de los gorilas y pues ningn profesor es imprudente. Se sigue que
ningn profesor deja de huir de los gorilas
Es un razonamiento?......Si No
Cul es su conclusin?
.............................................................................................................................................................................
.......................................................................................
6. Toda oracin es una proposicin. V F
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
9. Si Alfonso estudia aritmtica, entonces tambin estudia lgica o lgebra. Alfonso no estudia
aritmtica. Alfonso estudia aritmtica, o lgica, o algebra. Luego, Alfonso estudia algebra.
Considerando el texto anterior, identifique lo siguiente:
Conceptos:
.
Juicios:
Razonamientos:
Premisas:
..
Conclusiones:...
.
Conectivos lgicos:..
Efectuar la formalizacin lgica:
Autor:
Rodolfo Huisa Sanizo
magia_tz.15@hotmail.com
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com