Está en la página 1de 56

UNIVERSIDAD CSAR VALLEJO - PIURA

PRESENTACIN

Este mdulo preparado por el equipo de docentes del rea de Matemtica,


del Departamento de Formacin General de la Universidad Csar Vallejo Piura
tiene como propsito ayudarte a mejorar tus habiliades lgico matemticas.

El contenido est dividido en 8 captulos los cuales son : Lgica


Proposicional, Introduccin al Algebra, Ecuaciones, Inecuaciones, Razones y
Proporciones, Conjuntos, Relaciones y Funciones e Introduccin a la Geometra
Analtica, se desarrollarn en las sesiones de aprendizaje de acuerdo al slabo
correspondiente. Cada uno de los temas desarrollados contiene ejemplos
desarrollados paso a paso, as como problemas de aplicacin, talleres de
ejercicios, talleres de problemas que sern desarrollados en clase y las
actividades te servirn para afianzar tu aprendiazaje.

Si al terminar cada tema no has logrado comprender el material, revsalo


nuevamente hasta que logres afianzar tus conocimientos, puedes consultar a tu
profesor, de esta manera podrs reafirmar o complementar la comprensin de
algn tema.

Ten presente que estos contenidos sirven particularmente para garantizar el


xito indispensable en el estudio de las matemticas enseadas en el nivel
universitario, por eso se te exhorta a estudiar y resolver los talleres y actividades
de cada captulo.

Los autores.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 1

UNIVERSIDAD CSAR VALLEJO - PIURA


NDICE
PRESENTACIN
CAPTULO 01: LGICA PROPOSICIONAL
El interruptor
ELEMENTOS DE LA LGICA PROPOSICIONAL
Introduccin
1.1 La lgica como ciencia
1.2 La lgica proposicional
Taller de ejercicios
Actividad

01
08
09
09
10
11
23
26

FORMALIZACIN PROPOSICIONAL
Introduccin
1.3 Casos especiales de formalizacin
Taller de ejercicios
Actividad

30
30
32
34
36

VERDAD FORMAL
Introduccin
1.4 Esquemas moleculares
1.5 Tablas de verdad
1.6 Evaluacin de esquemas moleculares
1.6.1 Mediante tablas de verdad
1.6.2 Mediante mtodo abreviado
Taller de ejercicios
Actividad

39
39
39
39
41
42
44
45
48

EQUIVALENCIAS LGICAS
Introduccin
1.7 Leyes de equivalencia
1.8 Simplificacin de esquemas moleculares
Taller de ejercicios
Bibliografa

51
51
51
54
55
56

CAPTULO 02: INTRODUCCIN AL ALGEBRA


En qu se aplica el lgebra?
OPERACIONES COMBINADAS EN
Introduccin
2.1 Operaciones combinadas con nmeros naturales

58
59
59

2.2 Operaciones combinadas con nmeros enteros


2.3 Operaciones combinadas con nmeros racionales
Taller de ejercicios
Actividad

59
59
61
62
62

CONCEPTOS BSICOS DEL LGEBRA


Introduccin
2.4 Teora de exponentes
Taller de ejercicios
Actividad

64
64
64
66
67

PRODUCTOS NOTABLES

68

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 2

UNIVERSIDAD CSAR VALLEJO - PIURA


Introduccin
2.5 Productos notables
Taller de ejercicios
Actividad

68
69
70
71

FACTORIZACIN
Introduccin
2.6 Factor comn monomio
2.7 Factor comn polinomio
2.8 Trinomio cuadrado perfecto
2.9 Aspa simple
2.10 Diferencia de cuadrados
2.11 Suma o diferencia de cubos
2.12 Mtodo de los divisores comunes
Taller de ejercicios
Actividad

72
72
72
72
73
74
74
74
75
77
77

FRACCIONES ALGEBRAICAS
Introduccin
2.13 Fraccin algebraica
2.14 Simplificacin de fracciones algbricas
2.15 Operaciones con fraciones algebraicas
2.15.1. Adicin y sustraccin de fracciones algebraicas
2.15.2. Multiplicacin y divisin de fracciones algebraicas
2.15.3. Operaciones combinadas de fracciones algebraicas
Taller de ejercicios
Actividad
Bibliografa

78
78
78
78
79
79
79
80
80
81

CAPTULO 03: ECUACIONES


Por qu utilizamos la letra x para representar un valor desconocido?
ECUACIONES
Introduccin
3.1 Ecuaciones de primer grado con una incgnita
3.1.1 Ecuaciones de primer grado con coeficientes enteros
Taller de ejercicios
3.1.2 Ecuaciones de primer grado con coeficientes fraccionarios
Taller de ejercicios
3.1.3 Ecuaciones de primer grado con denominadores compuestos
Taller de ejercicios
3.2 Sistema de ecuaciones de primer grado con dos incgnitas
3.2.1 Mtodos de resolucin
a)
Mtodo de reduccin o de sumas y restas.
Taller de ejercicios
b)
Mtodo de sustitucin.
Taller de ejercicios
Actividad
3.3 Ecuaciones de segundo grado
3.3.1 Ecuacin de segundo grado incompleta
Taller de ejercicios
3.3.2 Ecuacin de segundo grado completa
3.3.2.1 Solucin de ecuaciones de segundo grado por factorizacin
Taller de ejercicios
3.3.2.2 Solucin de ecuaciones de segundo grado por frmula general

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

82
84
85
85
86
87
88
88
90
91
91
91
92
93
94
95
97
97
98
98
98
99
99

Pgina 3

UNIVERSIDAD CSAR VALLEJO - PIURA


Taller de ejercicios.
3.3.2.3 Solucin de ecuaciones de segundo grado
completando cuadrados
Taller de ejercicios
Actividad
3.4 Problemas con ecuaciones de primer grado
Taller de problemas
Actividad
3.5 Problemas con ecuaciones de segundo grado
Taller de problemas
Actividad
3.6 Ecuaciones polinmicas
3.6.1 Ecuaciones polinmicas de grado superior a dos
3.6.2 Regla de Rufiini
Taller de ejercicios
Actividad
Bibliografa
CAPTULO 04: INECUACIONES
Las tres cajas de caramelos
INTERVALOS
Introduccin
4.1 Desigualdades
4.2 La notacin de intervalo
4.3 Operaciones entre intervalos
Taller de ejercicios

100
101
102
103
104
105
107
109
109
111
112
112
114
114
115
116

118
119
119
119
119
121
125

INECUACIONES DE PRIMER GRADO


Introduccin
4.4 Inecuaciones de primer grado
Taller de ejercicios
Actividad

126

INECUACIONES DE SEGUNDO GRADO


Introduccin
4.5 Inecuaciones de segundo grado

129
129
129

APLICACIONES DE LAS INECUACIONES


Taller de problemas
Actividad

132
133

INECUACIONES POLINMICAS
Introducin
4.6 Inecuaciones polinmicas
4.6.1 Mtodo de los puntos crticos para resolver problemas
4.6.2 Inecuaciones con factores cuadrticos irreductibles
Taller de ejercicios
Actividad
Bibliografa
CAPITULO 05: RAZONES Y PROPORCIONES
Las proporciones del hombre
Introduccin
5.1 Razn

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

126
127
127

135
135
135
135
139
140
141
141

143
144
144

Pgina 4

UNIVERSIDAD CSAR VALLEJO - PIURA


5.2
5.3
5.4
5.5
5.6

Serie de razones geomtricas equivalentes


Propiedades de las razones geomtricas
Problemas resueltos
Proporcin
Propiedades de las proporciones
Taller de problemas
Actividad

CAPTULO 06: CONJUNTOS


Por qu agrupamos?
CONJUNTOS
Introducin
6.1 Idea intuitiva de conjunto
6.2 Notacin de un conjunto
6.3 Relacin de conjuntos
6.3.1 Relacin de pertenencia
6.3.2 Realcin de inclusin
6.3.3 Relacin de igualdad
6.4 Clases de conjuntos
6.4.1 Conjunto universal
6.4.2 Conjunto vacio o nulo
6.4.3 Conjunto unitario
6.4.4 Conjunto finito
6.4.5 Conjunto infinito
6.5 Conjunto potencia
6.5.1 Propiedades del conjunto potencia
Taller de ejercicios
6.6 Operaciones con conjuntos
6.6.1 Interseccin
6.6.2 Unin
6.6.3 Diferencia
6.6.4 Diferencia simtrica
6.6.5 Complemento de A
Taller de ejercicios
6.7 Problemas de aplicacin de conjuntos
Taller de problemas
Actividad
CAPTULO 07: RELACIONES Y FUNCIONES
El problemas de la seora Benitez
RELACIONES
Introduccin
7.1 Preliminares
7.2 Relacin
7.3 Relaciones de en
Taller de ejercicios
FUNCIONES
Introduccin
7.4 Dominio y rango de una funcin real
7.5 Funcin lineal
7.6 Funcin cuadrtica
7.6.1 Clculo del rango de la funcin cuadrtica
7.6.2 Grfica de una funcin cuadrtica
7.7 Funcin exponencial

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

145
145
146
147
148
149
150

153
154
154
154
154
154
154
155
155
157
157
157
157
157
157
158
158
159
160
160
161
163
164
165
166
167
169
170

173
174
174
175
176
177
182
184
184
186
187
189
189
189
191

Pgina 5

UNIVERSIDAD CSAR VALLEJO - PIURA


7.7.1 Grfica de una funcin exponencial
7.8 Funcin logartmica
7.8.1 Grfica de una funcin logartmica
Actividad
Bibliografa

192
194
197
197
200

CAPTULO 08: INTRODUCIN A LA GEOMETRA ANALTICA


Qu es la geometra analtica?
GEOMETRA ANALTICA
Introduccin
8.1 Frmula de la distancia entre dos puntos
8.2 Frmula del punto medio
8.3 Pendiente de una recta
Taller de ejercicios

202
203
203
203
204
205
206

LA RECTA
Introducin
8.4 Formas de la ecuacin de una recta
8.4.1 Forma punto pendiente
8.4.2 Forma de dos puntos
8.4.3 Forma pendiente ordenada al origen
8.4.4 Forma coordenadas al origen
8.4.5 Ecuacin de una recta vertical
8.4.6 Forma general de la ecuacin de una recta
8.5 Distancia de un punto a una recta
8.6 Relacin entre dos rectas en el plano
8.7 Problemas resueltos
Taller de ejercicios

207
207
207
208
208
208
208
209
209
210
210
210
212

LA PARBOLA
Introduccin
8.8 Elementos de la parbola
8.9 Formas de la ecuacin de la parbola
8.9.1 Forma cannica
8.9.2 Forma ordinaria
8.9.3 Forma general de la recta
8.10 Problemas resueltos
Taller de ejercicios
Actividad

214
214
214
215
215
217
219
219
221
222

LA CIRCUNFERENCIA
Introduccin
8.11 Elementos de la circunferencia
8.12 Formas de la ecuacin de una circunferencia
8.12.1 Forma cannica
8.12.2 Forma ordinaria
8.12.3 Ecuacin general de la circunferencia
8.13 Problemas resueltos
Taller de ejercicios
Actividad
Bibliografa

223
223
223
224
224
224
224
225
227
228
228

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 6

UNIVERSIDAD CSAR VALLEJO - PIURA

LGICA
PROPOSICIONAL

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 7

UNIVERSIDAD CSAR VALLEJO - PIURA

El interruptor

En el interior de una habitacin hay una bombilla. Fuera


hay tres interruptores, y slo uno de ellos enciende la
bombilla. Nosotros estamos fuera y slo podemos entrar una
vez a la habitacin. Cmo averiguar el interruptor que
enciende la bombilla?

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 8

UNIVERSIDAD CSAR VALLEJO - PIURA

ELEMENTOS DE LGICA
PROPOSICIONAL
La historia hace a los hombres sabios; la poesa, ingeniosos;
las matemticas, sutiles; la filosofa natural, profundos;
la moral, graves; la lgica y retrica, hbiles para la lucha.

