Professional Documents
Culture Documents
PRESENTACIN
Los autores.
Pgina 1
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
58
59
59
59
59
61
62
62
64
64
64
66
67
PRODUCTOS NOTABLES
68
Pgina 2
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
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
100
101
102
103
104
105
107
109
109
111
112
112
114
114
115
116
118
119
119
119
119
121
125
126
129
129
129
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
126
127
127
135
135
135
135
139
140
141
141
143
144
144
Pgina 4
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
192
194
197
197
200
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
Pgina 6
LGICA
PROPOSICIONAL
Pgina 7
El interruptor
Pgina 8
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
Pgina 9
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)
Pgina 10
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,)
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
Pgina 11
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
Pgina 12
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.
Pgina 13
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
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
Pgina 14
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
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
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
Pgina 15
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
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
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
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
Pgina 16
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
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
Pgina 17
(Relacin afectiva)
Ejemplo
apoltico
des
desarreglar
dis
disconforme
(p) seudo
(p) seudoprofeta
Pgina 18
injusto
ilgico
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
Pgina 19
Pgina 20
Si
Antecedente
Razn Suficiente
Condicin Suficiente
Proposicin Condicionadora
Prtasis
entonces
Consecuente
Razn Necesaria
Condicin Necesaria
Proposicin Condicionada
Apdosis
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.
Pgina 21
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
Predicativas
Simples
Relacionales
Negativas
Conjuntivas
Disyuntivas
Incluyentes
Disyuntivas
Excluyentes
Compuestas
Implicativas
Replicativas
Biimplicativas
Pgina 22
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.
Pgina 23
3.
4.
5.
5.1.
5.2.
5.3.
5.4.
5.5.
5.6.
5.7.
5.8.
5.9.
Pgina 24
6.
7.
8.
9.
Pgina 25
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 .
Pgina 26
4.
Pgina 27
5.
7.
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.
Pgina 28
9.
Pgina 29
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.
Pgina 30
Nombre
Forma
Smbolos
Negador
no
Conjuntor
... y ...
Disyuntor
Incluyente
Disyuntor
Excluyente
o o
Implicador
si entonces
Replicador
porque
Biimplicador
si y slo si
&
Mayor jerarqua
Menor jerarqua
Pgina 31
q:
r:
s:
t:
p q r s t
1.3
Pgina 32
q : Luis va a Mncora
r:
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
Pgina 33
Formalizacin: p q r
19/01/2012
TALLER DE EJERCICIOS
Subttulo
Realiza lo indicado:
1.
Pgina 34
Pgina 35
Realiza lo indicado:
1.
2.
3.
4.
5.
6.
7.
8.
Pgina 36
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
positiva
nicamente
Pgina 37
Pgina 38
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.
Pgina 39
Frmula Compuesta
Matriz de valores
de verdad de las
frmulas simples
( 2n filas)
Matriz de valores de
Verdad
pq
pq
1
0
1
1
0
0
1
1
0
Pgina 40
p q
p q
1
0
1
1
1
1
1
1
0
pq
pq
F
V
1
1
0
0
1
0
1
0
0
1
1
0
pq
pq
1
0
1
1
0
1
1
1
0
pq
pq
1
1
0
0
1
0
1
0
1
0
0
1
Pgina 41
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
Negacin de p
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:
Pgina 42
Definicin 1.11
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
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
Pgina 43
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
Pgina 44
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
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.
p q r s
siguientes proposiciones:
(a) p q r
(b) s p
(c) q r r
Pgina 45
x y. x 2 y 2 x 3
q r p q
(c) r q p es falso
(b)
es falso.
Pgina 46
B
x
p : x A C
q:
y A B C
r : z A B C
p q r s es
Pgina 47
2.
(b)
p t s q w s
(c)
t q r p q
q : El grado de x2 1 es dos
Determinar el valor veritativo:
(a) p q q p
(b) p q q p
5.
6.
Sabiendo que:
p q F
q r F
9.
(b)
p q r s
(c)
p r q s q
Pgina 48
p s p q
(b)
r t p q
(c)
r p q p
q s p
(b)
r s p q
p s p q
(b)
r t p q
p q r p q r , se
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
Pgina 49
q x : x 2 9 ; r x : x 10
(b) p 0 q 1 r 5 r 6 r 0
(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
Pgina 50
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.
Pgina 51
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
A B A B
Pgina 52
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
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
q p r
Pgina 53
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
p q r p q r
1 1
0
0
1
1
0
0
Pgina 54
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
p q q p
Doble negacin
p q
Idempotencia
qp
19/01/2012
TALLER DE EJERCICIOS
Subttulo
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.
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
Pgina 55
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
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
Pgina 56