Tarea 1 LÓGICA PROPOSICIONAL

FACULTAD DE ENFERMERIA
Lic. R. Alexis Arce C. MATEMATICA 1

INTRODUCCIN A LA 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.

Objetivos
- Identificar el lenguaje simblico de las proposiciones.
- Conocer el uso apropiado 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.


Enunciado

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 Cndor es peruano
- 2x + 3 = 5

Proposicin

Ejemplos 2: Las siguientes afirmaciones son proposiciones:
- Omate es nombre de una ciudad andina.
- Horacio Zeballos Gmez 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.

Enunciado abierto

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
x
2
+ 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

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:

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 Est lloviendo y el Sol brillando p . q
2
Si est lloviendo, entonces hay nubes en el
cielo
p r
3
Si no est lloviendo, entonces el Sol no est
(~p ~q) . r

brillando y hay nubes en el cielo
4
El Sol est brillando si, y slo si, no est
lloviendo
5
Si no hay nubes en el cielo, entonces el Sol
est brillando
5 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:

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

Negacin de proposiciones

a) Negacin de una conjuncin:

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
Si esta lloviendo y el sol esta brillando, entonces hay nubes en el cielo

b) Negacin de una disyuncin.

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

Ejemplo. La negacin de
Si est lloviendo, entonces hay nubes en el cielo
Es: Est lloviendo y no hay nubes en el cielo

EJERCICIO:
"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: ____________________________________________

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)

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.
- p y q
- 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?

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 deduceque tienen menos demanda." Ahora, para realizar esta
deduccin (p(q) hemos nos valemos de proposicin "p".
Si trabajamos con funciones proposicionales este sera algunos ejemplos:


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"

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
Nota: La relacin de equivalen es reflexiva, simtrica y transitiva
9. 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 anti tautologa, 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


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:



EJERCICIOS PROPUESTOS

I. Indicar cules de los siguientes enunciados son proposiciones

1) La avenida Javier Prado es la ms larga de Lima.
2) El Pisco es peruano.
3) Corre que se acaba!
4) Hecho en el Per.
5) Firm el TLC el ao pasado.
6) La Bolsa de Valores de Lima cerr con 1,34% el da lunes.
7) El petrleo baj, pero se mantiene por encima de los 110 dlares.
8) El BCR eleva su tasa de referencia a 5,5%
9) Cmo hago para conseguir los clientes?
10) Cul es el precio negociado por automvil?
11) El seor Ral es un trabajador independiente.
12) S/. 1 500 al ao.
13) Los Pereyra planean viajar a Europa dentro de tres aos.
14) Cuentas de ahorro.
15) Quin descubri Amrica?
16) Viva el Per!
17) La pizarra es inteligente.
18) Amaos los unos a los otros.
19) Prohibido fumar en el saln de clase.
20) Bienvenido a casa.
21) X+3=6
22) El caballero de los mares.
23) Ernesto es un nmero quebrado.
24) La Lgica y la Matemtica son ciencias formales.
25) Cuntos das tiene un ao?
26) Qu hermoso paisaje!
27) El tringulo es inteligente.
28) Carlos es un crculo
29) Prohibido fumar.
30) Deseo ser Presidente del Per.
31) 4+x=10
32) La lgica es una ciencia formal.
33) Maana es jueves o viernes.
34) Frank est vivo o est muerto.
35) Alejandro es un buen poltico ya que es demcrata.
36) La democracia es posible si y slo si se da la justicia.
37) Juan no es tonto ni ocioso.

II. Determine el tipo de proposicin en cada una de las siguientes expresiones
1) Silvia es inteligente.
2) Silvia y Magali son hermanas.
3) Teresa es inteligente pero es floja.
4) Pablo es profesor o es alumno.
5) La sangre es de color rojo o es de color azul.
6) Julio ser ingeniero si estudia ingeniera.
7) La naranja es agradable cuando y slo cuando est madura.
8) Es falso que Eduardo est en el cine porque l est en clase.
9) David no es arequipeo ni limeo.
10) Nunca te volver a ver.

III. Evala la TABLA DE VERDAD de los siguientes esquemas moleculares.

1) ( ) ( ) q p q p .
2) ( ) ( ) q p q p . A .
3) ( ) ( ) p q q p v
4) ( ) ( ) { } ( ) r p r q q p .
5) | | ) ( r q p v
6) 6) ( ) ) ( p q q p v
7) ( ) ( ) p q q p v ~ . ~
8) ( ) ( ) | | p q r q p . ~ A
9) ( ) | | ( ) p q r q p . ~ v . ~
10) | | p q p q p v v v v ) ( ) (
11)
( ) | | ( ) | | r q r r q p A ~ . .

IV. Lee cuidadosamente y resuelve los siguientes ejercicios
1) Si p, q, r, s, t, w, son proposiciones cualesquiera tales que:
(p v ~r) (sw) es verdadero y ~w~s es falsa,
hallar el valor de verdad de las siguientes proposiciones:
a) [(p q) V r ] v s b) (s~w)(r V ~p)

2) Halla el valor de verdad de las proposiciones p, q, r, s sabiendo que:

( ) ( ) p q r s .
es falsa.

3) Si el esquema ( ) ( ) ( ) p q r s p s . v (

es falso, establecer el valor de
verdad de:
A.
) ( p q p v
B.
( ) ) ( p q s r v v
C.
| | r p q s . v ) (

4) Si la proposicin
( ) ) ( s r q p v v
es falsa, hallar el valor de verdad de:
| | r p s p v ) (
.
5) Dado el esquema
( ) ( ) r s q p . v
falso. Determinar el valor de verdad de las
Variables
p, q, r y s
. Luego hallar
( ) ( ) | | p s r q p A .
.
6) Si s y t son proposiciones: falsa y verdadera respectivamente, seala cules de las
siguientes proposiciones son verdaderas:
a) ( ) t s p v b) t s p v ) (

c) ( ) s t p . d) ( ) t p s v
7) Si el siguiente esquema p q p v ) ( es falso. Halla el valor de verdad de los
siguientes esquemas moleculares.
a) p q p . ) ( b) ( ) p q p .

8) Dado el siguiente esquema: ( ) | | { } ( ) s p s r q p v . . se conoce que es
falso, seale el valor de p, q, r y s.

9) Si el esquema: ( ) r q p v es falso, seale el valor de verdad de las siguientes
expresiones:
a) ( ) r q p . b) ( ) r q q p A ) (
10) Si s y el esquema ( ) q p s v son verdaderos, indique los valores de verdad de los
siguientes esquemas:
a) ( ) q p .
b) s q p v ) (
c) ( ) p q s v


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 Didcticade 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
* 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 Conjuntosy 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.
* Autor: Rodolfo Huisa Sanizo

Tarea 1 LÓGICA PROPOSICIONAL

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Tarea 1 LÓGICA PROPOSICIONAL

Încărcat de

Drepturi de autor:

Formate disponibile

FACULTAD DE ENFERMERIA

Lic. R. Alexis Arce C. MATEMATICA 1

S-ar putea să vă placă și