FRANCIS BACON
Introduccin
Cuando escuchamos la palabra Lgica inmediatamente la asociamos, al menos a la
mayora de personas les pasa esto, con la idea o nocin de razonamiento. Aunque esta
relacin nos puede servir de primera aproximacin, hoy en da esto puede ser
considerado desbordado por la enorme extensin y diversidad que ha alcanzado esta
disciplina, sobre todo en la tecnologa e informtica.
Lo cierto es que uno puede razonar correctamente sin ni siquiera haber estudiado
lgica. Y esto no es un caso aislado. Por ejemplo, en el mundo deportivo se ejecutan
maniobras difciles, a veces increbles, sin que los atletas sepan de las leyes fsicas que
les permiten ejecutar dichas maniobras. Algo similar ocurre en lgica. Entonces, por
qu estudiar lgica?... Bsicamente por dos razones que expongo a continuacin:
Primero, porque un estudio adecuado de sta la enfocar tanto como una ciencia y
como un arte. Esto significa que es menester aplicar las tcnicas y criterios aprendidos a
nuestros propios razonamientos, lo cual a su vez nos da una menor posibilidad de
cometer errores que aquella persona que nunca ha estudiado lgica. Esta posibilidad
disminuye an ms cuando estudiamos y analizamos los mtodos incorrectos de
razonamiento, las llamadas falacias, pues su conocimiento nos ayuda efectivamente a
evitarlas y nos ayuda a conocer, con slo escuchar, lo que pasa en realidad en la otra
persona.
La otra razn tiene que ver con nuestra
necesidad tecnolgica. Todos sabemos, por
ejemplo, que cuando una plancha se est
calentando demasiado debemos bajarle la
graduacin. Y no necesitamos que se nos
diga qu entendemos por calentando
demasiado (basta con acercar un poco la
mano, si es que la ropa no huele ya ha
quemado) o cul es esa temperatura. Hasta
aqu no hay problema. Pero como humanos
que somos, no nos quedamos contentos con
eso. Para no estar tan pendientes de que si
la plancha est muy caliente o no, es mejor
tener una que automticamente baje su
temperatura cuando sta se est elevando
demasiado y la eleve cuando baja ms de lo necesario. Aqu la situacin cambia. Ahora
necesitamos precisar lo que antes era obvio para nosotros y traducirlo de alguna forma
en un lenguaje en que la plancha nos entienda. Es aqu donde se hace imprescindible
el uso de las ciencias formales (la lgica y la matemtica) y naturales. Parece un tanto
extrao que se deba recurrir a una ciencia formal como la lgica, pero lo cierto es que las

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 9

UNIVERSIDAD CSAR VALLEJO - PIURA


instrucciones se dan naturalmente en su lenguaje. Si no conocemos ese lenguaje, no
podremos conseguir nuestro objetivo. Claro que an queda otro camino: esperar que
otro lo haga y luego comprrsela. Esa ha sido, en general, la tendencia de nuestro pas.
Si queremos cambiar y generar nuestra propia tecnologa, el estudio de la lgica, entre
otras ciencias, es fundamental.
Por supuesto que para lograr lo anterior se requiere de una lgica ms potente que la
lgica proposicional, que es la que se expone en este mdulo. Pero aunque ya de por s
sta nos permite comprender los procesos informticos en los que tiene aplicacin, su
estudio nos facilita la comprensin de lgicas ms avanzadas, como la lgica borrosa por
ejemplo, y nos proporciona ideas para la generalizacin de conceptos y tcnicas a esas
lgicas.
Y todo este emocionante viaje empieza aqu, con la lgica proposicional.
1.1

La lgica como ciencia


Si reparamos en las ciencias que la humanidad ha creado y cultivado,
advertimos que presentan cinco caractersticas invariables:

CIENCIA
Conjunto Ordenado y Sistematizado de
Conocimientos
Conocimientos de Validez Universal
Objeto Propio de Estudio
Mtodo de Estudio
Leyes Propias
Figura 1.1 Caractersticas de una ciencia

Aunque pueden interrelacionarse, lo que distingue a una ciencia de otra (lo que
me permite decir: yo soy matemtico y t abogado) es bsicamente el objeto de
estudio. Basndose en este criterio, Mario Bunge [Bu] clasifica a las ciencias en dos
grandes grupos: Fcticas (su objeto de estudio est en la realidad fsica o social) y
Formales (cuyo objeto de estudio es ideal o abstracto)

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 10

UNIVERSIDAD CSAR VALLEJO - PIURA

CIENCIAS
FORMALES

CIENCIAS
NATURALES
CIENCIAS
FCTICAS

CIENCIAS
SOCIALES

O
B
J
E
T
O
D
E
E
S
T
U
D
I
O

Entes Ideales
(Matemticas, Lgica)

Fenmenos Naturales
(Fsica, Qumica, Geologa,)

Fenmenos Sociales
(Sociologa, Derecho,)

Figura 1.2. Clasificacin de las ciencias segn su objeto de estudio

De lo anterior, podemos decir que la lgica es una ciencia formal, cuyo objeto de
estudio son los mtodos y los principios usados para determinar la validez o
1
invalidez de los argumentos .

1.2

La lgica proposicional
La lgica proposicional es una rama de la lgica clsica que estudia las
proposiciones, sus posibles valores de verdad y en el caso ideal, su nivel absoluto
de verdad.
Definicin 1.1
Enunciado
Es toda frase u oracin.
Ejemplo 1.1
(a) Lima es la capital del Per
(b) El doble de 3 es 5
(c) Qu hora es?
(d) Auxilio!
(e) x 2 7
(f)

x2 2

Dentro de los enunciados podemos distinguir los siguientes tipos


Definicin 1.2
Enunciado abierto
2
Es aquel enunciado que presenta variables y que en s mismo no es ni
verdadero ni falso, pero que al asignarle un valor a aquellas, resulta ser verdadero o
falso, pero no ambos. Se abrevia por E.A.

ARGUMENTOS: representaciones mentales que relacionan conceptos y juicios (premisas) de


modo que permiten derivar otros juicios (conclusiones).
2

El trmino variable abarca los pronombres en tercera persona (l,ella,ellos,ellas)(*)

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 11

UNIVERSIDAD CSAR VALLEJO - PIURA


Otra forma de caracterizar a los enunciados abiertos es considerarlos como
aquellos enunciados que admiten la posibilidad de convertirse en una proposicin
(en el sentido de la definicin 1.4) cuando cada variable asume un valor
determinado. sa es la razn por la que tambin se conocen como funciones
proposicionales.
Un enunciado ser verdadero (o falso) si lo que afirma coincide (o no) con la
realidad.
Ejemplo 1.2
(a) l se fue a Lima
Es un E.A pues no se se indica quin es l. En este caso, el pronombre l
acta como variable. Si por ejemplo, hacemos que l se refiera a Luis, el
enunciado sera Luis se fue a Lima, enunciado del cual se puede hablar de
que sea verdadero o falso dependiendo si Luis se ha ido a Lima o no
(b) x 2y 7
Es un E.A pues si x 2 y y 3 el enunciado se convierte en la proposicin

2 2 3 7 la cual es, en los nmeros reales, falsa


Definicin 1.3
Enunciado cerrado
3
Es toda definicin , por lo que su valor de verdad es siempre verdadero, pues as
se ha convenido. Se admiten tambin como enunciados cerrados a aquellos
enunciados cuya verdad se aceptan sin demostracin.
Ejemplo 1.3
(a) El seno de un ngulo agudo es el cociente entre el cateto opuesto y la
hipotenusa..
Enunciado cerrado.
(b) El tringulo no es un polgono de tres lados.
No es un enunciado cerrado por dos razones: No es una definicin y no es
una proposicin simple.
(c) El tringulo es un polgono de tres lados
Enunciado cerrado. Se trata de la definicin de tringulo.
Definicin 1.4
Proposicin
Es el significado de un enunciado que tenga la propiedad de ser verdadero o
falso, pero no ambas.
Ejemplo 1.4
(a) Todos los peruanos son demcratas
Es una proposicin universal (debido al artculo todos) y afirmativa (el verbo
est afirmado).
(b) Algunos osos comen carne

Recuerde que una definicin siempre tiene sentido positivo, es decir, siempre es de la forma: El
objeto tal es , no de la forma El objeto tal no es

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 12

UNIVERSIDAD CSAR VALLEJO - PIURA


Es una proposicin particular (artculo algunos) y afirmativa (el oso panda es
hervboro).
(c) Miguel Grau muri en el combate de Abtao
Es una proposicin singular (Miguel Grau es nombre propio) y afirmativa.
(d) Io es una satlite de Jpiter
Es una proposicin singular y afirmativa.
(e) La Luna no es un planeta
Proposicin singular (la Luna es el nombre del satlite terrestre. Aqu la no
funciona como artculo) y negativa.
(f) El 28 de Julio de 1821 se proclam la independencia del Per
Proposicin singular (se refiere slo al 28 de julio de 1821 y no a otro 28 de
julio) y afirmativa.
(g) Los mamferos no son vertebrados
Proposicin universal (artculo definido los) y negativa.
Especficamente hablando, no se consideran como proposiciones a los deseos,
dudas, interjecciones, preguntas, pedidos, splicas, rdenes, las doxas o
enunciados de opinin o valoracin (por ejemplo, los mejores jugadores son de la
4
UCV), los enunciados que usan personajes ficticios (por ejemplo, Romeo se
suicid por Julieta), los refranes, los proverbios, los enunciados abiertos, las
pseudoproposiciones (oraciones declarativas sin sentido), las descripciones
definidas, las supersticiones, mitos y los filosofemas o enunciados filosficos. El
porqu de estas exclusiones debe quedar claro al tener en cuenta la funcin del
lenguaje que predomina en ellos. De la definicin 1.3, todo enunciado cerrado es
una proposicin simple, con valor de verdad siempre verdadero, pero no lo
recprocamente.
Ejemplo 1.5
(a) La Virgen de la Puerta es milagrosa
A pesar de ser una oracin declarativa, es slo un enunciado
(b) El ro suena cuando piedras trae
Es un enunciado (refrn)
(c) El gato negro trae mala suerte
Enunciado (Supersticin)
(d) Qu es la lgica?
Enunciado. Es una pregunta.
(e) Debemos honrar a nuestros hroes.
Enunciado. Segn el contexto, puede ser una oracin imperativa o
exhortativa.

No as los enunciados que se refieren a personajes ficticios desde el punto de vista real. Por
ejemplo: Romeo es un personaje de una obra literaria o los duendes son personajes ficticios.
stas son proposiciones.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 13

UNIVERSIDAD CSAR VALLEJO - PIURA


(f) Sea en hora buena
Enunciado. Oracin desiderativa
En el lenguaje comn, las oraciones se combinan para formar otras ms
complejas. Es natural esperar que lo mismo ocurra con las proposiciones. Para
realizar estas combinaciones, definimos lo siguiente.
Definicin 1.5
Trminos de enlace o conectores
Son aquellos trminos que sirven para enlazar una o ms proposiciones y as
formar otras ms complejas.
Bsicamente son 7 los conectores empleados. En la siguiente tabla aparecen
sus nombres y la forma ms pura como aparecen en el lenguaje.

1.
2.
3.
4.
5.
6.
7.

NOMBRE
El Negador
El Conjuntor
El Disyuntor incluyente
El Disyuntor excluyente
El Implicador
El Replicador
El Biimplicador

FORMA BSICA
no
...y
o
oo
sientonces
si
si y slo si

Tabla 1.1. Tipos de Conectores o Trminos de Enlace

Obviamente, dada la diversidad de nuestro lenguaje, hay varios sinnimos para


los conectores mostrados en la tabla 1.1. Las tablas 1.2 a 1.8 muestran algunos
sinnimos empleados para referirse a cada uno de stos. P y Q son proposiciones.

Negadores Internos

No P
Nunca P

Jams P
Tampoco P
Negadores Externos

Es absurdo que P
Es inconcebible que
P
Es innegable que no
P
No es el caso que P
Es imposible que P
Es mentira que P
Es incorrecto que P

De ninguna forma se da P
Es incierto que P
No es inobjetable que P
En modo alguno P
No ocurre que P
No es innegable que P
Es refutable P
Es negable que P

Es inadmisible que
P
No acaece que P
No acontece que
P.
Es sofisma que P
No es verdad que
P
Es errneo que P

Tabla 1.2. Sinnimos del Negador

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 14

UNIVERSIDAD CSAR VALLEJO - PIURA

El Conjuntor

PyQ
P incluso Q
P pero Q
P aunque Q
P al igual que Q
P tal como Q
P tanto que Q
Cierto que P lo
mismo que Q
Simultneamente P
con Q
P ms an Q
Siempre ambos P
con Q

P tambin Q
P as como Q
P vemos que tambin
Q
P al mismo tiempo que
Q
P sin embargo Q
P es compatible con Q
P an cuando Q
Sin que P tampoco Q
P adems Q
P igualmente Q
Tanto P como cuanto Q

P al mismo modo Q
P de la misma
manera Q
P no obstante Q
P sino Q
No slo P sino
tambin Q
P asimismo Q
P a pesar de que Q
P a la vez que Q
P an cuando Q
P a la par que Q

Tabla 1.3. Sinnimos del Conjuntor

El Disyuntor Incluyente

PoQ
P a menos que Q
A menos que P, Q
P salvo que Q
P y bien, o tambin
Q
P ya bien Q
P, de lo contrario
tambin Q

