Vous êtes sur la page 1sur 15

www.monografias.

com

Lgica proposicional
Rodolfo Huisa Sanizo
1.
2.
3.
4.
5.
6.
7.
8.

magia_tz.15@hotmail.com

Presentacin
Nociones fundamentales
Introduccin
Clculo proposicional
Resumen
Ejercicios resueltos
Bibliografa
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

Algunos enunciados indican expresiones imperativas, exclamativas, interrogativas,


pueden ser verdaderos o falsos.
Ejemplo 1. Son enunciados:
Qu hora es?
Arriba Per!
2+5=7
La cordillera del Cndor es peruano
2x + 3 = 5
2 Proposicin

otros en cambio,

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.
Ejemplos 2: Las siguientes afirmaciones son proposiciones:
Omate es nombre de una ciudad andina.
Horacio Zeballos Gamez naci en Carmas
1+1=3
1+6=7
El cuadrado de todo nmero par tambin es par.
Las proposiciones pueden ser simples (o atmicas) y compuestas, cuando esta compuesta por varias
proposiciones simples
Ejemplos 3: Las dos primeras afirmaciones son proposiciones simples y los restantes, compuestas
El tringulo es un polgono
1+7=5
Si Juan va al cine, entonces tiene dinero
Un tringulo es equingulo si, y solo si es equiltero
Marcos en ingeniero o Beatriz es profesora
3 Enunciado abierto

Son
Son aquellas
aquellas oraciones
oraciones que
que contienen
contienen variables
variables sin
sin especificar
especificar un
un valor
valor
determinado;
determinado; no
no tienen
tienen la
la propiedad
propiedad de
de verdadero
verdadero oo falso.
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 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
Es una funcin proposicional, el cual se convierte en proposicin cuando:
i.
Para x = -3 (por ejemplo), se convierte en la proposicin
(-3)2 + 1 = 5 (F)
el cual tiene valor de verdad Falsa
ii.

Para x = 2, entonces, ser la proposicin


(2)2 + 1 = 5 (V)
el cual tiene valor de verdad Verdadera

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
1. Sean p, q y r las proposiciones siguientes:
p: est lloviendo
q: el sol esta brillando
r: hay nubes en el cielo
Traduciremos las siguientes oraciones a notacin simblica utilizando las letras asignadas y los conectivos
lgicos:
1
2
3
4
5
5

Est lloviendo y el Sol brillando


Si est lloviendo, entonces hay nubes en el cielo
Si no est lloviendo, entonces el Sol no est brillando y hay
nubes en el cielo
El Sol est brillando si, y slo si, no est lloviendo
Si no hay nubes en el cielo, entonces el Sol est brillando
O esta lloviendo o el sol est brillando

2. Sean p, q y r del ejercicio 1. Traducir las siguientes proposiciones simblicas a oraciones en espaol:

3. Selecciona un artculo de peridico o de una revista: identifica, proposiciones simples, conjunciones,


disyunciones e implicaciones.
4. Construye funciones proposicionales.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

La proposicin: si est lloviendo, entonces hay nubes en el cielo se simboliza:


Ejercicio: Simbolice y redacte la recproca, inversa y contrarecproca
Lenguaje
lgico

Lenguaje espaol

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
Es decir, la negacin de una conjuncin
es la disyuncin
Observe que la ltima proposicin 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
b) Negacin de una disyuncin.

(p q) equivale a p q
(p q) equivale a p q
Ejemplo: La negacin de
Est lloviendo o el sol est brillando
es
No est lloviendo y el sol no est brillando
Es decir, la negacin de una disyuncin p q, es la conjuncin
Observe que la ltima proposicin es diferente a
c) Negacin de una condicional

(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

En matemtica, con frecuencia trabajamos con funciones


proposicionales, pues contiene variables no especificadas. Esto
ocurre con las frmulas, por ejemplo:

x2 + y2 = z2; x3 + z4 y2+ x
an cuando no son proposiciones podemos negarlas y obtener

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


Podemos tambin formar expresiones ms complejas, por
ejemplo

Si x 5 y y 8, entonces y2 - x2 39
Y as podemos hablar de la recproca,
contrarecproca. En este ejemplo tenemos.

inversa

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

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: ____________________________________________
2. En base a las proposiciones anteriores haz una lista de proposiciones compuestas
____________________________________________
____________________________________________
____________________________________________
____________________________________________
____________________________________________

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

Observamos que si p es verdadera, entonces p es falso; si p es falso, entonces p es verdadero. Es decir,


el valor de la negacin de un enunciado es siempre opuesto al valor de verdad del enunciado inicial. La
negacin de una negacin es siempre la proposicin original
Ejemplo.
p: Pedro es alto
p: Pedro no es alto
p: No es cierto que Pedro es alto
p: Es falso que Pedro no es alto
2.

Tabla de la disyuncin (inclusiva o dbil)

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

La disyuncin inclusiva es verdadera, si al menos una de las proposiciones componentes es verdadera,


resultando falso nicamente cuando las dos proposiciones son falsas.
3.

Tabla de la disyuncin (exclusiva o fuerte)

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

A la proposicin p se le llama antecedente o hiptesis y a q consecuente o tesis.


Esta es su tabla de verdad:

Cmo se calcula su valor de verdad?

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

La condicional pq es una proposicin falsa, si el


antecedente es verdadero y el consecuente es falso, en los
dems casos es verdadero.
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)
Es posible deducir una verdad, partiendo de una falsedad?
Aunque esto contradiga nuestra intuicin, si es posible. Veamos el siguiente ejemplo:

