Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Universidad César Vallejo - Piura PDF
Universidad César Vallejo - Piura PDF
PRESENTACIÓN
Los autores.
ÍNDICE
PRESENTACIÓN 01
CAPÍTULO 01: LÓGICA PROPOSICIONAL
El interruptor 08
ELEMENTOS DE LA LÓGICA PROPOSICIONAL 09
Introducción 09
1.1 La lógica como ciencia 10
1.2 La lógica proposicional 11
Taller de ejercicios 23
Actividad 26
FORMALIZACIÓN PROPOSICIONAL 30
Introducción 30
1.3 Casos especiales de formalización 32
Taller de ejercicios 34
Actividad 36
VERDAD FORMAL 39
Introducción 39
1.4 Esquemas moleculares 39
1.5 Tablas de verdad 39
1.6 Evaluación de esquemas moleculares 41
1.6.1 Mediante tablas de verdad 42
1.6.2 Mediante método abreviado 44
Taller de ejercicios 45
Actividad 48
EQUIVALENCIAS LÓGICAS 51
Introducción 51
1.7 Leyes de equivalencia 51
1.8 Simplificación de esquemas moleculares 54
Taller de ejercicios 55
Bibliografía 56
PRODUCTOS NOTABLES 68
Introducción 68
2.5 Productos notables 69
Taller de ejercicios 70
Actividad 71
FACTORIZACIÓN 72
Introducción 72
2.6 Factor común monomio 72
2.7 Factor común polinomio 72
2.8 Trinomio cuadrado perfecto 73
2.9 Aspa simple 74
2.10 Diferencia de cuadrados 74
2.11 Suma o diferencia de cubos 74
2.12 Método de los divisores comunes 75
Taller de ejercicios 77
Actividad 77
FRACCIONES ALGEBRAICAS 78
Introducción 78
2.13 Fracción algebraica 78
2.14 Simplificación de fracciones algébricas 78
2.15 Operaciones con fraciones algebraicas 79
2.15.1. Adición y sustracción de fracciones algebraicas 79
2.15.2. Multiplicación y división de fracciones algebraicas 79
2.15.3. Operaciones combinadas de fracciones algebraicas 80
Taller de ejercicios 80
Actividad 81
Bibliografía
FUNCIONES 184
Introducción 184
7.4 Dominio y rango de una función real 186
7.5 Función lineal 187
7.6 Función cuadrática 189
7.6.1 Cálculo del rango de la función cuadrática 189
7.6.2 Gráfica de una función cuadrática 189
7.7 Función exponencial 191
LA RECTA 207
Introdución 207
8.4 Formas de la ecuación de una recta 207
8.4.1 Forma punto pendiente 208
8.4.2 Forma de dos puntos 208
8.4.3 Forma pendiente ordenada al origen 208
8.4.4 Forma coordenadas al origen 208
8.4.5 Ecuación de una recta vertical 209
8.4.6 Forma general de la ecuación de una recta 209
8.5 Distancia de un punto a una recta 210
8.6 Relación entre dos rectas en el plano 210
8.7 Problemas resueltos 210
Taller de ejercicios 212
LA PARÁBOLA 214
Introducción 214
8.8 Elementos de la parábola 214
8.9 Formas de la ecuación de la parábola 215
8.9.1 Forma canónica 215
8.9.2 Forma ordinaria 217
8.9.3 Forma general de la recta 219
8.10 Problemas resueltos 219
Taller de ejercicios 221
Actividad 222
LA CIRCUNFERENCIA 223
Introducción 223
8.11 Elementos de la circunferencia 223
8.12 Formas de la ecuación de una circunferencia 224
8.12.1 Forma canónica 224
8.12.2 Forma ordinaria 224
8.12.3 Ecuación general de la circunferencia 224
8.13 Problemas resueltos 225
Taller de ejercicios 227
Actividad 228
Bibliografía 228
LÓGICA
PROPOSICIONAL
El interruptor
enciende la bombilla?
ELEMENTOS DE LÓGICA
PROPOSICIONAL
La historia hace a los hombres sabios; la poesía, ingeniosos;
las matemáticas, sutiles; la filosofía natural, profundos;
la moral, graves; la lógica y retórica, hábiles para la lucha.
FRANCIS BACON
Introducción
Lo cierto es que uno puede razonar correctamente sin ni siquiera haber estudiado
lógica. Y esto no es un caso aislado. Por ejemplo, en el mundo deportivo se ejecutan
maniobras difíciles, a veces increíbles, sin que los atletas sepan de las leyes físicas que
les permiten ejecutar dichas maniobras. Algo similar ocurre en lógica. Entonces, ¿por
qué estudiar lógica?... Básicamente por dos razones que expongo a continuación:
Primero, porque un estudio adecuado de ésta la enfocará tanto como una ciencia y
como un arte. Esto significa que es menester aplicar las técnicas 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 lógica. Esta posibilidad
disminuye aún más cuando estudiamos y analizamos los métodos incorrectos de
razonamiento, las llamadas falacias, pues su conocimiento nos ayuda efectivamente a
evitarlas y nos ayuda a conocer, con sólo escuchar, lo que pasa en realidad en la otra
persona.
Por supuesto que para lograr lo anterior se requiere de una lógica más potente que la
lógica proposicional, que es la que se expone en este módulo. Pero aunque ya de por sí
ésta nos permite comprender los procesos informáticos en los que tiene aplicación, su
estudio nos facilita la comprensión de lógicas más avanzadas, como la lógica borrosa por
ejemplo, y nos proporciona ideas para la generalización de conceptos y técnicas a esas
lógicas.
CIENCIA
Método de Estudio
Leyes Propias
Aunque pueden interrelacionarse, lo que distingue a una ciencia de otra (lo que
me permite decir: “yo soy matemático y tú abogado”) es básicamente el objeto de
estudio. Basándose en este criterio, Mario Bunge [Bu] clasifica a las ciencias en dos
grandes grupos: Fácticas (su objeto de estudio está en la realidad física o social) y
Formales (cuyo objeto de estudio es ideal o abstracto)
O
B
J
CIENCIAS Entes Ideales
E
FORMALES (Matemáticas, Lógica)
T
O
D
CIENCIAS E Fenómenos Naturales
NATURALES (Física, Química, Geología,…)
CIENCIAS E
FÁCTICAS S
T
U
CIENCIAS D Fenómenos Sociales
SOCIALES I (Sociología, Derecho,…)
O
Figura 1.2. Clasificación de las ciencias según su objeto de estudio
De lo anterior, podemos decir que la lógica es una ciencia formal, cuyo objeto de
estudio son los métodos y los principios usados para determinar la validez o
1
invalidez de los argumentos .
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
1
ARGUMENTOS: representaciones mentales que relacionan conceptos y juicios (premisas) de
modo que permiten derivar otros juicios (conclusiones).
2
El término “variable” abarca los pronombres en tercera persona (él,ella,ellos,ellas)(*)
Ejemplo 1.2
(a) Él se fue a Lima
Es un E.A pues no se se indica quién es él. En este caso, el pronombre “Él”
actúa como variable. Si por ejemplo, hacemos que “Él” se refiera a Luis, el
enunciado sería “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 proposición
2 2 3 7 la cual es, en los números reales, falsa
Ejemplo 1.3
Ejemplo 1.4
(a) Todos los peruanos son demócratas
Es una proposición universal (debido al artículo todos) y afirmativa (el verbo
está afirmado).
3
Recuerde que una definición siempre tiene sentido positivo, es decir, siempre es de la forma: “El
objeto tal es …”, no de la forma “El objeto tal no es …”
Ejemplo 1.5
(a) La Virgen de la Puerta es milagrosa
A pesar de ser una oración declarativa, es sólo un enunciado
4
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.
Negadores Internos
No P Jamás P
Nunca P Tampoco P
Negadores Externos
Es absurdo que P De ninguna forma se da P Es inadmisible que
Es inconcebible que Es incierto que P P
P No es inobjetable que P No acaece que P
Es innegable que no En modo alguno P No acontece que
P No ocurre que P P.
No es el caso que P No es innegable que P Es sofisma que P
Es imposible que P Es refutable P No es verdad que
Es mentira que P Es negable que P P
Es incorrecto que P Es erróneo que P
El Conjuntor
PyQ P también Q P al mismo modo Q
P incluso Q P así como Q P de la misma
P pero Q P vemos que también manera Q
P aunque Q Q P no obstante Q
P al igual que Q P al mismo tiempo que P sino Q
P tal como Q Q No sólo P sino
P tanto que Q P sin embargo Q también Q
Cierto que P lo P es compatible con Q P asimismo Q
mismo que Q P aún cuando Q P a pesar de que Q
Simultáneamente P Sin que P tampoco Q P a la vez que Q
con Q P además Q P aún cuando Q
P más aún Q P igualmente Q P a la par que Q
Siempre ambos P Tanto P como cuanto Q
con Q
El Disyuntor Incluyente
PoQ P o también Q P excepto que Q
P a menos que Q P a no ser Q P o incluso Q
A menos que P, Q P o sino Q P o a la vez Q
P salvo que Q P o en todo caso Q En sentido incluyente
P y bien, o también P y/o Q P alternativamente
Q P a no ser que Q Q
P ya bien Q O P o Q o ambos P o bien Q
P, de lo contrario Como mínimo P o
también Q Q
El Disyuntor Excluyente
oPoQ P o sólo Q En sentido excluyente
o bien P o bien Q P a menos que P excepto que solo
P o Q (en sentidos solamente Q Q
excluyentes) P no es equivalente a P a menos que solo
P o solamente Q Q Q
P o únicamente Q No es equivalente P P salvo Q
P salvo que con Q P alternativamente
unicamente Q P no biimplica a Q Q
P o bien
necesariamente Q
El Implicador
Si P entonces Q En cuanto P por tanto Q Cuando P, Q
Siempre que P por Cada vez que P Como P, Q
consiguiente Q consiguientemente Q De P, Q
Ya que P bien se ve Ya que P es evidente Q Suponiendo que P,
que Q De P derivamos Q Q
Con tal P es obvio P implica Q P sólo si Q
que Q Si P, Q Sólo P si Q
Cuando P así pues Dado P por eso Q P es condición
Q Como quiera que P por suficiente de Q
Toda vez que P es lo cual Q Una condición
consecuente Q P es condición suficiente necesaria para P es
Excepto que P, Q para Q Q
Para P es condición P impone a Q En el caso de que P
necesaria Q en tal sentido Q
El Replicador
Sólo si P, Q P para Q P pues Q
P si Q Para P es suficiente Q P en vista de Q
P porque Q P puesto que Q P como Q
P siempre que Q P dado que Q P por cuanto Q
Es condición P supone que Q P debido a que Q
necesaria P para P es suficiente para Q P cada vez que Q
Q P en tanto Q P en razón de Q
No P a menos
que Q
El Biimplicador
P si y sólo si Q P es igual que Q P siempre que y
P siempre y P es idéntica a Q sólo cuando Q
cuando Q P es condición P porque y sólo
P se define necesaria y suficiente porque Q
lógicamente para Q P entonces y sólo
como Q P es equivalente a Q entonces Q
Sólo si P entonces Q
ENUNCIADO
ENUNCIADO
ABIERTO
PROPOSICIÓN
PROPOSICIÓN PROPOSICIÓN
SIMPLE COMPUESTA
ENUNCIADO
CERRADO
a) Predicativas
Si al sujeto se le atribuye una cualidad o descripción, es decir, se afirma una
característica respecto a él.
b) Relacionales
Establecen una relación entre dos o más sujetos que tienen una misma
categoría gramatical. Al sujeto se le compara con otro mediante términos
relacionales
TÉRMINOS RELACIONALES
Ejemplo 1.6
(a) Lima es la capital del Perú.
Proposición simple predicativa
a) Negativas
Si tienen al conector monádico “no”. Decimos monádico pues sólo necesita de
una proposición para ser una expresión bien formada. Pueden ser:
a.1 Simples
Si presenta negador interno, es decir, la negación va en el verbo. (ver tabla
1.2)
a.2 Compleja
Si tiene negador externo, es decir, la negación va al inicio de una
proposición simple o compuesta. Se construye con sinónimos de “no” (ver
tabla 1.2)
Prefijo Ejemplo
a– apolítico
des – desarreglar
dis – disconforme
i–
injusto
in –
ilógico
im –
Ejemplo 1.7
(a) Los felinos no son herbívoros
Es una proposición compuesta negativa simple. Negador interno “no”.
b) Conjuntivas
Si tienen el conector diádico “…y…”. Diádico pues necesita de dos proposiciones
para tener sentido.
Ejemplo 1.8
(a) Aravis es médico y Juan es abogado
Es una proposición compuesta conjuntiva.
Ejemplo 1.9
(a) La ingeniería es una ciencia o la medicina es un arte.
Es una proposición compuesta disyuntiva incluyente.
d.1.2 La forma
“… o + término modificador… ”
Ejemplo 1.10
(a) O la ingeniería es una ciencia o es una técnica.
(b) David es ingeniero o únicamente es político.
(c) Marleny es actriz salvo que solamente sea médico.
(d) Perú está en América o Europa.
5
e) Implicativas o proposiciones hipotéticas
Si tienen el conector diádico “si…entonces…”. La proposiciones entre estos
términos reciben nombres especiales.
Antecedente Consecuente
Si Razón Suficiente entonces Razón Necesaria
Condición Suficiente Condición Necesaria
Proposición Condicionadora Proposición Condicionada
Prótasis Apódosis
Ejemplo 1.11
(a) Si todos los hombres son mortales y Sócrates es hombre, entonces Sócrates
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.
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 constitución.
(d) Condición necesaria para construir la democracia es respetar la constitución
f) Replicativas
Si tienen el conector diádico “…si…”. La proposiciones a ambos lados del si
reciben nombres análogos a los de las implicativas.
Consecuente Antecedente
Razón Necesaria si Razón Suficiente
Condición Necesaria Condición Suficiente
Ejemplo 1.13
Las siguientes proposiciones son replicativas
5
Algunos autores las llaman condicionales para distinguirlas de aquellas, a las que denominan
implicativas, donde el antecedente se relaciona lógicamente con el consecuente. A éstas estamos
llamando argumentos.
g) Biimplicativas
Si tienen el conector diádico “…si y sólo si…”. Se pueden usar los sinónimos de
la tabla 1.8. También se consideran biimplicativas las proposiciones de la forma “
Para … es condición necesaria y suficiente…”
Ejemplo 1.14
(a) Para ser profesional es suficiente y necesario ser buen estudiante.
Proposición compuesta biimplicativa
Predicativas
Simples
Relacionales
Negativas
Conjuntivas
Disyuntivas
Incluyentes
Disyuntivas
Excluyentes
Compuestas Implicativas
Replicativas
Biimplicativas
19/01/2012
TALLER DE EJERCICIOS
Subtítulo
1. Clasifica los siguientes enunciados. Para aquellos que sean proposiciones, indica su
valor de verdad.
1.1. El almanaque “Bristol” es una publicación anual.
1.2. El Perú es un país austral y occidental.
1.3. Recoge ese lápiz
1.4. x y 5
1.5. 25 6
1.6. Hola que tal
1.7. x2 1 10
1.8. Sócrates nació en Atenas
1.9. x 2 5y , para y 2 .
1.10. x 2 5 , para x 2 .
1.11. Sen x Cos x 1
2 2
1.12. x 3 9 , si x 5
1.13. x y z , si x 3, y 4
1.14. La raíz cuadrada de -1 es un número imaginario.
1.15. Cuzco es una ciudad arqueológica.
1.16. El símbolo del oro es Au
1.17. x 2 y 2 5 es la ecuación de una circunferencia de radio 5.
1.18. Marte es el dios de la guerra.
1.19. Romeo amó a Julieta.
1.20. Según la mitología griega, “Bóreas” es el dios del viento del Norte.
1.21. Vete a comprar pan
1.22. Centauro es una constelación austral.
1.23. Atardece.
1.24. Carlos Marx es autor de la Iliada.
1.25. 7 es número primo.
1.26. Cristóbal Colón conquistó el Perú
1.27. Anochece
1.28. ¡Hace mucho calor!
1.29. La radio es un medio de información.
1.30. La matemática es una ciencia.
2.16. Los riñones son los mayores órganos excretores del cuerpo.
2.17. La uretra es más larga en los hombres que en las mujeres.
2.18. Las nebrinas son unos tubos microscópicos que filtran la sangre.
2.19. Cada riñón está compuesto de millones de nebrinas.
2.20. El término “honrado” es igual a “honesto”.
n
B
5.1. z y
1. 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ú prójimo como a ti mismo.
1.4. El hijo de Carlos V.
1.5. El hijo primogénito de Luis VIII
1.6. Las águilas de América del Norte son carnívoras.
3
1.7. 9 .
1.8. ¿Cuántos alumnos tiene la UCV filial Piura?
1.9. ¡No puedo creer que campeone Alianza Lima!
1.10. El creador indiscutible de la lógica matemática fue el inglés George Boole.
1.11. Romeo amó a Julieta según la obra literaria.
1.12. Ven ahora.
1.13. Nunca debo olvidar el ayer.
1.14. Mañana la veré.
1.15. Mañana es viernes.
1.16. El amor es hermoso.
1.17. Mi anhelo es ver al Perú como un país exportador.
1.18. El Perú es un país eminentemente agrario.
1.19. El actual presidente del Perú
1.20. Ella ama a Luís
1.21. El caballero Carmelo
1.22. La esposa de Túpac Amarú fue fusilada
1.23. ¡Ojalá regreses el próximo año!
a b
2
1.24. a2 2ab b2 .
1.25. Hace frío.
1.26. Esta tiza es de color negro.
1.27. Alcánzame el libro de Historia.
1.28. Él ganó la maratón.
1.29. El hombre es inmortal.
1.30. Ella, Carmen, es comerciante
8.1. Una condición suficiente para que Julio visite Cuenca es que visite las Casas
Colgantes.
8.2. Si se estudia lógica, mejorará nuestra forma de razonar.
8.3. Sólo si vas a la Iglesia, eres creyente
8.4. Un número es par si es divisible por 2
8.5. Una figura es un triángulo siempre que tenga exactamente 3 lados
8.6. El sol es 1 300 000 veces más grande que la Tierra.
8.7. Cuando la Luna está en conjunción, entonces ocurre un eclipse de sol.
8.8. Estudiaré en Ia Cepre Vallejo por lo tanto ingresaré a la UCV.
FORMALIZACIÓN PROPOSICIONAL
La matematica
es el desarrollo de todos
los tipos de razonamiento formal,
necesario y deductivo”.
ALFRED NORTHWHITEHEAD
Introducción
En esta sección, aprenderemos a traducir un argumento expresado en palabras de
nuestro lenguaje a el lenguaje formal de la lógica.
“La ley de la gravedad de Newton nos dice también que cuanto más separados estén
los cuerpos menor será la fuerza gravitatoria entre ellos. La ley de la gravedad de
Newton establece que la atracción gravitatoria producida por una estrella a una cierta
distancia es exactamente la cuarta parte de la que produciría una estrella similar a la
mitad de distancia. Esta ley predice con gran precisión las órbitas de la Tierra, la Luna y
6
los planetas.”
Obviamente, para poder entender ésta última fórmula, debemos conocer el lenguaje
formal en la que está planteada así como su contenido semántico. Pero la ventaja es que
esta fórmula se entiende en cualquier idioma.
6
Tomado de “Historia del Tiempo” de S. Hawking
Negador “no” N
Disyuntor
“… o …” A
Incluyente
Disyuntor J
“o … o …”
Excluyente
Replicador “… porque …”
Biimplicador “… si y sólo si …” E
,
Mayor jerarquía
,
,
Menor jerarquía
Ejemplo 1.15
“La Teoría de la Comunicación interviene en diversas ciencias del hombre y en la
tecnología; 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
problemática común”
Solución:
Paso 1: Identificar las proposiciones simples y asignarles variables
p: La Teoría de la Comunicación interviene en diversas ciencias del hombre
q: La Teoría de la Comunicación interviene en la tecnología
r: La Teoría de la Comunicación ha sido propuesta para servir de campo
unificador de las ciencias sociales
s: La Teoría de la Comunicación ofrece a las ciencias sociales un lenguaje
común
t: La Teoría de la Comunicación ofrece a las ciencias sociales una
problemática común
La forma es:
“… y …; ya que se debe a que …, … tanto … como …”
p q r s t
1.3.1 El negador
La doble negación de una proposición 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 lingüísticas de doble negación (innegable, inobjetable, no es
inadmisible, no es mentira que,…) se formalizan como tales.
Las expresiones con prefijos de negación se formalizan.
Ejemplo 1.16
(a) Es mentira que Lucy no es profesora
p : Lucy es profesora
Formalización: p
(c) Es imposible que llueva hoy, ya que hace tiempo no hay sequía.
p : Llueve hoy
q : Hace tiempo que hay sequía
Formalización: p q
Observa que el negador externo Es imposible que… afecta a toda la parte de
la oración hasta antes de la coma.
1.3.2 El conjuntor
Cuando se usan comas y el último conector es “ y ”, las comas se formalizan
como conjunciones.
Una excepción a la regla anterior: Cuando una oración usa términos
relacionales, aún cuando aparezca el término “y”, se formaliza como una
proposición simple.
No se formaliza cuando la relación es del tipo causal y temporal.
Ejemplo 1.17
(a) Pinino y Minily son amigos
p : Pinino y Minily son amigos
Formalización: p
Formalización: 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.
Formalización: p q r
19/01/2012
TALLER DE EJERCICIOS
Subtítulo
Realiza lo indicado:
1. Formalizar el enunciado: “El hígado es la glándula más grande del cuerpo humano
además depura la sangre”.
3. Formalizar: “De que una figura geométrica tenga cuatro lados iguales se deriva que
es un cuadrado o un rombo, pero si la figura geométrica tiene cuatro lados iguales
así como cuatro ángulos rectos es obvio que es un cuadrado”
4. La proposición: “Es absurdo que la caja toráxica este formada por menos de 11
pares de costillas dado que éstas se unen por delante al esternón”. Se formaliza:
6. Formalizar: “El coseno y la secante juntas son razones inversas, a menos que su
producto no sea igual a uno”.
10. Formalizar: “Si el agua pasa de estado líquido a sólido entonces se solidifica,
asimismo si pasa de estado gaseoso a líquido implica que se condensa”
11. “Toda vez que un catión es un átomo que nunca ha perdido electrones, por
consiguiente posee un número de cargos positivas siempre y cuando el catión es un
átomo que ha perdido electrones”. Hallar su fórmula lógica.
12. Formalizar: “Si la pendiente del ángulo de inclinación 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”:
14. Formalizar: “El diámetro de una circunferencia no es menor que cualquier cuerda
sólo si mide dos radios igualmente el radio es la distancia del centro a cualquier
punto de la circunferencia”
15. Formalizar la proposición: “Es inadmisible que la energía eólica aprovecha la fuerza
del viento de la misma manera que la energía solar utiliza las radiaciones solares”.
16. Formalizar: “El transporte puede ser terrestre, marítimo y aéreo, además requiere de
infraestructura siempre que y sólo cuando el gobierno se encargue de la
construcción y no del mantenimiento de la infraestructura”.
17. Formalizar: “Las hienas o los buitres se alimentan de presas muertas por eso los
necrófagos no contribuyen a la contaminación del medio ambiente al igual que es
innegable que los buitres se alimenten de presas muertas”.
20. Hallar la fórmula de: “La sacarosa y la lactosa son glúcidos implica que los glucidos
contienen azúcares, salvo que ni la sacarosa ni la lactosa son glúcidos, por eso los
glucidos jamás contienen azucares”.
21. Formalizar: “Ni el occipital ni el frontal son músculos del tórax porque y solo porque
ambos son músculos cutáneo del cráneo”.
22. Formalizar: “El hueso calcáneo y astrágalo juntos pertenecen al tarso del pie”
23. Formalizar la proposición “El duodeno no forma parte del intestino grueso en vista
que pertenece al intestino delgado igualmente el yeyuno pertenece al intestino
delgado”.
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á”.
27. Formalizar el argumento: “La Arena, la Unión y Sechura son el medio Piura, sin
embargo son zonas arrozeras”.
28. “Si te preparas a conciencia, serás un buen alumno; pero si no estudias y pierdes
tiempo, tus resultados serán malos”. Hallar su fórmula lógica
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:
Realiza lo indicado:
3. Simbolizar la siguiente proposición: “Si los alumnos estudian y no hay paros, el ciclo
terminará en la fecha señalada y los alumnos podrán trabajar”.
7. Formalizar la siguiente proposición: “Si aumenta el caudal del río Rímac, entonces,
Simbolizar: “Es absurdo que los estudiantes son aplicados si y sólo si se dedican a
estudiar, pero si no se dedican a estudiar en consecuencia no son aplicados”.
10. Formalizar: “Si Amanda contesta ésta pregunta, será una pregunta fácil; sin
embargo ésta pregunta es fácil y engañosa 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 Galápagos además no encontarará a su familia”.
14. Formalizar: “O bien Irán eleva el precio del petróleo y Egipto disminuye sus
aprovisionamientos o no es el caso que Jordania pida más ayuda norteamericana y
Arabia Saudita compre otros quinientos aviones de guerra”.
17. Formalizar: “En modo alguno Perú clasifica al próximo mundial de fútbol”.
19. Formalizar: “Es condición suficiente que hace calor para ir a la playa. Aunque para ir
a la playa es condición necesaria que necesitemos dinero”
24. Formalizar: “No acontece que, llueve hoy sólo si mañana estará nublado”.
25. Formalizar: “Es absolutamente incierto que, si el dólar sube entonces los precios no
suben”
26. Formalizar la proposición “Tanto los gobiernos de Chile como de Ecuador no acatan
los tratados internacionales”
27. Dada la proposición “Los protones tiene carga eléctrica positiva o únicamente
negativa”, hallar su fórmula lógica.
28. Formalizar la proposición “La lógica no es una ciencia exacta es compatible que la
matemática es una ciencia exacta”
29. Formalizar: “Es absurdo que, sea condición necesaria que Bertha sea una
representante de ventas para que sea profesora universitaria a dedicación
exclusiva”
31. Formalizar: “Es absurdo que si ayer no fuimos a la biblioteca es obvio que no
conseguimos el libro de química”
32. Formalizar la proposición: “No es verdad que, sea absurdo que, no acontece que
Mario estudia sistemas en la UCV”.
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 fútbol”.
36. Hallar la formalización correcta de: “La filosofía no es equivalente a la ontología, sin
embargo basan sus estudios en el pensamiento”.
37. Formalizar: “Para que Javier tenga estudios de maestría en Gestión empresarial es
condición necesaria que no sea economista de profesión”.
39. Formalizar la proposición: “Condición suficiente para que los gases al igual que los
líquidos no sean dúctiles ni maleables, es que no sean fluidos”
40. Formalizar la proposición: “Es absurdo que, José no sepa tocar el arpa y no
componga melodías; puesto que es un músico excelente”.
VERDAD FORMAL
Cuando las leyes de la matemática se refieren a la realidad, no son ciertas;
cuando son ciertas, no se refieren a la realidad.
ALBERT EINSTEIN
Introducción
Los razonamientos formulados en el lenguaje cotidiano son a menudo difíciles de
evaluar debido a la naturaleza vaga y equívoca de las palabras usadas, a la anfibología
de su construcción, a los modismos engañosos que pueden contener, a su estilo
metafórico posiblemente confuso y al elemento de distracción derivado de cualquier
significación emotiva que se les pueda atribuir. Aún 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 simbólico artificial libre
de esos defectos, al cual puedan traducirse los enunciados y argumentos del lenguaje
natural. El primer paso para esto es la formalización de argumentos (y todo lo que
implica). Lo que sigue es desarrollar métodos para resolver el problema de su validez.
Ejemplo 1.19
(a) p q r
El conectivo de mayor jerarquía 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.
Fórmulas
Simples Fórmula Compuesta
( n fórmulas)
Matriz de valores
de verdad de las Matriz de valores de
fórmulas simples Verdad
( 2n filas)
Nota
Si hay n proposiciones simples en una fórmula compuesta, entonces la tabla de
verdad correspondiente a ésta tiene 2n filas.
Dado que toda fórmula 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 proposición. Por consiguiente su tabla de verdad es la siguiente:
p p p p
V F 1 0
F V 0 1
p q pq p q pq
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0
p q p q p q p q
V V V 1 1 1
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0
p q pq p q pq
V V F 1 1 0
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0
p q pq p q pq
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F F V 0 0 1
p q pq p q pq
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F V 0 0 1
Ejemplo 1.20
Hallar la matriz principal del siguiente esquema: p q p q
Solución:
p q p q p q
1 1 0 1 1 0 1 1
1 0 0 0 1 0 0 0
0 1 0 0 1 1 1 1
0 0 0 0 1 1 1 0
1
2 2
1 : Negación 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 lógicos antes expuestos.
Según los valores de verdad que tenga su matriz principal, los esquemas se
clasifican como sigue:
Ejemplo 1.21
(a) p q p q
p q p q p q
1 1 0 0 0 0 1
1 0 0 0 1 1 0
0 1 1 0 0 1 0
0 0 1 1 1 0 0
1 1
2 2
(b) p q q p
p q p q q p
1 1 1 0 0 1 0
1 0 0 0 1 1 0
0 1 1 0 0 1 1
0 0 1 1 1 1 1
1
2 2
(c) p q p q q
p q p q p q q
1 1 1 1 0 0 0 1 1 0 0 0
1 1 1 1 1 0 0 1 1 1 0 1
2 2 0 1 0 1 1 0 0 0 0 0
3 3 0 0 1 0 0 0 1 1 0 1
1 1 1
2 2
4
5
El esquema es contradictorio.
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
F
V
V
F
V
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 contradicción en
los valores de verdad encontrados para p, q y r . Si este esquema fuera la
formalización de un argumento, dicho argumento sería válido. Además, nos
ahorramos una matriz de 8 filas.
Luego p r q F F V V .
Se tiene que: p s q r V .
V V
Entonces q r p s q r p s F F V
Además
q r p s p q r p s p
q r p s p F p s p V
V
19/01/2012
TALLER DE EJERCICIOS
Subtítulo
10. Si
x : número de valores verdaderos en la matriz principal de A.
y : número de valores falsos en la matriz principal de A.
Siendo A: p q q p
Hallar x y. x 2 y 2 x 3
A B
x
z y
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 cuántos 1’s tiene su matriz principal:
p q r r q p
(b) p t s q w s
(c) t q r p q
8. Sabiendo que: p q F y q r F
Da el valor de verdad de:
(a) p r q r q
(b) p q r s
(c) p r q s q
(a) p s p q
(b) r t p q
(c) r p q p
(b) r t p q
17. Si p x : x 16 0 ; q x : x 12 0 ; r x x 9
2 2
18. Si p x : x 27 ; q x : x 2 9 ; r x : x 10
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
EQUIVALENCIAS LÓGICAS
Las matemáticas pueden ser definidas como aquel tema
del cual no sabemos nunca lo que decimos
ni si lo que decimos es verdadero.
BERTRAND RUSSELL
Introducción
Todos los números naturales pueden ser escritos empleando únicamente el 1. Por
ejemplo, si queremos escribir el 9, sólo tenemos que escribir 1+1+1+1+1+1+1+1+1.
Claramente salta a la vista el hecho de que esto no es práctico para números muy
grandes. Felizmente, para nosotros, nuestra sistema de numeración contempla
abreviaturas de estas sumas. Así, 2 = 1+1, 5 = 1+1+1+1+1 y así sucesivamente.
Algo similar sucede en lógica. Una de las reglas de formalización era colocar la fórmula
tal y como aparece en el lenguaje. Así, una doble negación como p debe ser escrita
como tal, aunque intuitivamente veamos que esto equivale a una afirmación. Queda no
obstante una duda válida: y ¿si esa equivalencia que intuimos no es válida para alguna
proposición p ? Es ahí donde sirven de mucha utilidad las tablas de verdad. De eso nos
ocuparemos en esta sección.
Las leyes de equivalencia son esquemas con una estructura característica que
permiten simplificar esquemas más complejos sin recurrir a la comprobación 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 definición.
Nombre de la
DEFINICIÓN
equivalencia
Doble A A A A
01
Negación A A A A
Leyes de A B A B A B A B
02
Morgan A B A B A B A B
Conmutación A B B A
A B B A
03
, , , A B B A A B B A
Contraposición A B B A A B B A
04
, , , A B B A A B B A
A B C A B C A B C
Asociación A B C A B C A B C
05
, , , 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 Distribución
A B C A B B A
A B C A B B A
A B A A
A B A A
07 Absorción
A B A A B A B A A B
A B A B
Definición del
08 A B AB
Implicador
A B A B
A B A B B A
09
Definición del
Biimplicador
A B A B A B A B A B
A B A B A B A B
10
Definición del
disyuntor
A B A B A B A B A B
excluyente
11 Exportación A B C A B C
12 Mutación A B C B A C
13 Idempotencia AA A A A A
14 Complemento A AF AAV
AV A A V V
15 Identidad
A F F AF A
p p s s p p t t
Ley de
16
Expansión p q p p q p q q p q
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
p q q p Ley de Morgan
Fórmula lógica: p q r
Aplicando la ley de mutación, obtenemos el equivalente
q p r
Que traducido al lenguaje natural es:
“Puesto que los niños pasan muchas horas mirando la televisión se infiere
que , si la combinación de colores influye en el comportamiento entonces los
niños tendrán un comportamiento autista”.
p q r p q r p q r
1 1 1 1 1 1 1 1 1 1
1 1 0 1 0 0 1 1 0 0
1 0 1 0 1 1 1 1 1 1
1 0 0 0 1 0 1 1 1 1
0 1 1 0 1 1 1 0 1 1
0 1 0 0 1 0 1 0 1 0
0 0 1 0 1 1 1 0 1 1
0 0 0 0 1 0 1 0 1 1
1 1
2 2
Método abreviado
p q r p q r
1 1 0
0
1 1
1 0
0 0
1
0
Ejemplo 1.24
(a) Simplificar
p q q q p p q
p q q q p p q
p q q p q Absorción
p q q p q Asociativa
p q q Absorción
q Absorción
(b) Simplificar p q q p
p q q p
p q q p Definición del implicador
p q q p Doble negación
p q Idempotencia
qp Definición del implicador
19/01/2012
TALLER DE EJERCICIOS
Subtítulo
3. Simplificar: q r p p
8. Simplificar: p q r q p r
9. La proposición: p q q r equivale a:
10. ¿Cuántas falsas y cuántas verdaderas tiene el resultado de la tabla de verdad de:
p q r p p , después de simplificarlo?.
11. Simplificar: p q r q r p r r p
16. Simplificar: p q r p q r
17. Simplificar: p q r q p p q r p q
Bibliografía