P o tambin Q
P a no ser Q
P o sino Q
P o en todo caso Q
P y/o Q
P a no ser que Q
O P o Q o ambos

P excepto que Q
P o incluso Q
P o a la vez Q
En sentido incluyente
P alternativamente
Q
P o bien Q
Como mnimo P o
Q

Tabla 1.4. Sinnimos del Disyuntor incluyente

El Disyuntor Excluyente

oPoQ
o bien P o bien Q
P o Q (en sentidos
excluyentes)
P o solamente Q
P o nicamente Q
P
salvo
que
unicamente Q

P o slo Q
P
a
menos
que
solamente Q
P no es equivalente a
Q
No es equivalente P
con Q
P no biimplica a Q

En sentido excluyente
P excepto que solo
Q
P a menos que solo
Q
P salvo Q
P alternativamente
Q
P
o
bien
necesariamente Q

Tabla 1.5. Sinnimos del Disyuntor Excluyente

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 15

UNIVERSIDAD CSAR VALLEJO - PIURA

El Implicador

Si P entonces Q
Siempre que P por
consiguiente Q
Ya que P bien se ve
que Q
Con tal P es obvio
que Q
Cuando P as pues
Q
Toda vez que P es
consecuente Q
Excepto que P, Q
Para P es condicin
necesaria Q

En cuanto P por tanto Q


Cada
vez
que
P
consiguientemente Q
Ya que P es evidente Q
De P derivamos Q
P implica Q
Si P, Q
Dado P por eso Q
Como quiera que P por
lo cual Q
P es condicin suficiente
para Q
P impone a Q

Cuando P, Q
Como P, Q
De P, Q
Suponiendo que P,
Q
P slo si Q
Slo P si Q
P
es
condicin
suficiente de Q
Una
condicin
necesaria para P es
Q
En el caso de que P
en tal sentido Q

Tabla 1.6. Sinnimos del Implicador

El Replicador

Slo si P, Q
P si Q
P porque Q
P siempre que Q
Es
condicin
necesaria P para
Q
No P a menos
que Q

P para Q
Para P es suficiente Q
P puesto que Q
P dado que Q
P supone que Q
P es suficiente para Q
P en tanto Q

P pues Q
P en vista de Q
P como Q
P por cuanto Q
P debido a que Q
P cada vez que Q
P en razn de Q

Tabla 1.7. Sinnimos del Replicador

El Biimplicador

P si y slo si Q
P siempre y
cuando Q
P
se
define
lgicamente
como Q

P es igual que Q
P es idntica a Q
P
es
condicin
necesaria y suficiente
para Q
P es equivalente a Q
Slo si P entonces Q

P siempre que y
slo cuando Q
P porque y slo
porque Q
P entonces y slo
entonces Q

Tabla 1.8. Sinnimos del Biimplicador

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 16

UNIVERSIDAD CSAR VALLEJO - PIURA

Definicin 1.6
Proposiciones Simples y Compuestas
Una proposicin es simple o atmica si no tiene conectivos lgicos en su
estructura. Si los presenta, se denomina compuesta o molecular.
El siguiente grfico muestra las relaciones entre enunciado, enunciado abierto ,
enunciado cerrado y proposicin.

ENUNCIADO
ENUNCIADO
ABIERTO
PROPOSICIN
PROPOSICIN
SIMPLE

PROPOSICIN
COMPUESTA

ENUNCIADO
CERRADO

Figura 1.3. Relacin entre enunciado, enunciado abierto, enunciado


cerrado y proposicin

Las proposiciones simples pueden ser:


a) Predicativas
Si al sujeto se le atribuye una cualidad o descripcin, es decir, se afirma una
caracterstica respecto a l.
b) Relacionales
Establecen una relacin entre dos o ms sujetos que tienen una misma
categora gramatical. Al sujeto se le compara con otro mediante trminos
relacionales
La siguiente tabla muestra algunos trminos relacionales.
TRMINOS RELACIONALES
Igual

Vecino de

Amigo de

Siams

Semejante a

Amar

Juntos

Compadre de

Contemporneo de

Compaero de

Similar a

Hermano de

Gemelo de

Correligionario de

Camarada de

Tio de

Mayor que

Menor que

Colega de

Sobrino de

Interrelacionados

Mellizo de

Unidos

Ms que

Tabla 1.9. Algunos trminos relacionales

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 17

UNIVERSIDAD CSAR VALLEJO - PIURA


Ejemplo 1.6
(a) Lima es la capital del Per.
Proposicin simple predicativa
(b) El Per es ms rico que Bolivia
Proposicin simple relacional (Relacin comercial)
(c) Los felinos son ms carnvoros que los primates.
Relacin simple relacional (Relacin alimenticia)
(d) Vallejo fue contemporneo de Maritegui.
Relacin simple relacional (Relacin temporal)
(e) Ica est al sur de Lambayeque.
Relacin simple relacional (Relacin espacial)
(f) Rebeca y Jos obsequian una bicicleta a su sobrino.
Relacin simple relacional (ambos le han obsequiado)
(g) Juan y Sara se aman.
Relacin simple relacional

(Relacin afectiva)

A su vez, las proposiciones compuestas se clasifican en:


a) Negativas
Si tienen al conector mondico no. Decimos mondico pues slo necesita de
una proposicin para ser una expresin bien formada. Pueden ser:
a.1 Simples
Si presenta negador interno, es decir, la negacin va en el verbo. (ver tabla
1.2)
a.2 Compleja
Si tiene negador externo, es decir, la negacin va al inicio de una
proposicin simple o compuesta. Se construye con sinnimos de no (ver
tabla 1.2)
a.3 Por prefijo
Si el trmino predicado va antecedido por un prefijo que indica negacin
La siguiente tabla muestra los prefijos que indican negacin
Prefijo

Ejemplo

apoltico

des

desarreglar

dis

disconforme

(p) seudo

(p) seudoprofeta

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 18

UNIVERSIDAD CSAR VALLEJO - PIURA


i
in
im

injusto
ilgico

Tabla 1.10. Prefijos que indican negacin

Ejemplo 1.7
(a) Los felinos no son herbvoros
Es una proposicin compuesta negativa simple. Negador interno no.
(b) Es mentira que en el Per hay democracia.
Es una proposicin compuesta negativa compleja. Negador externo Es
mentira que.
(c) Es absurdo que Juan sea amigo de Luis
Es una proposicin compuesta negativa compleja. Negador externo Es
mentira que.
(d) Alejandro es un amoral
Es una proposicin compuesta negativa por prefijo. Prefijo que indica
negacin amoral.
(e) Este libro est desactualizado
Es una proposicin compuesta negativa por prefijo. Prefijo que indica
negacin desactualizado.

b) Conjuntivas
Si tienen el conector didico y. Didico pues necesita de dos proposiciones
para tener sentido.
Las comas ( , ) y los puntos seguidos ( . ) significan muchas veces una
conjuncin.
Ejemplo 1.8
(a) Aravis es mdico y Juan es abogado
Es una proposicin compuesta conjuntiva.
(b) Per y Brasil son pases sudamericanos.
Es una proposicin compuesta conjuntiva. La oracin puede ser reescrita
como: Per es un pas sudamericano y Brasil es pas sudamericano.
Observa la redundancia.
(c) Los mamferos y los reptiles son vertebrados y hervboros
Es una proposicin compuesta conjuntiva. La oracin puede ser reescrita
como: Los mamferos son vertebrados y los mamferos son herbvoros y los
reptiles son vertebrados y los reptiles son herbvoros . Nota la gran
redundancia que existe. No obstante, ste es el realmente el significado de la
oracin. Cabe resaltar que hay en realidad cuatro proposiciones simples.
(d) Vallejo fue escritor, poeta y revolucionario.
Es una proposicin compuesta conjuntiva. La oracin puede ser reescrita
como Vallejo fue escritor y Vallejo fue poeta y Vallejo fue revolucionario

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 19

UNIVERSIDAD CSAR VALLEJO - PIURA

(e) Los claveles y los pjaros son flores y animales respectivamente.


Es una proposicin compuesta conjuntiva. Puede ser reescrita como Los
claveles son flores y los pjaros son animales
c) Disyuntivas incluyentes o dbiles
Si tienen el conector didico o en sentido incluyente, esto es, cuando
ambas proposiciones pueden ser ciertas a la vez, es decir, al menos una es
cierta. Se clasifican en:
Las comas ( , ) a veces significan disyuncin. El contexto aclarar si se trata
de una conjuncin o de una disyuncin.
Ejemplo 1.9
(a) La ingeniera es una ciencia o la medicina es un arte.
Es una proposicin compuesta disyuntiva incluyente.
(b) La matemtica o la biologa son ciencias exactas.
Es una proposicin compuesta disyuntiva incluyente. La oracin puede ser
reescrita como: La matemtica es una ciencia exacta o la biologa es una
ciencia exacta.
(c) Los hongos son causantes de enfermedades o ayudan en el metabolismo.
Es una proposicin compuesta disyuntiva incluyente. Se puede reescribir
como: Los hongos son causantes de enfermedades o los hongos ayudan en
el metabolismo
(d) Los peruanos o los ecuatorianos son pacifistas o buscan el desarrollo.
Es una proposicin compuesta disyuntiva incluyente. Al reescribirla como:
Los peruanos son pacifistas o los ecuatorianos son pacifistas o los peruanos
buscan el desarrollo o los ecuatorianos buscan el dearrollo. Se observa que
hay en realidad cuatro proposiciones simples.

d) Disyuntivas excluyentes o fuertes


Si tienen el conector didico o en sentido excluyente, es decir, cuando
ambas proposiciones no pueden ser ciertas al mismo tiempo. Pueden ser
reconocidas por las siguientes caractersticas:
d.1 Por su forma
Se presentan los siguientes casos:
d.1.1 La forma
oo
Esta forma incluye el caso cuando la segunda o es reemplazada por
un sinnimo de la o inclusiva, es decir, con alguno de los sinnimos
de la tabla 1.5.(ejemplos 1.9 (a) y 1.9 (c))
d.1.2 La forma
o + trmino modificador
Algunos trminos modificadores son slo, nicamente, solamente,
exclusivamente, prioritariamente, (ejemplo 1.9 (b))

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 20

UNIVERSIDAD CSAR VALLEJO - PIURA

d.2 Por su contenido


Si las proposiciones no pueden ser verdaderas a la vez (ejemplo 1.9 (d))
Ejemplo 1.10
(a) O la ingeniera es una ciencia o es una tcnica.
(b) David es ingeniero o nicamente es poltico.
(c) Marleny es actriz salvo que solamente sea mdico.
(d) Per est en Amrica o Europa.
5

e) Implicativas o proposiciones hipotticas


Si tienen el conector didico sientonces. La proposiciones entre estos
trminos reciben nombres especiales.

Si

Antecedente
Razn Suficiente
Condicin Suficiente
Proposicin Condicionadora
Prtasis

entonces

Consecuente
Razn Necesaria
Condicin Necesaria
Proposicin Condicionada
Apdosis

Observemos ahora el siguiente ejemplo:


Ejemplo 1.11
(a) Si todos los hombres son mortales y Scrates es hombre, entonces Scrates
es mortal.
(b) Si Kai es soltero, entonces no est casado.
(c) Si coloco en un cido papel de tornasol azul, entonces el papel de tornasol se
volver rojo.
(d) Si nuestro equipo pierde el partido, entonces te entrego mil soles.
Existen otros trminos lingusticos para representar a la proposicin implicativa.
Veamos el siguiente ejemplo:
Ejemplo 1.12
(a) Porque la oferta aumenta, por eso los precios disminuyen.
(b) La demanda aumenta nicamente porque los precios aumentan.
(c) Es suficiente construir la democracia para respetar la constitucin.
(d) Condicin necesaria para construir la democracia es respetar la constitucin
f) Replicativas
Si tienen el conector didico si. La proposiciones a ambos lados del si
reciben nombres anlogos a los de las implicativas.
Consecuente
Razn Necesaria
Condicin Necesaria

si

Antecedente
Razn Suficiente
Condicin Suficiente

Ejemplo 1.13
Las siguientes proposiciones son replicativas

Algunos autores las llaman condicionales para distinguirlas de aquellas, a las que denominan
implicativas, donde el antecedente se relaciona lgicamente con el consecuente. A stas estamos
llamando argumentos.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 21

UNIVERSIDAD CSAR VALLEJO - PIURA


(a)
(b)
(c)
(d)

No hay tuberculosis, puesto que no hay infeccin de bacilos.


Para matricularse es suficiente tener dinero.
Es necesario matricularse para tener dinero.
Condicin suficiente para matricularse es tener dinero.