Analizando el antecedente o hiptesis se tiene:

Si 2 = 3, podemos escribir como 3 = 2


Sumando miembro a miembro las igualdades

Entonces decimos que:


De la falsedad de (2 = 3) hemos deducido una verdad (5 = 5)

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

i.

Es posible deducir una falsedad a partir de una falsedad?


Tambin es posible. Veamos el siguiente ejemplo:

Analizando la hiptesis se tiene:

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

i.

Multiplicando ambos miembros por 2


2x2=3x2
4=6

ii.

Hemos deducido que:


De la falsedad de (2 = 3), hemos deducido una la falsedad (4 = 6)

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)
es
V
aceptamos que (pq) es V

2.

Completa la tabla de la condicional, para la recproca, contrario y contrarecproca

6.
Tabla de la bicondicional o doble implicacin
Dadas las proposiciones simples p y q, se llama bicondicional a la proposicin definida por la conjuncin
de la proposicin condicional con su recproca.

Ntese que la bicondicional p


q significa una deduccin doble: de p se puede deducir q y de q se
puede deducir p
Veamos el caso de la segunda fila:
ii.
iii.

Valor de p: V
Valor de q: F

Por lo tanto (p

q) es falso.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Queda como ejercicio mostrar las dems filas

Actividad
Sin emplear las tabla de verdad y apelando a sus conocimientos en
matemtica, determina el valor de las siguientes implicaciones
a) Si 7 >5 entonces 49>25
b) Si 7 >5 entonces 49<25
c) Si 7 <5 entonces 49>25
d) Si 7 <5 entonces 49<25
7.

Clculo de valores de verdad de proposiciones compuestas


Utilizando los conectivos lgicos, se pueden combinar cualquier nmero finito de proposiciones simples,
para obtener otras proposiciones cuyos valores de verdad pueden ser conocidos construyendo sus
tablas de verdad.
Para efectuar el nmero de combinaciones de los valores de las proposiciones, recurrimos a la relacin
2n, donde n representa el nmero de proposiciones.
Ejemplo. Construir la tabla de verdad de la proposicin:

8.

Proposiciones lgicamente equivalentes


Dos proposiciones son equivalentes cuando el resultado de sus tablas de verdad son iguales.
Ejemplo. Las proposiciones

son equivalente, ya que:

La equivalencia entre dos proposiciones p y q lo escribimos como p q

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

9.

Nota: La relacin de equivalen es reflexiva, simtrica y transitiva


Tautologas, contradicciones y contingencias
Una expresin proposicional se llama tautologa, si los valores de verdad de su operador principal
son verdaderos.
Se llama contradiccin o antitautologa, si los valores de verdad de su operador principal son todos
falsos.
Se llama contingencia, cuando los valores de verdad hay valores verdaderos y falsos

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.

5.

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

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
1.

Analizar las siguientes expresiones


a) 7 + 5 = 20
b) Eres un estudiante de matemtica?
c) X + 5 = 8
d) El da esta fro.
e) cierra la puerta!
Solucin
a) 7 + 5 = 20, es una expresin cuyo valor de verdad es falsa. Luego es una proposicin.
b) Eres un estudiante de matemtica?, es una pregunta que se hace, carece de valor de verdad, es
decir, no se puede afirmar si es verdadero o falso, luego no es una proposicin.
c) X + 5 = 8, es un enunciado abierto o funcin proposicional por que tiene variable
d) El da esta fro, es una proposicin que puede ser verdadera o falsa
e) cierra la puerta!, es una orden. Luego no es una proposicin.

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

*
*
*
*
*
*
*

CARRANZA, Cesar Matemtica Bsica. Publicacin de CONCYTEC, Lima, 1992.


ESPINOZA RAMOS, Eduardo Matemtica Bsica. Edit. Servicios Grficos. 2002.
FIGUEROA G. Ricardo Matemtica Bsica. Edit. Amrica, Lima, 2002.
LAZARO, Moiss Matemtica Bsica, Tomo I. Edit. Moshera S.R.L., Lima. 1998.
LIPSCHUTZ, Seymour Teora de Conjuntos y Temas Afines, Edit. Mc Graw Hill, Mxico, 1991.
ROJO, Armando lgebra, Tomo I. Edit. El Ateneo, Buenos Aires, 2002
VENERO, Armando Matemtica Bsica. Edic. Gemar, Lima-Per, 1993.

Taller de
A.
B.

lgica

proposicional

INSTITUCIN EDUCATIVA:
NOMBRES:.

1.
Lgica es la ciencia que estudia:
..

2.
Al mnimo pensamiento se le conoce como:
3.

Marque los enunciados con J si son juicios y con C si son conceptos.

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
4.
Todo razonamiento consta de:

...
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
Toda proposicin es una oracin: V

7.
Dado el siguiente titular del diario correo 02/08/07:
Mono ataca nio y escapa del parque
Cules son conceptos? .
Cuales son juicios?
.
8.
De los siguientes enunciados, Cules son proposiciones?
a)
x + 3 = 11, si x = 2
(
b)
x + 3 = 14
(
c)
Romeo y Julieta se amaron
(
d)
Machu Picchu es maravilla del mundo moderno
(
)
e)
Sintese rpido
(
)
f)
Qu estidias?
(
)

)
)
)

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