g) Biimplicativas
Si tienen el conector didico si y slo si. Se pueden usar los sinnimos de
la tabla 1.8. Tambin se consideran biimplicativas las proposiciones de la forma
Para es condicin necesaria y suficiente
Ejemplo 1.14
(a) Para ser profesional es suficiente y necesario ser buen estudiante.
Proposicin compuesta biimplicativa

La siguiente figura resume los tipos de proposiciones simples y compuestas que


aparecen en nuestro lenguaje.

Predicativas
Simples
Relacionales
Negativas
Conjuntivas
Disyuntivas
Incluyentes
Disyuntivas
Excluyentes
Compuestas

Implicativas
Replicativas
Biimplicativas

Figura 1.4. Tipos de Proposiciones

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 22

UNIVERSIDAD CSAR VALLEJO - PIURA

19/01/2012

TALLER DE EJERCICIOS
Subttulo

1.

Clasifica los siguientes enunciados. Para aquellos que sean proposiciones, indica su
valor de verdad.
1.1. El almanaque Bristol es una publicacin anual.
1.2. El Per es un pas austral y occidental.
1.3. Recoge ese lpiz
1.4. x y 5
1.5.
1.6.
1.7.
1.8.
1.9.

25 6
Hola que tal

x2 1 10
Scrates naci en Atenas
x 2 5y , para y 2 .

1.10. x 2 5 , para x 2 .
2
2
1.11. Sen x Cos x 1
1.12.
1.13.
1.14.
1.15.
1.16.
1.17.
1.18.
1.19.
1.20.
1.21.
1.22.
1.23.
1.24.
1.25.
1.26.
1.27.
1.28.
1.29.
1.30.
2.

x 3 9 , si x 5
x y z , si x 3, y 4
La raz cuadrada de -1 es un nmero imaginario.
Cuzco es una ciudad arqueolgica.
El smbolo del oro es Au
x 2 y 2 5 es la ecuacin de una circunferencia de radio 5.
Marte es el dios de la guerra.
Romeo am a Julieta.
Segn la mitologa griega, Breas es el dios del viento del Norte.
Vete a comprar pan
Centauro es una constelacin austral.
Atardece.
Carlos Marx es autor de la Iliada.
7 es nmero primo.
Cristbal Coln conquist el Per
Anochece
Hace mucho calor!
La radio es un medio de informacin.
La matemtica es una ciencia.

Clasifica las siguientes proposiciones, si lo fuesen, en simples o moleculares


2.1. Fobos es un satlite de Marte.
2.2. Andrmeda y la Va Lctea son galaxias.
2.3. Julio C. Tello descubri el Seor de Sipn.
2.4. Los dos grandes aportes de los romanos fueron el derecho y el cristianismo.
2.5. Los videos no son pruebas judiciales.
2.6. Si se calientan las aguas de la costa central y meridional entonces se
producir el fenmeno del Nio.
2.7. La filosofa es una forma de pensamiento propio del hombre.
2.8. Tarapoto pertenece a Loreto.
2.9. El cerebro y el corazn son rganos vitales
2.10. Irn y Libia elevan el precio del petrleo.
2.11. Londres es la capital de Inglaterra.
2.12. Juan y Mara sern elegidos miembros de la asamblea.
2.13. No es cierto que Amanda sea economista.
2.14. Si hace fro entonces nos enfermamos
2.15. La uretra no se extiende desde la vejiga al exterior del organismo.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 23

UNIVERSIDAD CSAR VALLEJO - PIURA


2.16.
2.17.
2.18.
2.19.
2.20.

Los riones son los mayores rganos excretores del cuerpo.


La uretra es ms larga en los hombres que en las mujeres.
Las nebrinas son unos tubos microscpicos que filtran la sangre.
Cada rin est compuesto de millones de nebrinas.
El trmino honrado es igual a honesto.

3.

Indica cules de los siguientes enunciados son proposiciones simples predicativas o


relacionales
3.1. Los tomos tienen ncleo.
3.2. La Tierra gira sobre su eje.
3.3. Los sapos son peces.
3.4. La Luna es un planeta.
3.5. Es falso que el lobo sea animal.
3.6. Los vertebrados son mamferos a no ser que sean cuadrpedos.
3.7. Can fue filicida y Edipo parricida.
3.8. El hombre perdurar en este mundo.
3.9. Scrates o Platn escribieron los Dilogos.
3.10. Scrates fue maestro de Aristteles.
3.11. Per tiene la mayor tasa de analfabetos en Latinoamrica.
3.12. Mncora es un balneario que pertenece al departamento de Piura.
3.13. Piura est al sur de Tumbes.
3.14. Piura es un departamento rico en fosfatos.
3.15. Huanca y Hueso, ambos fueron perros de Simn Robles.
3.16. 5x 8x 12 , donde x 4 .
3.17. El dios Osiris representa al Sol.
3.18. La hormona vasoperina sube la presin arterial.
3.19. Pedro naci en Lima
3.20. Piura est al noroeste de Iquitos

4.

Indica cules de los siguientes enunciados son proposiciones negativas


4.1.
4.2.
4.3.
4.4.
4.5.
4.6.
4.7.
4.8.
4.9.
4.10.
4.11.
4.12.
4.13.
4.14.
4.15.

5.

No ocurre que haga fro, o el viento es caliente.


No ir al cine o no vendrs a la casa.
El 10101 nunca ser divisible por 2.
Juan y Carlos no son condiscpulos
Rubn y Lus son inmorales
No se da el caso que estudias medicina e ingeniera
Carlos no fue a trabajar y no visit a Maria.
Es falso que, Carlos fue a trabajar y visit a Maria.
No es cierto que, Carlos trabaja, y Mara estudia.
Si Carlos fue a trabajar entonces no visit a Mara.
De ninguna forma, Pedro es matemtico
No ocurre que 2 1.73 .
Juan es menor que Pablo, no obstante 2 8
No slo los gases son invisibles sino tambin inodoros.
Es sofisma que, el latn es un metal.

Indica cules de los siguientes enunciados son proposiciones conjuntivas


A

5.1.
5.2.
5.3.
5.4.
5.5.
5.6.
5.7.
5.8.
5.9.

es una potencia par, n ; pero 3 es una potencia impar, n .


Javier no es piadoso ya que no paga sus deudas.
Slo si la Luna se ve blanca, retiene la luz solar.
Alfonso Ugarte ni corri ni se entrego frente al enemigo del sur.
Carlos tiene vocacin de filsofo aunque no aprecie a los pensadores griegos.
Maria ama a Juan empero Juan ama a Rosa.
Tritn es satlite del planeta Neptuno.
Derecho, Hotelera e Ingeniera son algunas escuelas de la UCV Piura.
Jos Santos Chocano naci en Lima el 14 de mayo de 1875 y muri en
Santiago de Chile el 13 de diciembre de 1934.
x

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 24

UNIVERSIDAD CSAR VALLEJO - PIURA


5.10.
5.11.
5.12.
5.13.
5.14.
5.15.

6.

De ninguna manera se firmar el TLC con Estados Unidos.


No es cierto que gare y que luego llueva.
Juan es menor que Jorge sin embargo Jorge es mayor que Lus.
Julio Csar y Marco Antonio fueron contemporneos.
Platn y Aristteles fueron discpulos de Scrates.
Los montes Urales separan Europa de Asia pero frica se separa de Asia
por el canal de Suez.

Indica cules de las siguientes enunciados son proposiciones disyuntivas


incluyentes
6.1. Estudio pero no aprendo
6.2. Carlos o Juan pero no ambos
6.3. Hace fro ya que llueve
6.4. No es posible que cante o baile
6.5. Juan estudia o trabaja.
6.6. En los anfibios, el padre y la madre custodian los huevos.
6.7. Los anfibios son vivparos u ovparos
6.8. Los animales son vertebrados o invertebrados.
6.9. Los carnvoros son omnvoros o slo herbvoros.
6.10. La sal de mesa o cloruro de sodio.

7.

Indica cules de las siguientes enunciados son proposiciones disyuntivas


excluyentes
7.1.
7.2.
7.3.
7.4.
7.5.

8.

Indica cules de las siguientes enunciados son proposiciones implicativas


8.1.
8.2.
8.3.
8.4.
8.5.
8.6.
8.7.

9.

Lus es futbolista o tenista.


La ventana del aula es triangular o cuadrangular.
Ingresarn a la UCV los que aprueben el examen de ingreso o nicamente
los que estn exonerados de l.
Recibirs el dinero o la casa pero no ambas cosas.
Javier es futbolista o voleybolista

Ir a Cajamarca slo si salgo de vacaciones.


Si la aritmtica es consistente, la geometra tambin lo es.
El hoyo de la capa de ozono seguir creciendo si seguimos contaminando
nuestro medio ambiente.
La contaminacin favoreci la aparicin de seres complejos, pero es
perjudicial para la vida humana.
Las escuelas fueran creadas por Carlomagno para educar a los privilegiados.
Mara ser buena estudiante si no memoriza las preguntas.
Juan puede cursar Matemtica Aplicada a la Seguridad de Redes
Informticas slo si est en tercer curso de carrera.

Indica cules de las siguientes enunciados son proposiciones replicativas


9.1.
9.2.
9.3.
9.4.
9.5.

Si hay gasolina en el tanque, mi automvil funciona.


Mi automvil slo funciona si hay gasolina en el tanque.
Si hay gasolina en el tanque, es suficiente para que mi automvil funcione.
Para que el automvil funcione es necesario que haya gasolina en el tanque.
Qu haya gasolina en el tanque implica que mi auto funcione.

10. Indica cules de las siguientes enunciados son proposiciones biimplicativas


10.1.
10.2.
10.3.
10.4.
10.5.

Si hay anabolismo, hay catabolismo.


Slo si hay anabolismo, hay catabolismo.
Hay anabolismo si y slo si hay catabolismo.
Hay catabolismo siempre y cuando hay anabolismo
Hay anabolismo es equivalente decir a que hay catabolismo.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 25

UNIVERSIDAD CSAR VALLEJO - PIURA


10.6. Abel estudia siempre y cuando Luis trabaje
10.7. El que llueva es condicin suficiente para obtener buenas cosechas
10.8. Hace calor equivale a decir que aument la temperatura
10.9. Es aniversario patrio si y slo si es 28 de julio.
10.10. El que transpire es condicin necesaria de que camine.

1.

2.

Clasifica los siguientes enunciados. Para aquellos que sean proposiciones, indica su
valor de verdad.
1.1. Amanece.
1.2. l tiene mucha hambre.
1.3. Ama a t prjimo como a ti mismo.
1.4. El hijo de Carlos V.
1.5. El hijo primognito de Luis VIII
1.6. Las guilas de Amrica del Norte son carnvoras.
3
1.7. 9 .
1.8. Cuntos alumnos tiene la UCV filial Piura?
1.9. No puedo creer que campeone Alianza Lima!
1.10. El creador indiscutible de la lgica matemtica fue el ingls George Boole.
1.11. Romeo am a Julieta segn la obra literaria.
1.12. Ven ahora.
1.13. Nunca debo olvidar el ayer.
1.14. Maana la ver.
1.15. Maana es viernes.
1.16. El amor es hermoso.
1.17. Mi anhelo es ver al Per como un pas exportador.
1.18. El Per es un pas eminentemente agrario.
1.19. El actual presidente del Per
1.20. Ella ama a Lus
1.21. El caballero Carmelo
1.22. La esposa de Tpac Amar fue fusilada
1.23. Ojal regreses el prximo ao!
1.24.

a b

1.25.
1.26.
1.27.
1.28.
1.29.
1.30.

Hace fro.
Esta tiza es de color negro.
Alcnzame el libro de Historia.
l gan la maratn.
El hombre es inmortal.
Ella, Carmen, es comerciante

a2 2ab b2 .

Clasifica las siguientes proposiciones, si lo fuesen, en simples o moleculares


2.1.
2.2.
2.3.
2.4.
2.5.
2.6.
2.7.
2.8.
2.9.

El Per es un pas rico en petrleo y en minerales.


Si trabajas en las minas es obvio que tendrs mejor nivel de vida.
La economa ecuatoriana no est dolarizada.
Juan y Ral son socios.
Edgar y Alex son poetas.
El Huascarn es un nevado.
Yungay pertenece a Ancash.
Juan y Carlos no son condiscpulos
Harry Potter es un pequeo mago.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 26

UNIVERSIDAD CSAR VALLEJO - PIURA


2.10.
2.11.
2.12.
2.13.
2.14.
2.15.
2.16.
2.17.
2.18.

Garca Mrquez escribi cien aos de soledad.


Juan y Mara ambos sern elegidos miembros de la asamblea.
La boca es el acceso al tubo digestivo.
La dentadura es la encargada de triturar los alimentos.
La deglucin es el acto de tragar.
Dalila mat a Sansn.
Juan Velasco derroc a Belande.
Las capas de la tierra son tres: corteza, manto y ncleo.
El rgimen de los ros es variable y est condicionado por la escasez o la
abundancia de agua.
2.19. Los distintos climas de la tierra son: ecuatorial, tropical, desrtico, templado y
polar.
2.20. La agricultura es extensiva o intensiva.
3.

Indica cules de los siguientes enunciados son proposiciones simples predicativas o


relacionales
3.1. El bronquio derecho se divide en tres ramas.
3.2. La biologa es una ciencia prctica.
3.3. El aire entra a los pulmones y proporciona oxgeno a las clulas del
organismo.
3.4. Los hongos tienen pared celular o capilar.
3.5. El aire expulsado de los pulmones elimina el dixido de carbono del
organismo.
3.6. Los dos huesos ms delgados de la parte inferior de la pierna se conoce
como tibia y peron.
3.7. Los huesos fusionados del crneo encierran en su interior el encfalo.
3.8. La pared del intestino delgado tiene muchas proyecciones pequeas
llamadas vellosidades.
3.9. El hgado puede convertir glucosa en glucgeno.
3.10. Lima es una de las ciudades ms modernas de Amrica.
3.11. El estmago es la parte del sistema digestivo.
3.12. Bolivia est entre Brasil y Uruguay.
3.13. Simn Bolvar fue el hroe de Arica.
3.14. El agua y el aceite se mezclan.
3.15. 25 32 42
3.16. El agua se evapora por el calor.
3.17. 18 es un nmero par.
3.18. El carbono y el hidrgeno son elementos qumicos.
3.19. Grau y Bolognesi son hroes.
3.20. George Washington y Thomas Jefferson fueron presidentes de EE.UU
3.21. Vctor Ral Haya de la Torre y Oscar Benavides fueron antagonistas polticos.
3.22. Benito Mussolini y el Fascismo.
3.23. En 1936 Alemania y Japn firmaron un pacto anticomunista.
3.24. La Segunda Guerra Mundial la ganaron la URSS, Gran Bretaa, EE.UU. y
Francia.
3.25. El rea lateral de un cilindro de revolucin se obtiene multiplicando la
longitud de la circunferencia por la altura del cilindro.

4.

Indica cules de los siguientes enunciados son proposiciones negativas


4.1.
4.2.
4.3.
4.4.
4.5.
4.6.
4.7.
4.8.
4.9.
4.10.

No ocurre que, las aguas de la corriente peruana sean calientes


Es falso que, lo dicho por los polticos es verdad
Jos Evaristo es infiel
Indudablemente la ciencia es til a la sociedad
Absurdo es que 2 5
En forma alguna Deysi estudia Ingeniera.
Es mentira que 5 3
La mayora de buitres no tienen garras.
Es falso que los buitres tienen picos muy fuertes.
Es mentira que los buitres esperan que la putrefaccin ablande un cadver.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 27

UNIVERSIDAD CSAR VALLEJO - PIURA


4.11.
4.12.
4.13.
4.14.
4.15.

5.

Brasil no venci a Per en vley


No es cierto que Per venci a Brasil en vley
Per no venci a Brasil en vley
No es cierto que, Brasil venci a Per en vley.
El cilindro es una figura del espacio formado por lneas curvas asimismo por
lneas rectas.

Indica cules de los siguientes enunciados son proposiciones conjuntivas


5.1.

El avin es un medio de transporte seguro, aunque sus accidentes son


fatales.
5.2. El Per es libre y soberano para tomar sus decisiones
5.3. Andrs es callado, aunque divertido.
5.4. El len es animal acutico y/o mamfero.
5.5. El pez es acutico al igual que el elefante es terrestre.
5.6. No slo Coln es descubridor sino tambin Magallanes lo fue.
5.7. Marte es planeta a no ser que Jpiter tambin lo es.
5.8. El sistema inmunolgico utiliza mecanismos de defensa: la inmunidad innata
as como la inmunidad adquirida.
5.9. Si Jos mejora su economa, podr inscribirse al instituto.
5.10. Trabajo sin embargo estudio.
5.11. Viajar a Espaa si obtengo visa de estudio.
5.12. Termino la secundaria y postulo a la universidad
6.

Indica cules de las siguientes enunciados son proposiciones disyuntivas


incluyentes
6.1.
6.2.
6.3.
6.4.
6.5.

7.

Pedro es responsable a menos que Juan tambin lo sea.


Juan es responsable excepto que Pedro tambin lo sea.
Salvo que Pedro sea responsable, Juan, lo es.
Juan no es responsable o Pedro es responsable.
Pedro es responsable a la vez Juan no es responsable.

Indica cules de las siguientes enunciados son proposiciones disyuntivas


excluyentes
7.1.
7.2.
7.3.
7.4.
7.5.
7.6.

El libro de lgebra es voluminoso o interesante


Luis es alto o bajo
O aceptas el aumento o te vas del trabajo
Juan trabaja o estudia.
Juan trabaja o slo estudia.
El Huascarn se encuentra en la Cordillera Oriental de los Andes o se
encuentra en la Cordillera Occidental.
7.7. O bien la lactosa se encuentra en la leche o bien se encuentre en el vino.
7.8. Paty es casada o es soltera
7.9. El movimiento de rotacin de la tierra lo hace a 28 km por minuto o lo hace a
30 km por segundo
7.10. O el Per hace la guerra o Ecuador es pacifista
8.

Indica cules de las siguientes enunciados son proposiciones implicativas


8.1.
8.2.
8.3.
8.4.
8.5.
8.6.
8.7.
8.8.

Una condicin suficiente para que Julio visite Cuenca es que visite las Casas
Colgantes.
Si se estudia lgica, mejorar nuestra forma de razonar.
Slo si vas a la Iglesia, eres creyente
Un nmero es par si es divisible por 2
Una figura es un tringulo siempre que tenga exactamente 3 lados
El sol es 1 300 000 veces ms grande que la Tierra.
Cuando la Luna est en conjuncin, entonces
ocurre un eclipse de sol.
Estudiar en Ia Cepre Vallejo por lo tanto ingresar a la UCV.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 28

UNIVERSIDAD CSAR VALLEJO - PIURA

9.

Indica cules de las siguientes enunciados son proposiciones replicativas


9.1.
9.2.
9.3.
9.4.
9.5.
9.6.

Se prohbe usar celular en clase porque atenta contra la disciplina


Si el avestruz tiene mayor tamao pero es un ave, no vuela.
La pena de muerte est justificada porque se estn cometiendo atrocidades.
El cuadrado de 3 16.
Es imposible que 3 7 si 5 9 .
Luis es profesor y trabaja en la UCV.

10. Indica cules de las siguientes enunciados son proposiciones biimplicativas


10.11. Abel estudia siempre y cuando Luis trabaje
10.12. El que llueva es condicin suficiente para obtener buenas cosechas
10.13. Hace calor equivale a decir que aument la temperatura
10.14. Es aniversario patrio si y slo si es 28 de julio.
10.15. El que transpire es condicin necesaria de que camine.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 29

UNIVERSIDAD CSAR VALLEJO - PIURA

FORMALIZACIN PROPOSICIONAL
La matematica
es el desarrollo de todos
los tipos de razonamiento formal,
necesario y deductivo.

ALFRED NORTHWHITEHEAD
Introduccin
En esta seccin, aprenderemos a traducir un argumento expresado en palabras de
nuestro lenguaje a el lenguaje formal de la lgica.
Este enfoque no es nuevo. Desde que se descubrieron las estructuras del
pensamiento, el desarrollo de la ciencia ha experimentado un crecimiento notable.
Tmese el siguiente ejemplo:

La ley de la gravedad de Newton nos dice tambin que cuanto ms separados estn
los cuerpos menor ser la fuerza gravitatoria entre ellos. La ley de la gravedad de
Newton establece que la atraccin gravitatoria producida por una estrella a una cierta
distancia es exactamente la cuarta parte de la que producira una estrella similar a la
mitad de distancia. Esta ley predice con gran precisin las rbitas de la Tierra, la Luna y
6
los planetas.
Estas 77 palabras pueden ser resumidas en la siguiente expresin:
mm
F G 12 2
d
Obviamente, para poder entender sta ltima frmula, debemos conocer el lenguaje
formal en la que est planteada as como su contenido semntico. Pero la ventaja es que
esta frmula se entiende en cualquier idioma.

Tomado de Historia del Tiempo de S. Hawking

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 30

UNIVERSIDAD CSAR VALLEJO - PIURA


En este apartado, uniremos los conceptos de proposicin y conectivos lgicos con
sus homnimos formales.
Definicin 1.7
Formalizacin proposicional
Es el proceso mediante el cual se identifican proposiciones simples y estructuras
lgicas proposicionales, asignndoles un smbolo del lenguaje formal de la lgica
proposicional y organizndolos con los signos auxiliares de dicho lenguaje
La asignacin de la que habla la definicin anterior es la siguiente:
La relacin entre conectivos lgicos y conectores es la siguiente:

Nombre

Forma

Smbolos

Negador

no

Conjuntor

... y ...

Disyuntor
Incluyente

Disyuntor
Excluyente

o o

Implicador

si entonces

Replicador

porque

Biimplicador

si y slo si

&

Tabla 1.11. Conectivos lgicos y su significado semntico

Si al formalizar no queda claro cul es el conectivo dominante, se debe utilizar la


siguiente convencin:
,

Mayor jerarqua

Menor jerarqua

Figura 1.5. Jerarqua de conectivos lgicos

Veamos un ejemplo de formalizacin

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 31

UNIVERSIDAD CSAR VALLEJO - PIURA


Ejemplo 1.15
La Teora de la Comunicacin interviene en diversas ciencias del hombre y en la
tecnologa; ya que se debe a que haya sido propuesta para servir de campo
unificador de las ciencias sociales, ofreciendo a stas tanto un lenguaje como una
problemtica comn
Solucin:
Paso 1: Identificar las proposiciones simples y asignarles variables
La Teora de la Comunicacin interviene en diversas ciencias del hombre
p:

q:

La Teora de la Comunicacin interviene en la tecnologa

r:

La Teora de la Comunicacin ha sido propuesta para servir de campo


unificador de las ciencias sociales
La Teora de la Comunicacin ofrece a las ciencias sociales un lenguaje
comn
La Teora de la Comunicacin ofrece a las ciencias sociales una
problemtica comn

s:

t:

Paso 2: Identificar los conectivos lgicos presentes


La Teora de la Comunicacin interviene en diversas ciencias del hombre y en la
tecnologa; ya que se debe a que haya sido propuesta para servir de campo
unificador de las ciencias sociales , ofreciendo a stas tanto un lenguaje como una
problemtica comn
La forma es:
y ; ya que se debe a que , tanto como
Paso 3:

Escribir la frmula lgica correspondiente

p q r s t
1.3

Casos especiales de formalizacin


Como regla general, la formalizacin debe ser literal, es decir, tal y como est
escrito. No valen las equivalencias.
Hay casos especiales con los siguientes conectivos
1.3.1
El negador
La doble negacin de una proposicin simple la convierte en una compuesta.
Los negadores externos no necesitan de la presencia de una coma para
indicar a qu proposiciones afectan.
Las expresiones lingsticas de doble negacin (innegable, inobjetable, no es
inadmisible, no es mentira que,) se formalizan como tales.
Las expresiones con prefijos de negacin se formalizan.
Ejemplo 1.16
(a) Es mentira que Lucy no es profesora
p : Lucy es profesora
Formalizacin: p

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 32

UNIVERSIDAD CSAR VALLEJO - PIURA


Observa que Es mentira que es un negador externo. Dado que es
unario, cuando no hay confusin, se suelen obviar los parntesis. Segn esto,
lo anterior se escribe p
(b) No es falso que si Lus no compra un automvil entonces no podr ir a
Mncora adems no abrazar a su novia.
p : Luis compra un automvil

q : Luis va a Mncora
r:

Luis abrazar a su novia.

Formalizacin: p q r
Observa que el negador externo de doble negacin No es falso que se
formaliza como tal. Adems, como no hay signos de puntuacin en el interior
de la oracin, afecta a toda ella, por lo que es el conectivo dominante. Dado
que tiene mayor jerarqua que el , es el conectivo dominante dentro del
corchete.
(c) Es imposible que llueva hoy, ya que hace tiempo no hay sequa.
p : Llueve hoy

q : Hace tiempo que hay sequa


Formalizacin: p q
Observa que el negador externo Es imposible que afecta a toda la parte de
la oracin hasta antes de la coma.
(d) Es innegable que los vertebrados son reptiles
p : Los vertebrados son reptiles.
Formalizacin: p
(e) Ender es infeliz
p : Ender es feliz.
Formalizacin: p
1.3.2
El conjuntor
Cuando se usan comas y el ltimo conector es y , las comas se formalizan
como conjunciones.
Una excepcin a la regla anterior: Cuando una oracin usa trminos
relacionales, an cuando aparezca el trmino y, se formaliza como una
proposicin simple.
No se formaliza cuando la relacin es del tipo causal y temporal.
Ejemplo 1.17
(a) Pinino y Minily son amigos
p : Pinino y Minily son amigos
Formalizacin: p
(b) Leonardo Da Vinci fue ingeniero, escritor y pintor.
p : Leonardo Da Vinci fue ingeniero.

q : Leonardo Da Vinci fue escritor.


r:

Leonardo Da Vinci fue pintor.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 33

UNIVERSIDAD CSAR VALLEJO - PIURA


Formalizacin: p q r
1.3.3
El disyuntor
Cuando se usan comas y el ltimo conector es o , las comas se formalizan
como disyunciones.
Ejemplo 1.18
Leonardo Da Vinci fue ingeniero, escritor o pintor .
p : Leonardo Da Vinci fue ingeniero.

q : Leonardo Da Vinci fue escritor.


r:

Leonardo Da Vinci fue pintor.

Formalizacin: p q r

19/01/2012

TALLER DE EJERCICIOS
Subttulo

Realiza lo indicado:
1.

Formalizar el enunciado: El hgado es la glndula ms grande del cuerpo humano


adems depura la sangre.

2. Formalizar: Alguien, nadie, alguno, algo y cualquiera son pronombres indefinidos.


3. Formalizar: De que una figura geomtrica tenga cuatro lados iguales se deriva que
es un cuadrado o un rombo, pero si la figura geomtrica tiene cuatro lados iguales
as como cuatro ngulos rectos es obvio que es un cuadrado
4. La proposicin: Es absurdo que la caja torxica este formada por menos de 11
pares de costillas dado que stas se unen por delante al esternn. Se formaliza:
5. El siguiente esquema: r p q no es la formalizacin de:
(a) La sangre es un liquido de color rojo, puesto que no esta constituido por plasma
incluso por hemates.
(b) Los dientes caninos nunca tienen la corona aplanada sin embargo la tienen en
forma de pirmide cuadrangular por lo tanto su funcin es desgarrar los alimentos.
(c) Las neuronas jams son unidades funcionales del corazn aun cuando lo sean del
rin por lo tanto actan como un filtro.
(d) El 12 es numero par dado que no es divisible por 5 adems es un nmero
compuesto.
6.

Formalizar: El coseno y la secante juntas son razones inversas, a menos que su


producto no sea igual a uno.

7. Formalizar: La progresin geomtrica no es creciente si su razn esta entre 0 y 1,


salvo que su razn es mayor que 1, por consiguiente es creciente
8.

Formalizar la proposicin: Cuando el Per firme el tratado de libre comercio as


pues exportar sus productos al extranjero a pesar de que los congresistas se
oponen, excepto que exporte sus productos al extranjero.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 34

UNIVERSIDAD CSAR VALLEJO - PIURA


9. Formalizar: Dado que la magnitud que caracteriza al movimiento es la velocidad por
eso la cinemtica estudia al movimiento, adems hay movimiento rectilneo al igual
que circular
10. Formalizar: Si el agua pasa de estado lquido a slido entonces se solidifica,
asimismo si pasa de estado gaseoso a lquido implica que se condensa
11. Toda vez que un catin es un tomo que nunca ha perdido electrones, por
consiguiente posee un nmero de cargos positivas siempre y cuando el catin es un
tomo que ha perdido electrones. Hallar su frmula lgica.
12. Formalizar: Si la pendiente del ngulo de inclinacin de una recta es positiva, es
evidente que el ngulo es agudo debido a que si no es positiva, derivamos que el
ngulo es obtuso:
13. El siguiente esquema p q r es la formalizacin de:
(a) Hablas o callas en tu defensa, a pesar de que eres inocente.
(b) El ngulo es agudo u obtuso, o tambin el ngulo es recto.
(c) Viajas a Puno o Tumbes, al mismo tiempo que sales de vacaciones.
(d) La mesa es redonda o cuadrada, tanto que es de madera.
Dar como respuesta las inobjetablemente inciertas.
14. Formalizar: El dimetro de una circunferencia no es menor que cualquier cuerda
slo si mide dos radios igualmente el radio es la distancia del centro a cualquier
punto de la circunferencia
15. Formalizar la proposicin: Es inadmisible que la energa elica aprovecha la fuerza
del viento de la misma manera que la energa solar utiliza las radiaciones solares.
16. Formalizar: El transporte puede ser terrestre, martimo y areo, adems requiere de
infraestructura siempre que y slo cuando el gobierno se encargue de la
construccin y no del mantenimiento de la infraestructura.
17. Formalizar: Las hienas o los buitres se alimentan de presas muertas por eso los
necrfagos no contribuyen a la contaminacin del medio ambiente al igual que es
innegable que los buitres se alimenten de presas muertas.
18. Formalizar la proposicin: Los meteoritos son de composicin rocosa o metlica,
igualmente los cometas estn formados de polvo csmico .
19. Formalizar: Ral postula al pedaggico o a la UCV dado que se prepar en la
Cepre, pero ni postula al pedaggico ni a la UCV es evidente que no se prepar en
la Cepre.
20. Hallar la frmula de: La sacarosa y la lactosa son glcidos implica que los glucidos
contienen azcares, salvo que ni la sacarosa ni la lactosa son glcidos, por eso los
glucidos jams contienen azucares.
21. Formalizar: Ni el occipital ni el frontal son msculos del trax porque y solo porque
ambos son msculos cutneo del crneo.
22. Formalizar: El hueso calcneo y astrgalo juntos pertenecen al tarso del pie
23. Formalizar la proposicin El duodeno no forma parte del intestino grueso en vista
que pertenece al intestino delgado igualmente el yeyuno pertenece al intestino
delgado.
24. Formalizar el argumento: O Juan es arquitecto o Maria es enfermera; an cuando,
es absurdo que Maria sea enfermera.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 35

UNIVERSIDAD CSAR VALLEJO - PIURA


25. Formalizar: Si llegas temprano o tarde, de todas maneras no juegas y te vas a
entrenar. Si te vas a entrenar as pues tu madre se molestar.
26. Formalizar la proposicin: Si estudias en el colegio Harvard y en la Cepre Vallejo,
ingresars a la UCV. Pero si no estudias en el colegio Havard ni en la Cepre
Vallejo, no ingresars a la UCV. Por lo tanto ingresars a la UCV.
27. Formalizar el argumento: La Arena, la Unin y Sechura son el medio Piura, sin
embargo son zonas arrozeras.
28. Si te preparas a conciencia, sers un buen alumno; pero si no estudias y pierdes
tiempo, tus resultados sern malos. Hallar su frmula lgica
29. Si en el Per aumentan las exportaciones, por consiguiente aumentan los puestos
de trabajo. Sin embargo en el Per no aumentan las exportaciones. Se formaliza:
30. Simbolizar la proposicin: Gerardo no trabaja o slo se preocupa por su salario, a
menos que trabaja si gana ms de S/. 750 mensuales

Realiza lo indicado:
1.

Formalizar: Si Juan va al estadio, pierde tiempo y dinero. Si no va al estadio


entonces ir al cine. Por lo tanto pierde dinero.

2.

Simbolizar la siguiente proposicin: Cuando obtenga mi titulo pedaggico entonces


ingreso a la carrera magisterial, pero no ingreso a la carrera magisterial; en
consecuencia, no obtuve mi titulo pedaggico.

3.

Simbolizar la siguiente proposicin: Si los alumnos estudian y no hay paros, el ciclo


terminar en la fecha sealada y los alumnos podrn trabajar.

4.

Formalizar: Si el chofer estaba embriagado, entonces no es cierto que la empresa


controla a su personal o que lo somete a una cuidadosa seleccin.

5.

Dada la siguiente proposicin:


Piura no es una ciudad limpia ni ordenada,
porque sus habitantes no tienen cultura higinica adems la polica municipal no
colabora. Hallar su frmula lgica.

6.

Al formalizar: Si Luis obtiene buenas notas en


la Cepre Vallejo, entonces no es
cierto que alcanza una beca o se cambia a otra academia. Se obtiene una
proposicin molecular del tipo:

7.

Formalizar la siguiente proposicin: Si aumenta el caudal del ro Rmac, entonces,


Simbolizar: Es absurdo que los estudiantes son aplicados si y slo si se dedican a
estudiar, pero si no se dedican a estudiar en consecuencia no son aplicados.

8.

Formalizar la siguiente lectura: Aprendo una parte de la msica de Mozart ya que


estudio su msica. Por lo tanto, aprendo una parte importante de la msica clsica.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 36

UNIVERSIDAD CSAR VALLEJO - PIURA


9.

Formalizar la siguiente oracin: Si la gente no piensa en la crisis, entonces el


deporte la distrae. Si el ftbol es una distraccin de masas, entonces puede ser
propiciado por los beneficiados de la crisis.

10. Formalizar: Si Amanda contesta sta pregunta, ser una pregunta fcil; sin
embargo sta pregunta es fcil y engaosa dado que Amanda no la contest.
11. Formalizar: Es imposible que llueva hoy, ya que hace tiempo no hay
precipitaciones.
12. Formalizar: Si en Marte no hay agua, entonces no hay vida; en consecuencia, no
hay oxigeno ni agua.
13. Formalizar: No es falso que si Jorge no compra un yate entonces no podr ir a la
isla Galpagos adems no encontarar a su familia.
14. Formalizar: O bien Irn eleva el precio del petrleo y Egipto disminuye sus
aprovisionamientos o no es el caso que Jordania pida ms ayuda norteamericana y
Arabia Saudita compre otros quinientos aviones de guerra.
15. Formalizar: A menos que Chile convoque
latinoamericanos, Brasil protesta ante la ONU.

una

reunin

de

pases

16. Formaliza la proposicin: Jos es empresario de la misma manera que Mara es


secretaria.
17. Formalizar: En modo alguno Per clasifica al prximo mundial de ftbol.
18. Formalizar: O viajamos a Espaa a trabajar o no viajamos a Francia a pasear.
19. Formalizar: Es condicin suficiente que hace calor para ir a la playa. Aunque para ir
a la playa es condicin necesaria que necesitemos dinero
20. Formalizar: Luisa es hbil a menos que domina la computadora.
21. Formalizar la proposicin De ninguna forma se da que el gobierno de Caracas
interviene en otros pases americanos.
22. Formalizar la proposicin Para esperarte en el cine es condicin necesaria que
llegaremos tarde a cenar. Por eso te espero en el trabajo
23. Formalizar: Javier ni es responsable, ni es activo. En consecuencia Javier no
encuentra trabajo
24. Formalizar: No acontece que, llueve hoy slo si maana estar nublado.
25. Formalizar: Es absolutamente incierto que, si el dlar sube entonces los precios no
suben
26. Formalizar la proposicin Tanto los gobiernos de Chile como de Ecuador no acatan
los tratados internacionales
27. Dada la proposicin Los protones tiene carga elctrica
negativa, hallar su frmula lgica.

positiva

nicamente

28. Formalizar la proposicin La lgica no es una ciencia exacta es compatible que la


matemtica es una ciencia exacta

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 37

UNIVERSIDAD CSAR VALLEJO - PIURA


29. Formalizar: Es absurdo que, sea condicin necesaria que Bertha sea una
representante de ventas para que sea profesora universitaria a dedicacin
exclusiva
30. Formalizar: Una condicin necesaria para 7 3 10 es 5 x 2 10
31. Formalizar: Es absurdo que si ayer no fuimos a la biblioteca es obvio que no
conseguimos el libro de qumica
32. Formalizar la proposicin: No es verdad que, sea absurdo que, no acontece que
Mario estudia sistemas en la UCV.
33. Formalizar la siguiente proposicin: No es verdad que el xido no resulta de la
combinacin de un metal con el oxgeno, y no pertenece a las funciones qumicas
orgnicas.
34. Formalizar la proposicin: Un kilmetro no equivale a 1000 metros, no obstante si
voy muy rpido por la autopista implica que me accidentar.
35. Formalizar: Es absurdo que, si la tarde est nublada entonces llover, sin embargo
el clima ni est favorable para el patinaje ni la pista est preparada para el partido
de ftbol.
36. Hallar la formalizacin correcta de: La filosofa no es equivalente a la ontologa, sin
embargo basan sus estudios en el pensamiento.
37. Formalizar: Para que Javier tenga estudios de maestra en Gestin empresarial es
condicin necesaria que no sea economista de profesin.
38. Formalizar:Aunque llueva ir a visitarte. Pero no llueve
39. Formalizar la proposicin: Condicin suficiente para que los gases al igual que los
lquidos no sean dctiles ni maleables, es que no sean fluidos
40. Formalizar la proposicin: Es absurdo que, Jos no sepa tocar el arpa y no
componga melodas; puesto que es un msico excelente.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 38

UNIVERSIDAD CSAR VALLEJO - PIURA

VERDAD FORMAL
Cuando las leyes de la matemtica se refieren a la realidad, no son ciertas;
cuando son ciertas, no se refieren a la realidad.

ALBERT EINSTEIN
Introduccin
Los razonamientos formulados en el lenguaje cotidiano son a menudo difciles de
evaluar debido a la naturaleza vaga y equvoca de las palabras usadas, a la anfibologa
de su construccin, a los modismos engaosos que pueden contener, a su estilo
metafrico posiblemente confuso y al elemento de distraccin derivado de cualquier
significacin emotiva que se les pueda atribuir. An cuando puedan resolverse estas
dificultades, subsiste el problema de determinar la validez o invalidez de los argumentos.
Para soslayar esas dificultades, es conveniente crear un lenguaje simblico artificial libre
de esos defectos, al cual puedan traducirse los enunciados y argumentos del lenguaje
natural. El primer paso para esto es la formalizacin de argumentos (y todo lo que
implica). Lo que sigue es desarrollar mtodos para resolver el problema de su validez.
1.4 Esquemas moleculares
Definicin 1.8
Esquema molecular
La combinacin de variables y conectivos lgicos por medio de los signos de
agrupacin se denomina esquema molecular.
En cada esquema molecular solo uno de los conectivos es el de mayor jerarqua
y es el que le da nombre a dicho esquema.
Ejemplo 1.19
(a) p q r
El conectivo de mayor jerarqua es , por lo que es un esquema molecular
condicional.
(b) p q r p
El conectivo dominante es , es un esquema molecular bicondicional.
(c) p q p r
Al ser exterior, el conectivo dominante es , por lo tanto, es un esquema
molecular negativo.
Como se aprecia en los ejemplos anteriores, el conectivo dominante es aqul
que carece de parntesis externos.
1.5

Tablas de verdad
Una vez que hemos formalizado a las proposiciones conviene tener una manera
precisa de saber cundo sus frmulas que los representan son verdaderas.
Recordemos que de la misma definicin de proposicin, stas pueden ser o bien
verdaderas o bien falsas, pero no ambas. Si tomamos dos o ms proposiciones, el
valor de verdad de la proposicin compuesta depender del valor de verdad de las
proposiciones que la conforman. Una forma sencilla de determinar esta
dependencia es utilizar las llamadas tablas de verdad.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 39

UNIVERSIDAD CSAR VALLEJO - PIURA


Definicin 1.9
Tabla de verdad
La tabla de verdad es un arreglo en filas y columnas (matriz) que permite
determinar el valor de verdad de una proposicin compuesta mediante la evaluacin
de todas las combinaciones posibles de los valores de verdad de las proposiciones
simples que la conforman.
La tabla de verdad tiene la siguiente estructura:
Frmulas
Simples
( n frmulas)

Frmula Compuesta

Matriz de valores
de verdad de las
frmulas simples
( 2n filas)

Matriz de valores de
Verdad

Figura 1.6. Estructura de una tabla de verdad

Para representar los valores de verdad utilizaremos los smbolos V y F , los


cuales provienen de las palabras verdadero y falso respectivamente. Una
modificacin de esta convencin, que es bastante til para las aplicaciones, es
colocar 1 en vez de V y 0 en lugar de F .
Nota
Si hay n proposiciones simples en una frmula compuesta, entonces la tabla de
verdad correspondiente a sta tiene 2n filas.
Dado que toda frmula compuesta utiliza los conectivos de la tabla 1.16, es
suficiente disponer de las tablas de verdad de stos.
Empecemos con el negador. Lo interpretaremos como un cambio en el valor de
verdad de una proposicin. Por consiguiente su tabla de verdad es la siguiente:

Tabla 1.12. Tabla de verdad del negador

Esto sugiere la siguiente tabla de verdad para la conjuncin(en el sentido de la


lgica proposicional):

pq

pq

1
0
1

1
0
0

1
1
0

Tabla 1.13. Tabla de verdad de la conjuncin

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 40

UNIVERSIDAD CSAR VALLEJO - PIURA


La siguiente tabla de verdad generaliza estas circunstancias:

p q

p q

1
0
1

1
1
1

1
1
0

Tabla 1.14. Tabla de verdad de la disyuncin dbil

Podemos entonces definir la siguiente tabla de verdad para la disyuncin fuerte.

pq

pq

F
V

1
1
0
0

1
0
1
0

0
1
1
0

Tabla 1.15. Tabla de verdad de la disyuncin fuerte

La tabla de verdad para la implicacin es la siguiente:

pq

pq

1
0
1

1
0
1

1
1
0

Tabla 1.16. Tabla de verdad de la implicacin.

La biimplicacin tiene el sentido de equivalencia. La elaboracin de su tabla de


verdad es sencilla y obvia:

pq

pq

1
1
0
0

1
0
1
0

1
0
0
1

Tabla 1.17. Tabla de verdad de la biimplicacin.

As, la biimplicacin ser verdadera cuando ambas proposiciones componentes


tengan el mismo valor de verdad.
1.6

Evaluacin de esquemas moleculares


Hay varios mtodos para evaluar el valor de verdad de un esquema molecular
dado. Analicemos el primero de ellos.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 41

UNIVERSIDAD CSAR VALLEJO - PIURA

1.6.1
Mediante tablas de verdad
Consiste en evaluar el valor de verdad del esquema a partir de los valores de
verdad de sus frmulas simples. Aunque es un mtodo sencillo y mecnico, como
establece el teorema 1.1, tiene la desventaja de aumentar exponencialmente su
nmero de columnas a medida que crece el nmero de frmulas simples.
Definicin 1.10 Matriz principal de un esquema molecular
Es la matriz formada por una sola columna que indica los valores de verdad del
esquema. Su ubicacin en la matriz de valores de verdad es debajo del conectivo
dominante.
Ejemplo 1.20
Hallar la matriz principal del siguiente esquema: p q p q
Solucin:

1
1
0
0

1
0
1
0

0
0
0
0

1
0
0
0

0
0
1
1

1
0
1
1

1
0
1
0

1
1
1
1

1
2

2
3

El orden en que se llenan las columnas de la tabla de verdad es el siguiente


(desde el conector ms interno hasta el ms externo):

Negacin de p

Simultneamente, la conjuncin entre p y q junto con la


disyuncin entre p y q

La implicacin entre las dos columnas obtenidas en

La negacin de la columna obtenida en

En este caso, el esquema es negativo, por lo que la matriz principal del esquema
es la matriz columna obtenida en
4
Observemos que para rellenar preliminarmente las otras columnas, hacemos uso
de las tablas de verdad de los conectivos lgicos antes expuestos.
Segn los valores de verdad que tenga su matriz principal, los esquemas se
clasifican como sigue:

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 42

UNIVERSIDAD CSAR VALLEJO - PIURA

Definicin 1.11

Esquema tautolgico, contradictorio, contingente y


consistente
Un esquema molecular es tautolgico si su matriz principal slo contiene
valores 1. Se llama contradictorio si slo presenta 0s y se llama contingente si
presenta 0s y 1s. Si presenta al menos un 1 en su matriz principal, el esquema se
llama consistente. Los esquemas tautolgicos y contingentes son consistentes.
Ejemplo 1.21
(a)

p q p q
p

1
1
0
0

1
0
1
0

0
0
1
1

0
0
0
1

0
1
0
1

0
1
1
0

1
0
0
0

1
2

2
3

Los nmeros indican el orden en que se rellenan las columnas de la matriz de


valores de la tabla de verdad.
El esquema es contingente, luego es consistente.
(b)

p q q p
p

1
1
0
0

1
0
1
0

1
0
1
1

0
0
0
1

0
1
0
1

1
1
1
1

0
0
1
1

1
2

2
3
4
El esquema es tautolgico, luego es consistente.

(c) p q p q q

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 43

UNIVERSIDAD CSAR VALLEJO - PIURA

0
1

0
0

0
0

1
1

1
1

1
1

1
1

1
1

1
2

0
1

0
0

0
1

2
3
4

5
El esquema es contradictorio.

1.6.2
Mediante el mtodo abreviado
Este mtodo se basa en la definicin de los conectivos mediante su tabla de
verdad. Usualmente se usa para evaluar esquemas implicativos, as que funciona
como un mtodo para determinar la validez de un argumento. Recordemos que
nuestro objetivo es determinar la validez o invalidez de argumentos deductivos.
Debido a las limitaciones de este texto, no entraremos en detalles en la inferencia
lgica, pero lo que s ser posible realizar con lo desarrollado hasta ahora es esto:
una vez formalizado el argumento, procederemos a determinar su validez mediante
la evaluacin de su matriz de verdad. Si es una tautologa, el argumento ser vlido.
Basta que aparezca un 0 y el argumento ser invlido. Te dars cuenta que aunque
siempre va a funcionar, no siempre es lo ms prctico, pues si el nmero de
frmulas smmples es elevado, el nmero de filas an ms. En estos casos lo ms
prctico es utilizar el mtodo abreviado. Aunque casi siempre se emplean con
implicaciones, esto no es una restriccin. Si al encontrar los valores de verdad
individuales de las variables no obtenemos contradicciones, el esquema es vlido,
de lo contrario ser invlido. Los siguientes ejemplos aclaran esto.
Ejemplo 1.22
(a) El siguiente esquema p q q r p r .es falso, hallar el valor
de verdad de p r q

Se tiene que: p q q r p r F .

F
V F
V

Analiza por qu se colocan de esa manera los valores V y F . Todo est


basado en sus tablas de verdad. Observamos que no hay contradiccin en
los valores de verdad encontrados para p, q y r . Si este esquema fuera la
formalizacin de un argumento, dicho argumento sera vlido. Adems, nos
ahorramos una matriz de 8 filas.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 44

UNIVERSIDAD CSAR VALLEJO - PIURA


Luego p r q F F V V .
(b) Si

p F, q V, r F ,

hallar

el

valor

de

verdad

del

esquema

p q r p r
Slo basta evaluar los valores de verdad y no construir toda la tabla y ubicar
la fila donde las variables tengan esos valores. Entonces tendremos lo

siguiente: p q r p r F V F V F F V V

(c) Si la proposicin p s q r es verdadera. Hallar el valor de


verdad de:

q r p s y q r p s p

Se tiene que: p s q r V .

V
V

Entonces q r p s q r p s F F V
Adems

q r p s p q r p s p
q r p s p F p s p V

19/01/2012

TALLER DE EJERCICIOS
Subttulo

1.

Sean las proposiciones

p(x) 3 x es un nmero par.


q(y) y es un nmero primo.
r(z) z es divisor de 60.
Indicar los valores de verdad de las siguientes proposiciones:
(a) p(1) r(7)
(b) q(11) p(1) r(2)
2. Si la proposicin

p q r s

es falsa. Indicar el valor de verdad de las

siguientes proposiciones:
(a) p q r
(b) s p
(c) q r r

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 45

UNIVERSIDAD CSAR VALLEJO - PIURA


3. Al resolver la tabla de verdad de: p q p q , indicar el resultado de la
matriz principal.
4. De: p q p r q r , se afirma que es Tautolgico, contradictorio,
contingente.
5. Si la proposicin compuesta: p r r q es verdadera, hallar el valor
de verdad de r , p y q respectivamente.
6. Si la proposicin p q q r es verdadera. Cules de las siguientes
afirmaciones son ciertas?
(a) p q es verdadera.
(b) r q es falsa
(c) p r es falsa.
7. Si p q p p r s q es verdadera. Cules son los valores de p
, q , r y s respectivamente?
8. Si p q es falsa,

m n es falsa y r x x es falsa. Determinar los

valores de verdad de:


(a) p q
(b) m n
(c) r p q
9. El siguiente esquema p p p q tiene como caractersticas:
(a) No es tautolgico.
(b) No es contradictorio.
(c) Su matriz principal es 0111.
(d) Su matriz principal no es 0011.
10. Si
x : nmero de valores verdaderos en la matriz principal de A.
y : nmero de valores falsos en la matriz principal de A.
Siendo A: p q q p
Hallar

x y. x 2 y 2 x 3

11. Si p q es falso y q r es verdadera, se puede afirmar que:


(a) p q r es verdadero.

q r p q
(c) r q p es falso
(b)

es falso.

12. Del siguiente diagrama:

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 46

UNIVERSIDAD CSAR VALLEJO - PIURA

B
x

p : x A C
q:

y A B C

r : z A B C

Hallar los valores de verdad de:


(a) p q r
(b) p q r
(c) p q p r
13. Evaluar el siguiente esquema molecular y diga cuntos 1s tiene su matriz principal:
p q r r q p
14. Sean p,q,r y s proposiciones tales que: p q es verdadera, q es falsa.
Encontrar el valor de verdad de las siguientes proposiciones:
(a) p q r s
(b) q p r r s
(c) p q r s r s s
15. Si la proposicin:

p q r s es

falsa, el valor de verdad de las

proposiciones p,q,r y s es:

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 47

UNIVERSIDAD CSAR VALLEJO - PIURA

1. Dadas las proposiciones: r,s,w y la proposicin compuesta: p q t q que


es verdadera. Cules de las siguientes proposiciones son verdaderas?
t s w q w
(a)

2.

(b)

p t s q w s

(c)

t q r p q

De la falsedad de: p q r s , hallar los valores veritativos de p,q,r y s .

3. Si p q F , q t F . Cules de las siguientes proposiciones compuestas tienen


el valor verdadero?
(a) p t s
(b) p q p p q t
(c) p q t p q q t
4. Sean las proposiciones:
p : x2 1 es un trmino algebraico

q : El grado de x2 1 es dos
Determinar el valor veritativo:
(a) p q q p
(b) p q q p
5.

Sabiendo que p es verdadero y la proposicin p s q r p r es


verdadera, hallar los valores de s y p s r .

6.

Si el siguiente esquema es falso q p s r p r , hallar los valores de


p,q y r respectivamente.

7. Dados los siguientes esquemas verdaderos: p q p r , p q


Calcule los valores veritativos de p,q y r
8.

Sabiendo que:

p q F

q r F

Da el valor de verdad de:


(a) p r q r q

9.

(b)

p q r s

(c)

p r q s q

Si la expresin: p q r q es falsa, las siguientes proposiciones son:

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 48

UNIVERSIDAD CSAR VALLEJO - PIURA


(a)

p s p q

(b)

r t p q

(c)

r p q p

10. De la falsedad de: p q r s , halle el valor de los siguientes esquemas:


(a)

q s p

(b)

r s p q

11. Si la expresin: p q r p es falsa, las siguientes proposiciones son:


(a)

p s p q

(b)

r t p q

12. Un esquema molecular es tautologa cuando su matriz est constituida:


a) Slo por valores falsos.
b) Slo por valores posibles.
c) Slo por valores verdaderos.
d) Por valores falsos y verdaderos.
e) Por valores necesarios y falsos.
13. Si la proposicin: p q q p q r es falsa. Determine el valor
de verdad de las siguientes proposiciones:
(a) p q q p q r
(b) p q r q
(c) p r q r
14. En relacin a la proposicin compuesta: S:

p q r p q r , se

puede afirmar que:


S es una contradiccin.
S es una contingencia.
S es una tautologa.
15. Deducir

el

valor

de

verdad

de

p, q y

en

el

siguiente

esquema:

p q r q si es falso.
16. Sean p,q y r proposiciones tal que: r q r p sea falsa.
Hallar los valores de:
(a) p q r q
(b) q p r p r s
2
2
17. Si p x : x 16 0 ; q x : x 12 0 ; r x x 9

Hallar el valor de verdad de:


(a) p 2 q 2 r 4
(b) p 4 r 5 q 4
(c)

p(1) p(3) r(2) p(3) p(2) q(2)

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 49

UNIVERSIDAD CSAR VALLEJO - PIURA


3
18. Si p x : x 27 ;

q x : x 2 9 ; r x : x 10

Hallar el valor de verdad de:


(a) p 1 q 12 r 3 r 3

(b) p 0 q 1 r 5 r 6 r 0
(c)

p(3) p(2) r 2 q 3 q(3) p(3)

19. Admitiendo la falsedad de: p q r s t u . Hallar el valor de verdad de:


(a) p s q t u
(b) p q q s r u
(c)

(p q) (r w) ( q u ) p q q s

20. Si p 0 , q 1 , r V
Evaluar: r s q p s p

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 50

UNIVERSIDAD CSAR VALLEJO - PIURA

EQUIVALENCIAS LGICAS
Las matemticas pueden ser definidas como aquel tema
del cual no sabemos nunca lo que decimos
ni si lo que decimos es verdadero.
BERTRAND RUSSELL

Introduccin
Todos los nmeros naturales pueden ser escritos empleando nicamente el 1. Por
ejemplo, si queremos escribir el 9, slo tenemos que escribir 1+1+1+1+1+1+1+1+1.
Claramente salta a la vista el hecho de que esto no es prctico para nmeros muy
grandes. Felizmente, para nosotros, nuestra sistema de numeracin contempla
abreviaturas de estas sumas. As, 2 = 1+1, 5 = 1+1+1+1+1 y as sucesivamente.

Algo similar sucede en lgica. Una de las reglas de formalizacin era colocar la frmula
tal y como aparece en el lenguaje. As, una doble negacin como p debe ser escrita
como tal, aunque intuitivamente veamos que esto equivale a una afirmacin. Queda no
obstante una duda vlida: y si esa equivalencia que intuimos no es vlida para alguna
proposicin p ? Es ah donde sirven de mucha utilidad las tablas de verdad. De eso nos
ocuparemos en esta seccin.
1.7

Leyes de Equivalencia
La equivalencia lgica entre frmulas lgicas se refiere a la igualdad entre los
valores de verdad finales de su matriz principal. Todas las equivalencias son del tipo
tautolgico.
Las leyes de equivalencia son esquemas con una estructura caracterstica que
permiten simplificar esquemas ms complejos sin recurrir a la comprobacin por
tablas de verdad. Cada equivalencia recibe un nombre particular. En la tabla 1.18 se
enlista cada una. Los conectivos que aparecen al costado del nombre de la ley,
indica los conectores a los que se aplica dicha ley. Si no aparece ninguno, la ley es
aplicable a aquellos conectivos que aparecen en la definicin.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 51

UNIVERSIDAD CSAR VALLEJO - PIURA


Observemos la definicin del implicador p q . Es verdadera si y slo si la
disyuncin p q tambin lo es, es decir, si p q es falsa. Relacionemos
esto con la implicacin material: es falso que el antecedente sea verdadero y el
consecuente falso.
La ley de complemento A A V se denomina la ley del tercio excluido:
una proposicin es verdadera o falsa, pero debe ser una de ellas.
Nombre de la
equivalencia
01

Doble
Negacin

02

Leyes de
Morgan
Conmutacin

03

, , ,

Contraposicin
04

, , ,

DEFINICIN

A A

A A

A A

A A

A B A B

A B A B

A B A B

A B A B

A B B A
A B B A

A B B A
A B B A

A B B A
A B B A
A B B A
A B B A

A B C A B C A B C
Asociacin

05

, , ,

A B C A B C A B C
A B C D A B C D
A B C D A B C D
A B C A B A C
A B C A B A C

06

Distribucin

A B C A B B A
A B C A B B A
A B A A

07

Absorcin

A B A A B

08

Definicin del
Implicador

A B AB

A B A A

A B A A B
A B A B

A B A B
A B A B
A B A B A B
A B A B
A B A B

A B A B B A
09

Definicin del
Biimplicador

10

Definicin del
disyuntor
excluyente

11

Exportacin

A B C A B C

12

Mutacin

A B C B A C

A B A B A B

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

A B A B

Pgina 52

UNIVERSIDAD CSAR VALLEJO - PIURA


Idempotencia

AA A

A A A

14

Complemento

A AF

AAV

15

Identidad

AV A
A F F

A V V
AF A

16

Ley de
Expansin

p p s s

p p t t

p q p p q

p q q p q

13

Tabla 1.18. Leyes de equivalencia lgica.

Ejemplo 1.23
(a) Dado el esquema molecular p q , el esquema equivalente es:
a.1 p q q p
a.2 p q q p
a.3 p q q p
a.4 p q q p
a.5 p q q p
Aplicamos la siguientes leyes lgicas:

p q

p q

Definicin

p q q p
p q q p
p q q p

de

la

disyuncin

excluyente
Definicin del biimplicador
Definicin del implicador
Ley de Morgan

Por lo tanto a.2 sera equivalente a p q


(b) Hallar un equivalente a proposicin: Dado que la combinacin de colores
influye en el comportamiento es obvio que, si los nios pasan muchas horas
mirando la televisin entonces tendr un comportamiento autista.

p : La combinacin de colores influye en el comportamiento


q : Los nios pasan muchas horas mirando la televisin
r : Los nios tendrn un comportamiento autista
Dado que..es obvio que, sientonces.
Frmula lgica: p q r
Aplicando la ley de mutacin, obtenemos el equivalente

q p r

Que traducido al lenguaje natural es:


Puesto que los nios pasan muchas horas mirando la televisin se infiere
que , si la combinacin de colores influye en el comportamiento entonces los
nios tendrn un comportamiento autista.

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 53

UNIVERSIDAD CSAR VALLEJO - PIURA


(c) Demostrar que la ley exportacin es una ley de equivalencia
Lo haremos por los dos mtodos
Mtodo de tablas de verdad

1
1
1
1
0
0
0
0

1
1
0
0
1
1
0
0

1
0
1
0
1
0
1
0

1
1
0
0
0
0
0
0

1
0
1
1
1
1
1
1

1
0
1
0
1
0
1
0

1
1
1
1
1
1
1
1

1
1
1
1
0
0
0
0

1
0
1
1
1
1
1
1

1
0
1
1
1
0
1
1

1
2

2
3

La frmula es una tautologa, por lo tanto es una ley de equivalencia lgica.


Mtodo abreviado
Para esto, suponemos que la frmula es falsa. Este mtodo tambin se
conoce como reduccin al absurdo (aplicado a las implicaciones por
supuesto). Procedemos a calcular los valores de verdad de las variables.

p q r p q r

1 1
0
0

1
1



0
0

Observamos que al suponer la falsedad de la frmula, obtenemos en el lado

izquierdo los valores v p v q 1,v r 0 , pero estos valores generan


una contradiccin en el lado derecho. Por lo tanto, no puede ser falsa, en
consecuencia es verdadera.
1.8

Simplificacin de esquemas moleculares


Las leyes de equivalencia demuestran su utilidad al simplificar expresiones
extensas.
Ejemplo 1.24
(a) Simplificar
p q q q p p q

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 54

UNIVERSIDAD CSAR VALLEJO - PIURA

p q q q p p q

p q q p q

Absorcin

p q q p q

Asociativa

p q q

Absorcin

Absorcin

(b) Simplificar p q q p

p q q p
p q q p

Definicin del implicador

p q q p

Doble negacin

p q

Idempotencia

qp

Definicin del implicador

19/01/2012

TALLER DE EJERCICIOS
Subttulo

1.

Relaciona correctamente los nmeros con las letras respectivas:


1.

p q qp

A.

Asociativa.

B.

Conmutativa.

2.

p q r p q r

3.

p q r p q r

C.

Ley de Involucin.

4.

p p

D.

Ley distributiva.

5.

p q r p q p r

E.

Exportacin.

2. Simplificar la siguiente frmula:

p q p

3. Simplificar: q r p p
4. Simplificar la siguiente frmula: p q q p
5. Evaluar el esquema siguiente: p q p q
6. Simplificar la frmula siguiente: p q p q p
7. De la proposicin p q , sealar podemos afirmar que.
a)
b)
c)
d)

La proposicin recproca es q p
La proposicin contradirecta es q p
La recproca de la contradirecta es p q
La contrarecproca es q p

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 55

UNIVERSIDAD CSAR VALLEJO - PIURA

8.

Simplificar: p q r q p r

9.

La proposicin: p q q r equivale a:

10. Cuntas falsas y cuntas verdaderas tiene el resultado de la tabla de verdad de:
p q r p p , despus de simplificarlo?.

11. Simplificar: p q r q r p r r p
12. Reducir

al

mximo

la

siguiente

proposicin:

p q p q p p q

13. Reducir a su mnima expresin: p q q p


14. Simplificar: p q p q p q q p
15. La frmula: p q q r r p ; equivale a:

16. Simplificar: p q r p q r
17. Simplificar: p q r q p p q r p q
18. El siguiente esquema molecular: p p q equivale a:
19. El esquema formal: p q q p . tiene como frmula equivalente a:

Bibliografa
Bunge, M. (1997). La Ciencia su mtodo y su filosofa.Buenos Aires: Sudamericana.
Copi, I. y Cohen, C.(1999). Introduccin a la lgica. Mexico: Limusa.
Copi, I. (1968). Introduccin a la lgica. Argentina:EUDEBA

DEPARTAMENTO DE FORMACIN GENERAL


REA DE MATEMTICA

Pgina 56